summaryrefslogtreecommitdiffstats
path: root/Sobel/sobel.v7/cycle_set.tcl
diff options
context:
space:
mode:
Diffstat (limited to 'Sobel/sobel.v7/cycle_set.tcl')
-rw-r--r--Sobel/sobel.v7/cycle_set.tcl316
1 files changed, 316 insertions, 0 deletions
diff --git a/Sobel/sobel.v7/cycle_set.tcl b/Sobel/sobel.v7/cycle_set.tcl
new file mode 100644
index 0000000..1b75cc6
--- /dev/null
+++ b/Sobel/sobel.v7/cycle_set.tcl
@@ -0,0 +1,316 @@
+
+# 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#133 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#132 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#136 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#138 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#135 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#134 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#137 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#107 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#139 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#116 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#140 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#141 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#143 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#142 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#125 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#145 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#147 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#144 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#146 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#148 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#149 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#118 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#150 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#151 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#153 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#152 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#10 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#156 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#158 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#155 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#154 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#157 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#113 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#159 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#120 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#160 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#161 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#162 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#165 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#167 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#164 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#163 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#166 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#107 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#168 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#116 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#169 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#170 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#171 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#125 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#173 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#175 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#172 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#174 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#176 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#177 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#118 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#178 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#179 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#180 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#10 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#183 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#185 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#182 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#181 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#184 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#113 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#186 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#120 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#187 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#188 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#189 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#198 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#190 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#203 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#197 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#202 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#206 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#209 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#196 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#195 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#201 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#205 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#208 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#211 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#213 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#215 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#221 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#220 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#227 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#219 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#218 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#226 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#231 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#234 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#237 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#239 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#216 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#225 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#217 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#230 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#224 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#229 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#233 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#236 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#223 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#222 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#228 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#232 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#235 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#238 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#241 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#240 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#122 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#194 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#193 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#200 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#192 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#191 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#199 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#204 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#207 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#210 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#212 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#214 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#122 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#242 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#251 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#243 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#256 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#250 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#255 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#259 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#262 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#249 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#248 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#254 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#258 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#261 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#264 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#266 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#268 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#274 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#273 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#280 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#272 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#271 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#279 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#284 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#287 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#290 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#292 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#269 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#278 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#270 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#283 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#277 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#282 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#286 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#289 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#276 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#275 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#281 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#285 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#288 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#291 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#294 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#293 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-1:acc#124 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#247 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#246 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#253 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#245 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#244 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#252 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#257 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#260 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#263 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#265 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#267 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1-3:acc#124 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:mux#5 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#8 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#9 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#10 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#14 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#17 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#20 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#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#30 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#33 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#36 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/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#23 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#24 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#11 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:for:acc#20 CSTEPS_FROM {{.. == 2}}
+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/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/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#25 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#26 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#12 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:for:acc#22 CSTEPS_FROM {{.. == 2}}
+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/ACC2:acc#5 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:mul#20 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC2:acc#6 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:mul#21 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC2:acc#3 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:mul#18 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC2:acc CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:mul CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#330 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#334 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#336 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#310 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#309 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#319 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#307 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#306 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#318 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#325 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#305 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#304 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#317 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#303 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#302 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#316 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#324 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#328 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#332 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#301 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#300 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#315 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#299 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#298 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#314 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#323 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#297 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#296 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#313 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#295 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#312 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#322 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#327 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#311 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#308 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#321 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#331 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#335 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#338 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#340 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC2:acc#4 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:mul#19 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#320 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#326 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#329 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#333 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#337 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC2:acc#7 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:mul#22 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#339 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#341 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/ACC1:acc#342 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/ACC1:acc CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#6 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#5 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#8 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#7 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#9 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/acc#15 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:mul CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:mul#1 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#16 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#10 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#11 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#12 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#13 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#14 CSTEPS_FROM {{.. == 2}}
+directive set /sobel/core/core:rlp/main/FRAME:acc#15 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#4 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#44 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#45 CSTEPS_FROM {{.. == 1}}
+directive set /sobel/core/core:rlp/main/FRAME:for:mux#42 CSTEPS_FROM {{.. == 1}}