blob: 1b75cc636102ede00ec207060ce2e576276dbfd7 (
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
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}}
|
