diff options
Diffstat (limited to 'Sobel/sobel.v2/cycle_set.tcl')
| -rw-r--r-- | Sobel/sobel.v2/cycle_set.tcl | 113 |
1 files changed, 113 insertions, 0 deletions
diff --git a/Sobel/sobel.v2/cycle_set.tcl b/Sobel/sobel.v2/cycle_set.tcl new file mode 100644 index 0000000..0f1e219 --- /dev/null +++ b/Sobel/sobel.v2/cycle_set.tcl @@ -0,0 +1,113 @@ + +# 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#48 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/ACC1:acc CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/ACC1:acc#49 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/ACC1:acc#52 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#53 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#43 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/ACC1:acc#55 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/ACC1:acc#56 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/ACC1:acc#44 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/ACC1:acc#57 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/ACC1:acc#58 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/ACC1:acc#45 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#8 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#10 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#11 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/acc 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#12 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#14 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#16 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/acc#2 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:mul#2 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:mul#3 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#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#19 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#20 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#21 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#22 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#3 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#25 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#27 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#26 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#28 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/acc#4 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:mul#4 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:mul#5 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#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#31 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#32 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#33 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#34 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#4 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:mul CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#41 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:mul#1 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#42 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#36 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#37 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:acc#38 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#39 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#40 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:acc#2 CSTEPS_FROM {{.. == 2}} +directive set /sobel/core/core:rlp/main/FRAME:or 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#23 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:for:mux#24 CSTEPS_FROM {{.. == 1}} +directive set /sobel/core/core:rlp/main/FRAME:for:mux#19 CSTEPS_FROM {{.. == 1}} |