blob: 4b4b20909c266733e7b6117e418245d62c4cc077 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
# Loop constraints
directive set /sobel/core/core:rlp CSTEPS_FROM {{. == 0}}
directive set /sobel/core/core:rlp/main CSTEPS_FROM {{. == 3} {.. == 0}}
# IO operation constraints
directive set /sobel/core/core:rlp/main/FRAME:io_read(vin:rsc.d) CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:io_write(vout:rsc.d) CSTEPS_FROM {{.. == 2}}
# Real operation constraints
directive set /sobel/core/core:rlp/main/FRAME:for:and CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#45 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#46 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#47 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#48 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#49 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#2 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#3 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#4 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:and#1 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#5 CSTEPS_FROM {{.. == 1}}
directive set {/sobel/core/core:rlp/main/regs.operator[]#9:mux} CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mul CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:acc#1 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#7 CSTEPS_FROM {{.. == 1}}
directive set {/sobel/core/core:rlp/main/regs.operator[]#10:mux} CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mul#1 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:acc#2 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#9 CSTEPS_FROM {{.. == 1}}
directive set {/sobel/core/core:rlp/main/regs.operator[]#11:mux} CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mul#2 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:acc#3 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:and#4 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:or#4 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#6 CSTEPS_FROM {{.. == 1}}
directive set {/sobel/core/core:rlp/main/regs.operator[]#15:mux} CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mul#6 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:acc#10 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#8 CSTEPS_FROM {{.. == 1}}
directive set {/sobel/core/core:rlp/main/regs.operator[]#16:mux} CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mul#7 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:acc#12 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#10 CSTEPS_FROM {{.. == 1}}
directive set {/sobel/core/core:rlp/main/regs.operator[]#17:mux} CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mul#8 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:acc#14 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:acc#16 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:acc CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#50 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#51 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC2-3:acc#1 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#52 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#53 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC2-3:acc#2 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#54 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC1:acc#55 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/ACC2-3:acc#3 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#13 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#16 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#14 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#15 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#7 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#17 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#18 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#21 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#19 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#20 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#9 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#22 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:mul#2 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#23 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#24 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#25 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#26 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:acc#27 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:mul#3 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#3 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:acc#28 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#31 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#29 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#30 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#11 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#32 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:mul CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#33 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#34 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#35 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#36 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:acc#37 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:mul#1 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#2 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:or#4 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:mul#4 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#38 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#39 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#40 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#41 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:acc#42 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:mul#5 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc#4 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:or#3 CSTEPS_FROM {{.. == 2}}
directive set /sobel/core/core:rlp/main/FRAME:acc#6 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:acc CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#25 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#26 CSTEPS_FROM {{.. == 1}}
directive set /sobel/core/core:rlp/main/FRAME:for:mux#21 CSTEPS_FROM {{.. == 1}}
|
