source: vis_dev/vis-2.1/examples/gcd/gcd.mv @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago

Add vis
File size: 42.6 KB
RevLine 
[11]1# ../../../vl2mv-2.1/vl2mv gcd.v
2# version: 1.4
3# date:    13:45:54 11/18/2008 (CET)
4.model testGcd
5# I/O ports
6.inputs y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7>
7.inputs s
8.inputs x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7>
9.subckt gcd g start=start  a<0>=a<0> a<1>=a<1> a<2>=a<2> a<3>=a<3> a<4>=a<4> a<5>=a<5> a<6>=a<6> a<7>=a<7>  b<0>=b<0> b<1>=b<1> b<2>=b<2> b<3>=b<3> b<4>=b<4> b<5>=b<5> b<6>=b<6> b<7>=b<7>  busy=busy  o<0>=o<0> o<1>=o<1> o<2>=o<2> o<3>=o<3> o<4>=o<4> o<5>=o<5> o<6>=o<6> o<7>=o<7> 
10# a  = 0
11.names a$raw_n0<0>
120
13.names a$raw_n0<1>
140
15.names a$raw_n0<2>
160
17.names a$raw_n0<3>
180
19.names a$raw_n0<4>
200
21.names a$raw_n0<5>
220
23.names a$raw_n0<6>
240
25.names a$raw_n0<7>
260
27# b  = 0
28.names b$raw_n1<0>
290
30.names b$raw_n1<1>
310
32.names b$raw_n1<2>
330
34.names b$raw_n1<3>
350
36.names b$raw_n1<4>
370
38.names b$raw_n1<5>
390
40.names b$raw_n1<6>
410
42.names b$raw_n1<7>
430
44# start  = 0
45.names start$raw_n2
460
47# non-blocking assignments for initial
48# a  = x
49.names x<0> a$raw_n3<0>
50- =x<0>
51.names x<1> a$raw_n3<1>
52- =x<1>
53.names x<2> a$raw_n3<2>
54- =x<2>
55.names x<3> a$raw_n3<3>
56- =x<3>
57.names x<4> a$raw_n3<4>
58- =x<4>
59.names x<5> a$raw_n3<5>
60- =x<5>
61.names x<6> a$raw_n3<6>
62- =x<6>
63.names x<7> a$raw_n3<7>
64- =x<7>
65# b  = y
66.names y<0> b$raw_n4<0>
67- =y<0>
68.names y<1> b$raw_n4<1>
69- =y<1>
70.names y<2> b$raw_n4<2>
71- =y<2>
72.names y<3> b$raw_n4<3>
73- =y<3>
74.names y<4> b$raw_n4<4>
75- =y<4>
76.names y<5> b$raw_n4<5>
77- =y<5>
78.names y<6> b$raw_n4<6>
79- =y<6>
80.names y<7> b$raw_n4<7>
81- =y<7>
82# start  = s
83.names s start$raw_n5
84- =s
85# conflict arbitrators
86.names _n6
87.def 0
88 1
89.names _n6 start$raw_n5 _n7
90.def 0
911 0 0
921 1 1
93.names _n8
94.def 0
95 1
96.names _n8 a$raw_n3<0> a$raw_n3<1> a$raw_n3<2> a$raw_n3<3> a$raw_n3<4> a$raw_n3<5> a$raw_n3<6> a$raw_n3<7> -> _n9<0> _n9<1> _n9<2> _n9<3> _n9<4> _n9<5> _n9<6> _n9<7>
97.def 0 0 0 0 0 0 0 0
981 - - - - - - - - =a$raw_n3<0> =a$raw_n3<1> =a$raw_n3<2> =a$raw_n3<3> =a$raw_n3<4> =a$raw_n3<5> =a$raw_n3<6> =a$raw_n3<7>
99.names _na
100.def 0
101 1
102.names _na b$raw_n4<0> b$raw_n4<1> b$raw_n4<2> b$raw_n4<3> b$raw_n4<4> b$raw_n4<5> b$raw_n4<6> b$raw_n4<7> -> _nb<0> _nb<1> _nb<2> _nb<3> _nb<4> _nb<5> _nb<6> _nb<7>
103.def 0 0 0 0 0 0 0 0
1041 - - - - - - - - =b$raw_n4<0> =b$raw_n4<1> =b$raw_n4<2> =b$raw_n4<3> =b$raw_n4<4> =b$raw_n4<5> =b$raw_n4<6> =b$raw_n4<7>
105# non-blocking assignments
106# latches
107.r a$raw_n0<0> a<0>
108.def 0
1091 1
110.r a$raw_n0<1> a<1>
111.def 0
1121 1
113.r a$raw_n0<2> a<2>
114.def 0
1151 1
116.r a$raw_n0<3> a<3>
117.def 0
1181 1
119.r a$raw_n0<4> a<4>
120.def 0
1211 1
122.r a$raw_n0<5> a<5>
123.def 0
1241 1
125.r a$raw_n0<6> a<6>
126.def 0
1271 1
128.r a$raw_n0<7> a<7>
129.def 0
1301 1
131.latch _n9<0> a<0>
132.latch _n9<1> a<1>
133.latch _n9<2> a<2>
134.latch _n9<3> a<3>
135.latch _n9<4> a<4>
136.latch _n9<5> a<5>
137.latch _n9<6> a<6>
138.latch _n9<7> a<7>
139.r start$raw_n2 start
1400 0
1411 1
142.latch _n7 start
143.r b$raw_n1<0> b<0>
144.def 0
1451 1
146.r b$raw_n1<1> b<1>
147.def 0
1481 1
149.r b$raw_n1<2> b<2>
150.def 0
1511 1
152.r b$raw_n1<3> b<3>
153.def 0
1541 1
155.r b$raw_n1<4> b<4>
156.def 0
1571 1
158.r b$raw_n1<5> b<5>
159.def 0
1601 1
161.r b$raw_n1<6> b<6>
162.def 0
1631 1
164.r b$raw_n1<7> b<7>
165.def 0
1661 1
167.latch _nb<0> b<0>
168.latch _nb<1> b<1>
169.latch _nb<2> b<2>
170.latch _nb<3> b<3>
171.latch _nb<4> b<4>
172.latch _nb<5> b<5>
173.latch _nb<6> b<6>
174.latch _nb<7> b<7>
175# quasi-continuous assignment
176.end
177
178
179.model gcd
180# I/O ports
181.outputs o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7>
182.outputs busy
183.inputs a<0> a<1> a<2> a<3> a<4> a<5> a<6> a<7>
184.inputs start
185.inputs b<0> b<1> b<2> b<3> b<4> b<5> b<6> b<7>
186# assign xy_lsb [1] = select  (x ,lsb )
187.subckt select _ne select<0>=_nd<0> z<0>=x<0> z<1>=x<1> z<2>=x<2> z<3>=x<3> z<4>=x<4> z<5>=x<5> z<6>=x<6> z<7>=x<7> lsb<0>=lsb<0> lsb<1>=lsb<1> lsb<2>=lsb<2>
188.names _nd<0> xy_lsb$raw_nc<1>
189- =_nd<0>
190# assign xy_lsb [0] = select  (y ,lsb )
191.subckt select _n11 select<0>=_n10<0> z<0>=y<0> z<1>=y<1> z<2>=y<2> z<3>=y<3> z<4>=y<4> z<5>=y<5> z<6>=y<6> z<7>=y<7> lsb<0>=lsb<0> lsb<1>=lsb<1> lsb<2>=lsb<2>
192.names _n10<0> xy_lsb$raw_nf<0>
193- =_n10<0>
194# assign diff  = x  < y  ? y  - x  : x  - y
195# x  < y
196.names _n15
1970
198.names x<0> y<0> _n15 _n14<0>
199.def 0
2000 0 1 1
2010 1 0 1
2021 0 0 1
2031 1 1 1
204# carry/borrow
205.names _n17
2060
207.names x<0> y<0> _n17 _n16
208.def 0
2090 0 1 1
2100 1 0 1
2110 1 1 1
2121 1 1 1
213.names x<1> y<1> _n16 _n14<1>
214.def 0
2150 0 1 1
2160 1 0 1
2171 0 0 1
2181 1 1 1
219# carry/borrow
220.names x<1> y<1> _n16 _n18
221.def 0
2220 0 1 1
2230 1 0 1
2240 1 1 1
2251 1 1 1
226.names x<2> y<2> _n18 _n14<2>
227.def 0
2280 0 1 1
2290 1 0 1
2301 0 0 1
2311 1 1 1
232# carry/borrow
233.names x<2> y<2> _n18 _n19
234.def 0
2350 0 1 1
2360 1 0 1
2370 1 1 1
2381 1 1 1
239.names x<3> y<3> _n19 _n14<3>
240.def 0
2410 0 1 1
2420 1 0 1
2431 0 0 1
2441 1 1 1
245# carry/borrow
246.names x<3> y<3> _n19 _n1a
247.def 0
2480 0 1 1
2490 1 0 1
2500 1 1 1
2511 1 1 1
252.names x<4> y<4> _n1a _n14<4>
253.def 0
2540 0 1 1
2550 1 0 1
2561 0 0 1
2571 1 1 1
258# carry/borrow
259.names x<4> y<4> _n1a _n1b
260.def 0
2610 0 1 1
2620 1 0 1
2630 1 1 1
2641 1 1 1
265.names x<5> y<5> _n1b _n14<5>
266.def 0
2670 0 1 1
2680 1 0 1
2691 0 0 1
2701 1 1 1
271# carry/borrow
272.names x<5> y<5> _n1b _n1c
273.def 0
2740 0 1 1
2750 1 0 1
2760 1 1 1
2771 1 1 1
278.names x<6> y<6> _n1c _n14<6>
279.def 0
2800 0 1 1
2810 1 0 1
2821 0 0 1
2831 1 1 1
284# carry/borrow
285.names x<6> y<6> _n1c _n1d
286.def 0
2870 0 1 1
2880 1 0 1
2890 1 1 1
2901 1 1 1
291.names x<7> y<7> _n1d _n14<7>
292.def 0
2930 0 1 1
2940 1 0 1
2951 0 0 1
2961 1 1 1
297# carry/borrow
298.names x<7> y<7> _n1d _n1e
299.def 0
3000 0 1 1
3010 1 0 1
3020 1 1 1
3031 1 1 1
304.names _n14<0> _n14<1> _n14<2> _n14<3> _n14<4> _n14<5> _n14<6> _n14<7> _n1f
305.def 1
3060 0 0 0 0 0 0 0 0
307.names _n1e _n1f _n13
308.def 0
3091 1 1
310# y  - x
311.names _n21
3120
313.names y<0> x<0> _n21 _n20<0>
314.def 0
3150 0 1 1
3160 1 0 1
3171 0 0 1
3181 1 1 1
319# carry/borrow
320.names _n23
3210
322.names y<0> x<0> _n23 _n22
323.def 0
3240 0 1 1
3250 1 0 1
3260 1 1 1
3271 1 1 1
328.names y<1> x<1> _n22 _n20<1>
329.def 0
3300 0 1 1
3310 1 0 1
3321 0 0 1
3331 1 1 1
334# carry/borrow
335.names y<1> x<1> _n22 _n24
336.def 0
3370 0 1 1
3380 1 0 1
3390 1 1 1
3401 1 1 1
341.names y<2> x<2> _n24 _n20<2>
342.def 0
3430 0 1 1
3440 1 0 1
3451 0 0 1
3461 1 1 1
347# carry/borrow
348.names y<2> x<2> _n24 _n25
349.def 0
3500 0 1 1
3510 1 0 1
3520 1 1 1
3531 1 1 1
354.names y<3> x<3> _n25 _n20<3>
355.def 0
3560 0 1 1
3570 1 0 1
3581 0 0 1
3591 1 1 1
360# carry/borrow
361.names y<3> x<3> _n25 _n26
362.def 0
3630 0 1 1
3640 1 0 1
3650 1 1 1
3661 1 1 1
367.names y<4> x<4> _n26 _n20<4>
368.def 0
3690 0 1 1
3700 1 0 1
3711 0 0 1
3721 1 1 1
373# carry/borrow
374.names y<4> x<4> _n26 _n27
375.def 0
3760 0 1 1
3770 1 0 1
3780 1 1 1
3791 1 1 1
380.names y<5> x<5> _n27 _n20<5>
381.def 0
3820 0 1 1
3830 1 0 1
3841 0 0 1
3851 1 1 1
386# carry/borrow
387.names y<5> x<5> _n27 _n28
388.def 0
3890 0 1 1
3900 1 0 1
3910 1 1 1
3921 1 1 1
393.names y<6> x<6> _n28 _n20<6>
394.def 0
3950 0 1 1
3960 1 0 1
3971 0 0 1
3981 1 1 1
399# carry/borrow
400.names y<6> x<6> _n28 _n29
401.def 0
4020 0 1 1
4030 1 0 1
4040 1 1 1
4051 1 1 1
406.names y<7> x<7> _n29 _n20<7>
407.def 0
4080 0 1 1
4090 1 0 1
4101 0 0 1
4111 1 1 1
412# x  - y
413.names _n2b
4140
415.names x<0> y<0> _n2b _n2a<0>
416.def 0
4170 0 1 1
4180 1 0 1
4191 0 0 1
4201 1 1 1
421# carry/borrow
422.names _n2d
4230
424.names x<0> y<0> _n2d _n2c
425.def 0
4260 0 1 1
4270 1 0 1
4280 1 1 1
4291 1 1 1
430.names x<1> y<1> _n2c _n2a<1>
431.def 0
4320 0 1 1
4330 1 0 1
4341 0 0 1
4351 1 1 1
436# carry/borrow
437.names x<1> y<1> _n2c _n2e
438.def 0
4390 0 1 1
4400 1 0 1
4410 1 1 1
4421 1 1 1
443.names x<2> y<2> _n2e _n2a<2>
444.def 0
4450 0 1 1
4460 1 0 1
4471 0 0 1
4481 1 1 1
449# carry/borrow
450.names x<2> y<2> _n2e _n2f
451.def 0
4520 0 1 1
4530 1 0 1
4540 1 1 1
4551 1 1 1
456.names x<3> y<3> _n2f _n2a<3>
457.def 0
4580 0 1 1
4590 1 0 1
4601 0 0 1
4611 1 1 1
462# carry/borrow
463.names x<3> y<3> _n2f _n30
464.def 0
4650 0 1 1
4660 1 0 1
4670 1 1 1
4681 1 1 1
469.names x<4> y<4> _n30 _n2a<4>
470.def 0
4710 0 1 1
4720 1 0 1
4731 0 0 1
4741 1 1 1
475# carry/borrow
476.names x<4> y<4> _n30 _n31
477.def 0
4780 0 1 1
4790 1 0 1
4800 1 1 1
4811 1 1 1
482.names x<5> y<5> _n31 _n2a<5>
483.def 0
4840 0 1 1
4850 1 0 1
4861 0 0 1
4871 1 1 1
488# carry/borrow
489.names x<5> y<5> _n31 _n32
490.def 0
4910 0 1 1
4920 1 0 1
4930 1 1 1
4941 1 1 1
495.names x<6> y<6> _n32 _n2a<6>
496.def 0
4970 0 1 1
4980 1 0 1
4991 0 0 1
5001 1 1 1
501# carry/borrow
502.names x<6> y<6> _n32 _n33
503.def 0
5040 0 1 1
5050 1 0 1
5060 1 1 1
5071 1 1 1
508.names x<7> y<7> _n33 _n2a<7>
509.def 0
5100 0 1 1
5110 1 0 1
5121 0 0 1
5131 1 1 1
514# x  < y  ? y  - x  : x  - y
515.names _n20<0> _n2a<0> _n13 _n34<0>
5160 - 1 0
5171 - 1 1
518- 0 0 0
519- 1 0 1
520.names _n20<1> _n2a<1> _n13 _n34<1>
5210 - 1 0
5221 - 1 1
523- 0 0 0
524- 1 0 1
525.names _n20<2> _n2a<2> _n13 _n34<2>
5260 - 1 0
5271 - 1 1
528- 0 0 0
529- 1 0 1
530.names _n20<3> _n2a<3> _n13 _n34<3>
5310 - 1 0
5321 - 1 1
533- 0 0 0
534- 1 0 1
535.names _n20<4> _n2a<4> _n13 _n34<4>
5360 - 1 0
5371 - 1 1
538- 0 0 0
539- 1 0 1
540.names _n20<5> _n2a<5> _n13 _n34<5>
5410 - 1 0
5421 - 1 1
543- 0 0 0
544- 1 0 1
545.names _n20<6> _n2a<6> _n13 _n34<6>
5460 - 1 0
5471 - 1 1
548- 0 0 0
549- 1 0 1
550.names _n20<7> _n2a<7> _n13 _n34<7>
5510 - 1 0
5521 - 1 1
553- 0 0 0
554- 1 0 1
555.names _n34<0> diff$raw_n12<0>
556- =_n34<0>
557.names _n34<1> diff$raw_n12<1>
558- =_n34<1>
559.names _n34<2> diff$raw_n12<2>
560- =_n34<2>
561.names _n34<3> diff$raw_n12<3>
562- =_n34<3>
563.names _n34<4> diff$raw_n12<4>
564- =_n34<4>
565.names _n34<5> diff$raw_n12<5>
566- =_n34<5>
567.names _n34<6> diff$raw_n12<6>
568- =_n34<6>
569.names _n34<7> diff$raw_n12<7>
570- =_n34<7>
571# assign done  = ((x  == y ) | (x  == 0) | (y  == 0)) & busy
572# x  == y
573.names x<0> y<0> _n3f<0>
574.def 0
5750 1 1
5761 0 1
577.names x<1> y<1> _n3f<1>
578.def 0
5790 1 1
5801 0 1
581.names x<2> y<2> _n3f<2>
582.def 0
5830 1 1
5841 0 1
585.names x<3> y<3> _n3f<3>
586.def 0
5870 1 1
5881 0 1
589.names x<4> y<4> _n3f<4>
590.def 0
5910 1 1
5921 0 1
593.names x<5> y<5> _n3f<5>
594.def 0
5950 1 1
5961 0 1
597.names x<6> y<6> _n3f<6>
598.def 0
5990 1 1
6001 0 1
601.names x<7> y<7> _n3f<7>
602.def 0
6030 1 1
6041 0 1
605.names _n3f<0> _n3f<1> _n3f<2> _n3f<3> _n3f<4> _n3f<5> _n3f<6> _n3f<7> _n40
606.def 1
6070 0 0 0 0 0 0 0 0
608.names _n40 _n3e
6090 1 
6101 0 
611.names _n42<0>
6120
613.names _n42<1>
6140
615.names _n42<2>
6160
617.names _n42<3>
6180
619.names _n42<4>
6200
621.names _n42<5>
6220
623.names _n42<6>
6240
625.names _n42<7>
6260
627# x  == 0
628.names x<0> _n42<0> _n43<0>
629.def 0
6300 1 1
6311 0 1
632.names x<1> _n42<1> _n43<1>
633.def 0
6340 1 1
6351 0 1
636.names x<2> _n42<2> _n43<2>
637.def 0
6380 1 1
6391 0 1
640.names x<3> _n42<3> _n43<3>
641.def 0
6420 1 1
6431 0 1
644.names x<4> _n42<4> _n43<4>
645.def 0
6460 1 1
6471 0 1
648.names x<5> _n42<5> _n43<5>
649.def 0
6500 1 1
6511 0 1
652.names x<6> _n42<6> _n43<6>
653.def 0
6540 1 1
6551 0 1
656.names x<7> _n42<7> _n43<7>
657.def 0
6580 1 1
6591 0 1
660.names _n43<0> _n43<1> _n43<2> _n43<3> _n43<4> _n43<5> _n43<6> _n43<7> _n44
661.def 1
6620 0 0 0 0 0 0 0 0
663.names _n44 _n41
6640 1 
6651 0 
666# (x  == y ) | (x  == 0)
667.names _n3e _n41 _n45
668.def 1
6690 0 0
670.names _n47<0>
6710
672.names _n47<1>
6730
674.names _n47<2>
6750
676.names _n47<3>
6770
678.names _n47<4>
6790
680.names _n47<5>
6810
682.names _n47<6>
6830
684.names _n47<7>
6850
686# y  == 0
687.names y<0> _n47<0> _n48<0>
688.def 0
6890 1 1
6901 0 1
691.names y<1> _n47<1> _n48<1>
692.def 0
6930 1 1
6941 0 1
695.names y<2> _n47<2> _n48<2>
696.def 0
6970 1 1
6981 0 1
699.names y<3> _n47<3> _n48<3>
700.def 0
7010 1 1
7021 0 1
703.names y<4> _n47<4> _n48<4>
704.def 0
7050 1 1
7061 0 1
707.names y<5> _n47<5> _n48<5>
708.def 0
7090 1 1
7101 0 1
711.names y<6> _n47<6> _n48<6>
712.def 0
7130 1 1
7141 0 1
715.names y<7> _n47<7> _n48<7>
716.def 0
7170 1 1
7181 0 1
719.names _n48<0> _n48<1> _n48<2> _n48<3> _n48<4> _n48<5> _n48<6> _n48<7> _n49
720.def 1
7210 0 0 0 0 0 0 0 0
722.names _n49 _n46
7230 1 
7241 0 
725# (x  == y ) | (x  == 0) | (y  == 0)
726.names _n45 _n46 _n4a
727.def 1
7280 0 0
729# ((x  == y ) | (x  == 0) | (y  == 0)) & busy
730.names _n4a busy _n4b
731.def 0
7321 1 1
733.names _n4b done$raw_n3d
734- =_n4b
735# assign load  = start  & ~busy
736.names busy _n4d
7370 1 
7381 0 
739# start  & ~busy
740.names start _n4d _n4e
741.def 0
7421 1 1
743.names _n4e load$raw_n4c
744- =_n4e
745# busy  = 0
746.names busy$raw_n4f
7470
748# x  = 0
749.names x$raw_n50<0>
7500
751.names x$raw_n50<1>
7520
753.names x$raw_n50<2>
7540
755.names x$raw_n50<3>
7560
757.names x$raw_n50<4>
7580
759.names x$raw_n50<5>
7600
761.names x$raw_n50<6>
7620
763.names x$raw_n50<7>
7640
765# y  = 0
766.names y$raw_n51<0>
7670
768.names y$raw_n51<1>
7690
770.names y$raw_n51<2>
7710
772.names y$raw_n51<3>
7730
774.names y$raw_n51<4>
7750
776.names y$raw_n51<5>
7770
778.names y$raw_n51<6>
7790
780.names y$raw_n51<7>
7810
782# o  = 0
783.names o$raw_n52<0>
7840
785.names o$raw_n52<1>
7860
787.names o$raw_n52<2>
7880
789.names o$raw_n52<3>
7900
791.names o$raw_n52<4>
7920
793.names o$raw_n52<5>
7940
795.names o$raw_n52<6>
7960
797.names o$raw_n52<7>
7980
799# lsb  = 0
800.names lsb$raw_n53<0>
8010
802.names lsb$raw_n53<1>
8030
804.names lsb$raw_n53<2>
8050
806# non-blocking assignments for initial
807.names load _n54
808- =load
809# x  = a
810.names a<0> x$load_n55$true<0>
811- =a<0>
812.names a<1> x$load_n55$true<1>
813- =a<1>
814.names a<2> x$load_n55$true<2>
815- =a<2>
816.names a<3> x$load_n55$true<3>
817- =a<3>
818.names a<4> x$load_n55$true<4>
819- =a<4>
820.names a<5> x$load_n55$true<5>
821- =a<5>
822.names a<6> x$load_n55$true<6>
823- =a<6>
824.names a<7> x$load_n55$true<7>
825- =a<7>
826# y  = b
827.names b<0> y$load_n56$true<0>
828- =b<0>
829.names b<1> y$load_n56$true<1>
830- =b<1>
831.names b<2> y$load_n56$true<2>
832- =b<2>
833.names b<3> y$load_n56$true<3>
834- =b<3>
835.names b<4> y$load_n56$true<4>
836- =b<4>
837.names b<5> y$load_n56$true<5>
838- =b<5>
839.names b<6> y$load_n56$true<6>
840- =b<6>
841.names b<7> y$load_n56$true<7>
842- =b<7>
843# lsb  = 0
844.names lsb$load_n57$true<0>
8450
846.names lsb$load_n57$true<1>
8470
848.names lsb$load_n57$true<2>
8490
850.names done _n58
8510 1 
8521 0 
853# busy  & ~done
854.names busy _n58 _n59
855.def 0
8561 1 1
857.names _n59 _n5a
858- =_n59
859.names _n5d<0>
8600
861.names _n5d<1>
8620
863.names xy_lsb<0> _n5d<0> _n5e<0>
864.def 0
8650 1 1
8661 0 1
867.names xy_lsb<1> _n5d<1> _n5e<1>
868.def 0
8690 1 1
8701 0 1
871.names _n5e<0> _n5e<1> _n5f
872.def 1
8730 0 0
874.names _n5f _n5c
8750 1 
8761 0 
877.names _n5c  _n5b
8781 1
8790 0
880# lsb  = lsb  + 1
881.names _n61<0>
8821
883.names _n61<1>
8840
885.names _n61<2>
8860
887# lsb  + 1
888.names _n63
8890
890.names lsb<0> _n61<0> _n63 _n62<0>
891.def 0
8920 0 1 1
8930 1 0 1
8941 0 0 1
8951 1 1 1
896# carry/borrow
897.names _n65
8980
899.names lsb<0> _n61<0> _n65 _n64
900.def 0
9010 1 1 1
9021 0 1 1
9031 1 0 1
9041 1 1 1
905.names lsb<1> _n61<1> _n64 _n62<1>
906.def 0
9070 0 1 1
9080 1 0 1
9091 0 0 1
9101 1 1 1
911# carry/borrow
912.names lsb<1> _n61<1> _n64 _n66
913.def 0
9140 1 1 1
9151 0 1 1
9161 1 0 1
9171 1 1 1
918.names lsb<2> _n61<2> _n66 _n62<2>
919.def 0
9200 0 1 1
9210 1 0 1
9221 0 0 1
9231 1 1 1
924.names _n62<0> lsb$_n5b_n60$true<0>
925- =_n62<0>
926.names _n62<1> lsb$_n5b_n60$true<1>
927- =_n62<1>
928.names _n62<2> lsb$_n5b_n60$true<2>
929- =_n62<2>
930.names _n69<0>
9311
932.names _n69<1>
9330
934.names xy_lsb<0> _n69<0> _n6a<0>
935.def 0
9360 1 1
9371 0 1
938.names xy_lsb<1> _n69<1> _n6a<1>
939.def 0
9400 1 1
9411 0 1
942.names _n6a<0> _n6a<1> _n6b
943.def 1
9440 0 0
945.names _n6b _n68
9460 1 
9471 0 
948.names _n68  _n67
9491 1
9500 0
951# x [8 - 2 : 0] = x [8 - 1 : 1]
952.names x<1> x$_n67_n6c$true<0>
953- =x<1>
954.names x<2> x$_n67_n6c$true<1>
955- =x<2>
956.names x<3> x$_n67_n6c$true<2>
957- =x<3>
958.names x<4> x$_n67_n6c$true<3>
959- =x<4>
960.names x<5> x$_n67_n6c$true<4>
961- =x<5>
962.names x<6> x$_n67_n6c$true<5>
963- =x<6>
964.names x<7> x$_n67_n6c$true<6>
965- =x<7>
966.names x<7> x$_n67_n6c$true<7>
967- =x<7>
968# x [8 - 1] = 0
969.names x$_n67_n6d$true<7>
9700
971.names x$_n67_n6c$true<0> x$_n67_n6d$true<0>
972- =x$_n67_n6c$true<0>
973.names x$_n67_n6c$true<1> x$_n67_n6d$true<1>
974- =x$_n67_n6c$true<1>
975.names x$_n67_n6c$true<2> x$_n67_n6d$true<2>
976- =x$_n67_n6c$true<2>
977.names x$_n67_n6c$true<3> x$_n67_n6d$true<3>
978- =x$_n67_n6c$true<3>
979.names x$_n67_n6c$true<4> x$_n67_n6d$true<4>
980- =x$_n67_n6c$true<4>
981.names x$_n67_n6c$true<5> x$_n67_n6d$true<5>
982- =x$_n67_n6c$true<5>
983.names x$_n67_n6c$true<6> x$_n67_n6d$true<6>
984- =x$_n67_n6c$true<6>
985.names _n70<0>
9860
987.names _n70<1>
9881
989.names xy_lsb<0> _n70<0> _n71<0>
990.def 0
9910 1 1
9921 0 1
993.names xy_lsb<1> _n70<1> _n71<1>
994.def 0
9950 1 1
9961 0 1
997.names _n71<0> _n71<1> _n72
998.def 1
9990 0 0
1000.names _n72 _n6f
10010 1 
10021 0 
1003.names _n6f  _n6e
10041 1
10050 0
1006# y [8 - 2 : 0] = y [8 - 1 : 1]
1007.names y<1> y$_n6e_n73$true<0>
1008- =y<1>
1009.names y<2> y$_n6e_n73$true<1>
1010- =y<2>
1011.names y<3> y$_n6e_n73$true<2>
1012- =y<3>
1013.names y<4> y$_n6e_n73$true<3>
1014- =y<4>
1015.names y<5> y$_n6e_n73$true<4>
1016- =y<5>
1017.names y<6> y$_n6e_n73$true<5>
1018- =y<6>
1019.names y<7> y$_n6e_n73$true<6>
1020- =y<7>
1021.names y<7> y$_n6e_n73$true<7>
1022- =y<7>
1023# y [8 - 1] = 0
1024.names y$_n6e_n74$true<7>
10250
1026.names y$_n6e_n73$true<0> y$_n6e_n74$true<0>
1027- =y$_n6e_n73$true<0>
1028.names y$_n6e_n73$true<1> y$_n6e_n74$true<1>
1029- =y$_n6e_n73$true<1>
1030.names y$_n6e_n73$true<2> y$_n6e_n74$true<2>
1031- =y$_n6e_n73$true<2>
1032.names y$_n6e_n73$true<3> y$_n6e_n74$true<3>
1033- =y$_n6e_n73$true<3>
1034.names y$_n6e_n73$true<4> y$_n6e_n74$true<4>
1035- =y$_n6e_n73$true<4>
1036.names y$_n6e_n73$true<5> y$_n6e_n74$true<5>
1037- =y$_n6e_n73$true<5>
1038.names y$_n6e_n73$true<6> y$_n6e_n74$true<6>
1039- =y$_n6e_n73$true<6>
1040.names _n77<0>
10411
1042.names _n77<1>
10431
1044.names xy_lsb<0> _n77<0> _n78<0>
1045.def 0
10460 1 1
10471 0 1
1048.names xy_lsb<1> _n77<1> _n78<1>
1049.def 0
10500 1 1
10511 0 1
1052.names _n78<0> _n78<1> _n79
1053.def 1
10540 0 0
1055.names _n79 _n76
10560 1 
10571 0 
1058.names _n76  _n75
10591 1
10600 0
1061# x  < y
1062.names _n7c
10630
1064.names x<0> y<0> _n7c _n7b<0>
1065.def 0
10660 0 1 1
10670 1 0 1
10681 0 0 1
10691 1 1 1
1070# carry/borrow
1071.names _n7e
10720
1073.names x<0> y<0> _n7e _n7d
1074.def 0
10750 0 1 1
10760 1 0 1
10770 1 1 1
10781 1 1 1
1079.names x<1> y<1> _n7d _n7b<1>
1080.def 0
10810 0 1 1
10820 1 0 1
10831 0 0 1
10841 1 1 1
1085# carry/borrow
1086.names x<1> y<1> _n7d _n7f
1087.def 0
10880 0 1 1
10890 1 0 1
10900 1 1 1
10911 1 1 1
1092.names x<2> y<2> _n7f _n7b<2>
1093.def 0
10940 0 1 1
10950 1 0 1
10961 0 0 1
10971 1 1 1
1098# carry/borrow
1099.names x<2> y<2> _n7f _n80
1100.def 0
11010 0 1 1
11020 1 0 1
11030 1 1 1
11041 1 1 1
1105.names x<3> y<3> _n80 _n7b<3>
1106.def 0
11070 0 1 1
11080 1 0 1
11091 0 0 1
11101 1 1 1
1111# carry/borrow
1112.names x<3> y<3> _n80 _n81
1113.def 0
11140 0 1 1
11150 1 0 1
11160 1 1 1
11171 1 1 1
1118.names x<4> y<4> _n81 _n7b<4>
1119.def 0
11200 0 1 1
11210 1 0 1
11221 0 0 1
11231 1 1 1
1124# carry/borrow
1125.names x<4> y<4> _n81 _n82
1126.def 0
11270 0 1 1
11280 1 0 1
11290 1 1 1
11301 1 1 1
1131.names x<5> y<5> _n82 _n7b<5>
1132.def 0
11330 0 1 1
11340 1 0 1
11351 0 0 1
11361 1 1 1
1137# carry/borrow
1138.names x<5> y<5> _n82 _n83
1139.def 0
11400 0 1 1
11410 1 0 1
11420 1 1 1
11431 1 1 1
1144.names x<6> y<6> _n83 _n7b<6>
1145.def 0
11460 0 1 1
11470 1 0 1
11481 0 0 1
11491 1 1 1
1150# carry/borrow
1151.names x<6> y<6> _n83 _n84
1152.def 0
11530 0 1 1
11540 1 0 1
11550 1 1 1
11561 1 1 1
1157.names x<7> y<7> _n84 _n7b<7>
1158.def 0
11590 0 1 1
11600 1 0 1
11611 0 0 1
11621 1 1 1
1163# carry/borrow
1164.names x<7> y<7> _n84 _n85
1165.def 0
11660 0 1 1
11670 1 0 1
11680 1 1 1
11691 1 1 1
1170.names _n7b<0> _n7b<1> _n7b<2> _n7b<3> _n7b<4> _n7b<5> _n7b<6> _n7b<7> _n86
1171.def 1
11720 0 0 0 0 0 0 0 0
1173.names _n85 _n86 _n7a
1174.def 0
11751 1 1
1176.names _n7a _n87
1177- =_n7a
1178# y [8 - 2 : 0] = diff [8 - 1 : 1]
1179.names diff<1> y$_n7a_n88$true<0>
1180- =diff<1>
1181.names diff<2> y$_n7a_n88$true<1>
1182- =diff<2>
1183.names diff<3> y$_n7a_n88$true<2>
1184- =diff<3>
1185.names diff<4> y$_n7a_n88$true<3>
1186- =diff<4>
1187.names diff<5> y$_n7a_n88$true<4>
1188- =diff<5>
1189.names diff<6> y$_n7a_n88$true<5>
1190- =diff<6>
1191.names diff<7> y$_n7a_n88$true<6>
1192- =diff<7>
1193.names y<7> y$_n7a_n88$true<7>
1194- =y<7>
1195# y [8 - 1] = 0
1196.names y$_n7a_n89$true<7>
11970
1198.names y$_n7a_n88$true<0> y$_n7a_n89$true<0>
1199- =y$_n7a_n88$true<0>
1200.names y$_n7a_n88$true<1> y$_n7a_n89$true<1>
1201- =y$_n7a_n88$true<1>
1202.names y$_n7a_n88$true<2> y$_n7a_n89$true<2>
1203- =y$_n7a_n88$true<2>
1204.names y$_n7a_n88$true<3> y$_n7a_n89$true<3>
1205- =y$_n7a_n88$true<3>
1206.names y$_n7a_n88$true<4> y$_n7a_n89$true<4>
1207- =y$_n7a_n88$true<4>
1208.names y$_n7a_n88$true<5> y$_n7a_n89$true<5>
1209- =y$_n7a_n88$true<5>
1210.names y$_n7a_n88$true<6> y$_n7a_n89$true<6>
1211- =y$_n7a_n88$true<6>
1212# x [8 - 2 : 0] = diff [8 - 1 : 1]
1213.names diff<1> x$_n7a_n8a$false<0>
1214- =diff<1>
1215.names diff<2> x$_n7a_n8a$false<1>
1216- =diff<2>
1217.names diff<3> x$_n7a_n8a$false<2>
1218- =diff<3>
1219.names diff<4> x$_n7a_n8a$false<3>
1220- =diff<4>
1221.names diff<5> x$_n7a_n8a$false<4>
1222- =diff<5>
1223.names diff<6> x$_n7a_n8a$false<5>
1224- =diff<6>
1225.names diff<7> x$_n7a_n8a$false<6>
1226- =diff<7>
1227.names x<7> x$_n7a_n8a$false<7>
1228- =x<7>
1229# x [8 - 1] = 0
1230.names x$_n7a_n8b$false<7>
12310
1232.names x$_n7a_n8a$false<0> x$_n7a_n8b$false<0>
1233- =x$_n7a_n8a$false<0>
1234.names x$_n7a_n8a$false<1> x$_n7a_n8b$false<1>
1235- =x$_n7a_n8a$false<1>
1236.names x$_n7a_n8a$false<2> x$_n7a_n8b$false<2>
1237- =x$_n7a_n8a$false<2>
1238.names x$_n7a_n8a$false<3> x$_n7a_n8b$false<3>
1239- =x$_n7a_n8a$false<3>
1240.names x$_n7a_n8a$false<4> x$_n7a_n8b$false<4>
1241- =x$_n7a_n8a$false<4>
1242.names x$_n7a_n8a$false<5> x$_n7a_n8b$false<5>
1243- =x$_n7a_n8a$false<5>
1244.names x$_n7a_n8a$false<6> x$_n7a_n8b$false<6>
1245- =x$_n7a_n8a$false<6>
1246# if/else (x  < y )
1247.names y$_n7a_n89$true<0> y<0> _n7a y$_n7a$raw_n8e<0>
12480 - 1 0
12491 - 1 1
1250- 0 0 0
1251- 1 0 1
1252.names y$_n7a_n89$true<1> y<1> _n7a y$_n7a$raw_n8e<1>
12530 - 1 0
12541 - 1 1
1255- 0 0 0
1256- 1 0 1
1257.names y$_n7a_n89$true<2> y<2> _n7a y$_n7a$raw_n8e<2>
12580 - 1 0
12591 - 1 1
1260- 0 0 0
1261- 1 0 1
1262.names y$_n7a_n89$true<3> y<3> _n7a y$_n7a$raw_n8e<3>
12630 - 1 0
12641 - 1 1
1265- 0 0 0
1266- 1 0 1
1267.names y$_n7a_n89$true<4> y<4> _n7a y$_n7a$raw_n8e<4>
12680 - 1 0
12691 - 1 1
1270- 0 0 0
1271- 1 0 1
1272.names y$_n7a_n89$true<5> y<5> _n7a y$_n7a$raw_n8e<5>
12730 - 1 0
12741 - 1 1
1275- 0 0 0
1276- 1 0 1
1277.names y$_n7a_n89$true<6> y<6> _n7a y$_n7a$raw_n8e<6>
12780 - 1 0
12791 - 1 1
1280- 0 0 0
1281- 1 0 1
1282.names y$_n7a_n89$true<7> y<7> _n7a y$_n7a$raw_n8e<7>
12830 - 1 0
12841 - 1 1
1285- 0 0 0
1286- 1 0 1
1287.names x<0> x$_n7a_n8b$false<0> _n7a x$_n7a$raw_n97<0>
12880 - 1 0
12891 - 1 1
1290- 0 0 0
1291- 1 0 1
1292.names x<1> x$_n7a_n8b$false<1> _n7a x$_n7a$raw_n97<1>
12930 - 1 0
12941 - 1 1
1295- 0 0 0
1296- 1 0 1
1297.names x<2> x$_n7a_n8b$false<2> _n7a x$_n7a$raw_n97<2>
12980 - 1 0
12991 - 1 1
1300- 0 0 0
1301- 1 0 1
1302.names x<3> x$_n7a_n8b$false<3> _n7a x$_n7a$raw_n97<3>
13030 - 1 0
13041 - 1 1
1305- 0 0 0
1306- 1 0 1
1307.names x<4> x$_n7a_n8b$false<4> _n7a x$_n7a$raw_n97<4>
13080 - 1 0
13091 - 1 1
1310- 0 0 0
1311- 1 0 1
1312.names x<5> x$_n7a_n8b$false<5> _n7a x$_n7a$raw_n97<5>
13130 - 1 0
13141 - 1 1
1315- 0 0 0
1316- 1 0 1
1317.names x<6> x$_n7a_n8b$false<6> _n7a x$_n7a$raw_n97<6>
13180 - 1 0
13191 - 1 1
1320- 0 0 0
1321- 1 0 1
1322.names x<7> x$_n7a_n8b$false<7> _n7a x$_n7a$raw_n97<7>
13230 - 1 0
13241 - 1 1
1325- 0 0 0
1326- 1 0 1
1327# case (xy_lsb )
1328.names y$_n7a$raw_n8e<0> y<0> _n75 y$_n75$raw_na4<0>
13290 - 1 0
13301 - 1 1
1331- 0 0 0
1332- 1 0 1
1333.names y$_n7a$raw_n8e<1> y<1> _n75 y$_n75$raw_na4<1>
13340 - 1 0
13351 - 1 1
1336- 0 0 0
1337- 1 0 1
1338.names y$_n7a$raw_n8e<2> y<2> _n75 y$_n75$raw_na4<2>
13390 - 1 0
13401 - 1 1
1341- 0 0 0
1342- 1 0 1
1343.names y$_n7a$raw_n8e<3> y<3> _n75 y$_n75$raw_na4<3>
13440 - 1 0
13451 - 1 1
1346- 0 0 0
1347- 1 0 1
1348.names y$_n7a$raw_n8e<4> y<4> _n75 y$_n75$raw_na4<4>
13490 - 1 0
13501 - 1 1
1351- 0 0 0
1352- 1 0 1
1353.names y$_n7a$raw_n8e<5> y<5> _n75 y$_n75$raw_na4<5>
13540 - 1 0
13551 - 1 1
1356- 0 0 0
1357- 1 0 1
1358.names y$_n7a$raw_n8e<6> y<6> _n75 y$_n75$raw_na4<6>
13590 - 1 0
13601 - 1 1
1361- 0 0 0
1362- 1 0 1
1363.names y$_n7a$raw_n8e<7> y<7> _n75 y$_n75$raw_na4<7>
13640 - 1 0
13651 - 1 1
1366- 0 0 0
1367- 1 0 1
1368.names x$_n7a$raw_n97<0> x<0> _n75 x$_n75$raw_nad<0>
13690 - 1 0
13701 - 1 1
1371- 0 0 0
1372- 1 0 1
1373.names x$_n7a$raw_n97<1> x<1> _n75 x$_n75$raw_nad<1>
13740 - 1 0
13751 - 1 1
1376- 0 0 0
1377- 1 0 1
1378.names x$_n7a$raw_n97<2> x<2> _n75 x$_n75$raw_nad<2>
13790 - 1 0
13801 - 1 1
1381- 0 0 0
1382- 1 0 1
1383.names x$_n7a$raw_n97<3> x<3> _n75 x$_n75$raw_nad<3>
13840 - 1 0
13851 - 1 1
1386- 0 0 0
1387- 1 0 1
1388.names x$_n7a$raw_n97<4> x<4> _n75 x$_n75$raw_nad<4>
13890 - 1 0
13901 - 1 1
1391- 0 0 0
1392- 1 0 1
1393.names x$_n7a$raw_n97<5> x<5> _n75 x$_n75$raw_nad<5>
13940 - 1 0
13951 - 1 1
1396- 0 0 0
1397- 1 0 1
1398.names x$_n7a$raw_n97<6> x<6> _n75 x$_n75$raw_nad<6>
13990 - 1 0
14001 - 1 1
1401- 0 0 0
1402- 1 0 1
1403.names x$_n7a$raw_n97<7> x<7> _n75 x$_n75$raw_nad<7>
14040 - 1 0
14051 - 1 1
1406- 0 0 0
1407- 1 0 1
1408.names y$_n6e_n74$true<0> y$_n75$raw_na4<0> _n6e y$_n6e$raw_nb6<0>
14090 - 1 0
14101 - 1 1
1411- 0 0 0
1412- 1 0 1
1413.names y$_n6e_n74$true<1> y$_n75$raw_na4<1> _n6e y$_n6e$raw_nb6<1>
14140 - 1 0
14151 - 1 1
1416- 0 0 0
1417- 1 0 1
1418.names y$_n6e_n74$true<2> y$_n75$raw_na4<2> _n6e y$_n6e$raw_nb6<2>
14190 - 1 0
14201 - 1 1
1421- 0 0 0
1422- 1 0 1
1423.names y$_n6e_n74$true<3> y$_n75$raw_na4<3> _n6e y$_n6e$raw_nb6<3>
14240 - 1 0
14251 - 1 1
1426- 0 0 0
1427- 1 0 1
1428.names y$_n6e_n74$true<4> y$_n75$raw_na4<4> _n6e y$_n6e$raw_nb6<4>
14290 - 1 0
14301 - 1 1
1431- 0 0 0
1432- 1 0 1
1433.names y$_n6e_n74$true<5> y$_n75$raw_na4<5> _n6e y$_n6e$raw_nb6<5>
14340 - 1 0
14351 - 1 1
1436- 0 0 0
1437- 1 0 1
1438.names y$_n6e_n74$true<6> y$_n75$raw_na4<6> _n6e y$_n6e$raw_nb6<6>
14390 - 1 0
14401 - 1 1
1441- 0 0 0
1442- 1 0 1
1443.names y$_n6e_n74$true<7> y$_n75$raw_na4<7> _n6e y$_n6e$raw_nb6<7>
14440 - 1 0
14451 - 1 1
1446- 0 0 0
1447- 1 0 1
1448.names x<0> x$_n75$raw_nad<0> _n6e x$_n6e$raw_nc2<0>
14490 - 1 0
14501 - 1 1
1451- 0 0 0
1452- 1 0 1
1453.names x<1> x$_n75$raw_nad<1> _n6e x$_n6e$raw_nc2<1>
14540 - 1 0
14551 - 1 1
1456- 0 0 0
1457- 1 0 1
1458.names x<2> x$_n75$raw_nad<2> _n6e x$_n6e$raw_nc2<2>
14590 - 1 0
14601 - 1 1
1461- 0 0 0
1462- 1 0 1
1463.names x<3> x$_n75$raw_nad<3> _n6e x$_n6e$raw_nc2<3>
14640 - 1 0
14651 - 1 1
1466- 0 0 0
1467- 1 0 1
1468.names x<4> x$_n75$raw_nad<4> _n6e x$_n6e$raw_nc2<4>
14690 - 1 0
14701 - 1 1
1471- 0 0 0
1472- 1 0 1
1473.names x<5> x$_n75$raw_nad<5> _n6e x$_n6e$raw_nc2<5>
14740 - 1 0
14751 - 1 1
1476- 0 0 0
1477- 1 0 1
1478.names x<6> x$_n75$raw_nad<6> _n6e x$_n6e$raw_nc2<6>
14790 - 1 0
14801 - 1 1
1481- 0 0 0
1482- 1 0 1
1483.names x<7> x$_n75$raw_nad<7> _n6e x$_n6e$raw_nc2<7>
14840 - 1 0
14851 - 1 1
1486- 0 0 0
1487- 1 0 1
1488.names x$_n67_n6d$true<0> x$_n6e$raw_nc2<0> _n67 x$_n67$raw_ncb<0>
14890 - 1 0
14901 - 1 1
1491- 0 0 0
1492- 1 0 1
1493.names x$_n67_n6d$true<1> x$_n6e$raw_nc2<1> _n67 x$_n67$raw_ncb<1>
14940 - 1 0
14951 - 1 1
1496- 0 0 0
1497- 1 0 1
1498.names x$_n67_n6d$true<2> x$_n6e$raw_nc2<2> _n67 x$_n67$raw_ncb<2>
14990 - 1 0
15001 - 1 1
1501- 0 0 0
1502- 1 0 1
1503.names x$_n67_n6d$true<3> x$_n6e$raw_nc2<3> _n67 x$_n67$raw_ncb<3>
15040 - 1 0
15051 - 1 1
1506- 0 0 0
1507- 1 0 1
1508.names x$_n67_n6d$true<4> x$_n6e$raw_nc2<4> _n67 x$_n67$raw_ncb<4>
15090 - 1 0
15101 - 1 1
1511- 0 0 0
1512- 1 0 1
1513.names x$_n67_n6d$true<5> x$_n6e$raw_nc2<5> _n67 x$_n67$raw_ncb<5>
15140 - 1 0
15151 - 1 1
1516- 0 0 0
1517- 1 0 1
1518.names x$_n67_n6d$true<6> x$_n6e$raw_nc2<6> _n67 x$_n67$raw_ncb<6>
15190 - 1 0
15201 - 1 1
1521- 0 0 0
1522- 1 0 1
1523.names x$_n67_n6d$true<7> x$_n6e$raw_nc2<7> _n67 x$_n67$raw_ncb<7>
15240 - 1 0
15251 - 1 1
1526- 0 0 0
1527- 1 0 1
1528.names y<0> y$_n6e$raw_nb6<0> _n67 y$_n67$raw_nd6<0>
15290 - 1 0
15301 - 1 1
1531- 0 0 0
1532- 1 0 1
1533.names y<1> y$_n6e$raw_nb6<1> _n67 y$_n67$raw_nd6<1>
15340 - 1 0
15351 - 1 1
1536- 0 0 0
1537- 1 0 1
1538.names y<2> y$_n6e$raw_nb6<2> _n67 y$_n67$raw_nd6<2>
15390 - 1 0
15401 - 1 1
1541- 0 0 0
1542- 1 0 1
1543.names y<3> y$_n6e$raw_nb6<3> _n67 y$_n67$raw_nd6<3>
15440 - 1 0
15451 - 1 1
1546- 0 0 0
1547- 1 0 1
1548.names y<4> y$_n6e$raw_nb6<4> _n67 y$_n67$raw_nd6<4>
15490 - 1 0
15501 - 1 1
1551- 0 0 0
1552- 1 0 1
1553.names y<5> y$_n6e$raw_nb6<5> _n67 y$_n67$raw_nd6<5>
15540 - 1 0
15551 - 1 1
1556- 0 0 0
1557- 1 0 1
1558.names y<6> y$_n6e$raw_nb6<6> _n67 y$_n67$raw_nd6<6>
15590 - 1 0
15601 - 1 1
1561- 0 0 0
1562- 1 0 1
1563.names y<7> y$_n6e$raw_nb6<7> _n67 y$_n67$raw_nd6<7>
15640 - 1 0
15651 - 1 1
1566- 0 0 0
1567- 1 0 1
1568.names lsb$_n5b_n60$true<0> lsb<0> _n5b lsb$_n5b$raw_ne2<0>
15690 - 1 0
15701 - 1 1
1571- 0 0 0
1572- 1 0 1
1573.names lsb$_n5b_n60$true<1> lsb<1> _n5b lsb$_n5b$raw_ne2<1>
15740 - 1 0
15751 - 1 1
1576- 0 0 0
1577- 1 0 1
1578.names lsb$_n5b_n60$true<2> lsb<2> _n5b lsb$_n5b$raw_ne2<2>
15790 - 1 0
15801 - 1 1
1581- 0 0 0
1582- 1 0 1
1583.names y<0> y$_n67$raw_nd6<0> _n5b y$_n5b$raw_ne6<0>
15840 - 1 0
15851 - 1 1
1586- 0 0 0
1587- 1 0 1
1588.names y<1> y$_n67$raw_nd6<1> _n5b y$_n5b$raw_ne6<1>
15890 - 1 0
15901 - 1 1
1591- 0 0 0
1592- 1 0 1
1593.names y<2> y$_n67$raw_nd6<2> _n5b y$_n5b$raw_ne6<2>
15940 - 1 0
15951 - 1 1
1596- 0 0 0
1597- 1 0 1
1598.names y<3> y$_n67$raw_nd6<3> _n5b y$_n5b$raw_ne6<3>
15990 - 1 0
16001 - 1 1
1601- 0 0 0
1602- 1 0 1
1603.names y<4> y$_n67$raw_nd6<4> _n5b y$_n5b$raw_ne6<4>
16040 - 1 0
16051 - 1 1
1606- 0 0 0
1607- 1 0 1
1608.names y<5> y$_n67$raw_nd6<5> _n5b y$_n5b$raw_ne6<5>
16090 - 1 0
16101 - 1 1
1611- 0 0 0
1612- 1 0 1
1613.names y<6> y$_n67$raw_nd6<6> _n5b y$_n5b$raw_ne6<6>
16140 - 1 0
16151 - 1 1
1616- 0 0 0
1617- 1 0 1
1618.names y<7> y$_n67$raw_nd6<7> _n5b y$_n5b$raw_ne6<7>
16190 - 1 0
16201 - 1 1
1621- 0 0 0
1622- 1 0 1
1623.names x<0> x$_n67$raw_ncb<0> _n5b x$_n5b$raw_nef<0>
16240 - 1 0
16251 - 1 1
1626- 0 0 0
1627- 1 0 1
1628.names x<1> x$_n67$raw_ncb<1> _n5b x$_n5b$raw_nef<1>
16290 - 1 0
16301 - 1 1
1631- 0 0 0
1632- 1 0 1
1633.names x<2> x$_n67$raw_ncb<2> _n5b x$_n5b$raw_nef<2>
16340 - 1 0
16351 - 1 1
1636- 0 0 0
1637- 1 0 1
1638.names x<3> x$_n67$raw_ncb<3> _n5b x$_n5b$raw_nef<3>
16390 - 1 0
16401 - 1 1
1641- 0 0 0
1642- 1 0 1
1643.names x<4> x$_n67$raw_ncb<4> _n5b x$_n5b$raw_nef<4>
16440 - 1 0
16451 - 1 1
1646- 0 0 0
1647- 1 0 1
1648.names x<5> x$_n67$raw_ncb<5> _n5b x$_n5b$raw_nef<5>
16490 - 1 0
16501 - 1 1
1651- 0 0 0
1652- 1 0 1
1653.names x<6> x$_n67$raw_ncb<6> _n5b x$_n5b$raw_nef<6>
16540 - 1 0
16551 - 1 1
1656- 0 0 0
1657- 1 0 1
1658.names x<7> x$_n67$raw_ncb<7> _n5b x$_n5b$raw_nef<7>
16590 - 1 0
16601 - 1 1
1661- 0 0 0
1662- 1 0 1
1663.names done _nf8
1664- =done
1665# o  = (x  < y ) ? x  : y
1666# x  < y
1667.names _nfc
16680
1669.names x<0> y<0> _nfc _nfb<0>
1670.def 0
16710 0 1 1
16720 1 0 1
16731 0 0 1
16741 1 1 1
1675# carry/borrow
1676.names _nfe
16770
1678.names x<0> y<0> _nfe _nfd
1679.def 0
16800 0 1 1
16810 1 0 1
16820 1 1 1
16831 1 1 1
1684.names x<1> y<1> _nfd _nfb<1>
1685.def 0
16860 0 1 1
16870 1 0 1
16881 0 0 1
16891 1 1 1
1690# carry/borrow
1691.names x<1> y<1> _nfd _nff
1692.def 0
16930 0 1 1
16940 1 0 1
16950 1 1 1
16961 1 1 1
1697.names x<2> y<2> _nff _nfb<2>
1698.def 0
16990 0 1 1
17000 1 0 1
17011 0 0 1
17021 1 1 1
1703# carry/borrow
1704.names x<2> y<2> _nff _n100
1705.def 0
17060 0 1 1
17070 1 0 1
17080 1 1 1
17091 1 1 1
1710.names x<3> y<3> _n100 _nfb<3>
1711.def 0
17120 0 1 1
17130 1 0 1
17141 0 0 1
17151 1 1 1
1716# carry/borrow
1717.names x<3> y<3> _n100 _n101
1718.def 0
17190 0 1 1
17200 1 0 1
17210 1 1 1
17221 1 1 1
1723.names x<4> y<4> _n101 _nfb<4>
1724.def 0
17250 0 1 1
17260 1 0 1
17271 0 0 1
17281 1 1 1
1729# carry/borrow
1730.names x<4> y<4> _n101 _n102
1731.def 0
17320 0 1 1
17330 1 0 1
17340 1 1 1
17351 1 1 1
1736.names x<5> y<5> _n102 _nfb<5>
1737.def 0
17380 0 1 1
17390 1 0 1
17401 0 0 1
17411 1 1 1
1742# carry/borrow
1743.names x<5> y<5> _n102 _n103
1744.def 0
17450 0 1 1
17460 1 0 1
17470 1 1 1
17481 1 1 1
1749.names x<6> y<6> _n103 _nfb<6>
1750.def 0
17510 0 1 1
17520 1 0 1
17531 0 0 1
17541 1 1 1
1755# carry/borrow
1756.names x<6> y<6> _n103 _n104
1757.def 0
17580 0 1 1
17590 1 0 1
17600 1 1 1
17611 1 1 1
1762.names x<7> y<7> _n104 _nfb<7>
1763.def 0
17640 0 1 1
17650 1 0 1
17661 0 0 1
17671 1 1 1
1768# carry/borrow
1769.names x<7> y<7> _n104 _n105
1770.def 0
17710 0 1 1
17720 1 0 1
17730 1 1 1
17741 1 1 1
1775.names _nfb<0> _nfb<1> _nfb<2> _nfb<3> _nfb<4> _nfb<5> _nfb<6> _nfb<7> _n106
1776.def 1
17770 0 0 0 0 0 0 0 0
1778.names _n105 _n106 _nfa
1779.def 0
17801 1 1
1781# (x  < y ) ? x  : y
1782.names x<0> y<0> _nfa _n107<0>
17830 - 1 0
17841 - 1 1
1785- 0 0 0
1786- 1 0 1
1787.names x<1> y<1> _nfa _n107<1>
17880 - 1 0
17891 - 1 1
1790- 0 0 0
1791- 1 0 1
1792.names x<2> y<2> _nfa _n107<2>
17930 - 1 0
17941 - 1 1
1795- 0 0 0
1796- 1 0 1
1797.names x<3> y<3> _nfa _n107<3>
17980 - 1 0
17991 - 1 1
1800- 0 0 0
1801- 1 0 1
1802.names x<4> y<4> _nfa _n107<4>
18030 - 1 0
18041 - 1 1
1805- 0 0 0
1806- 1 0 1
1807.names x<5> y<5> _nfa _n107<5>
18080 - 1 0
18091 - 1 1
1810- 0 0 0
1811- 1 0 1
1812.names x<6> y<6> _nfa _n107<6>
18130 - 1 0
18141 - 1 1
1815- 0 0 0
1816- 1 0 1
1817.names x<7> y<7> _nfa _n107<7>
18180 - 1 0
18191 - 1 1
1820- 0 0 0
1821- 1 0 1
1822.names _n107<0> o$done_nf9$true<0>
1823- =_n107<0>
1824.names _n107<1> o$done_nf9$true<1>
1825- =_n107<1>
1826.names _n107<2> o$done_nf9$true<2>
1827- =_n107<2>
1828.names _n107<3> o$done_nf9$true<3>
1829- =_n107<3>
1830.names _n107<4> o$done_nf9$true<4>
1831- =_n107<4>
1832.names _n107<5> o$done_nf9$true<5>
1833- =_n107<5>
1834.names _n107<6> o$done_nf9$true<6>
1835- =_n107<6>
1836.names _n107<7> o$done_nf9$true<7>
1837- =_n107<7>
1838# if/else (done )
1839.names o$done_nf9$true<0> o<0> done o$done$raw_n112<0>
18400 - 1 0
18411 - 1 1
1842- 0 0 0
1843- 1 0 1
1844.names o$done_nf9$true<1> o<1> done o$done$raw_n112<1>
18450 - 1 0
18461 - 1 1
1847- 0 0 0
1848- 1 0 1
1849.names o$done_nf9$true<2> o<2> done o$done$raw_n112<2>
18500 - 1 0
18511 - 1 1
1852- 0 0 0
1853- 1 0 1
1854.names o$done_nf9$true<3> o<3> done o$done$raw_n112<3>
18550 - 1 0
18561 - 1 1
1857- 0 0 0
1858- 1 0 1
1859.names o$done_nf9$true<4> o<4> done o$done$raw_n112<4>
18600 - 1 0
18611 - 1 1
1862- 0 0 0
1863- 1 0 1
1864.names o$done_nf9$true<5> o<5> done o$done$raw_n112<5>
18650 - 1 0
18661 - 1 1
1867- 0 0 0
1868- 1 0 1
1869.names o$done_nf9$true<6> o<6> done o$done$raw_n112<6>
18700 - 1 0
18711 - 1 1
1872- 0 0 0
1873- 1 0 1
1874.names o$done_nf9$true<7> o<7> done o$done$raw_n112<7>
18750 - 1 0
18761 - 1 1
1877- 0 0 0
1878- 1 0 1
1879# if/else (busy  & ~done )
1880.names y$_n5b$raw_ne6<0> y<0> _n59 y$_n59$raw_n121<0>
18810 - 1 0
18821 - 1 1
1883- 0 0 0
1884- 1 0 1
1885.names y$_n5b$raw_ne6<1> y<1> _n59 y$_n59$raw_n121<1>
18860 - 1 0
18871 - 1 1
1888- 0 0 0
1889- 1 0 1
1890.names y$_n5b$raw_ne6<2> y<2> _n59 y$_n59$raw_n121<2>
18910 - 1 0
18921 - 1 1
1893- 0 0 0
1894- 1 0 1
1895.names y$_n5b$raw_ne6<3> y<3> _n59 y$_n59$raw_n121<3>
18960 - 1 0
18971 - 1 1
1898- 0 0 0
1899- 1 0 1
1900.names y$_n5b$raw_ne6<4> y<4> _n59 y$_n59$raw_n121<4>
19010 - 1 0
19021 - 1 1
1903- 0 0 0
1904- 1 0 1
1905.names y$_n5b$raw_ne6<5> y<5> _n59 y$_n59$raw_n121<5>
19060 - 1 0
19071 - 1 1
1908- 0 0 0
1909- 1 0 1
1910.names y$_n5b$raw_ne6<6> y<6> _n59 y$_n59$raw_n121<6>
19110 - 1 0
19121 - 1 1
1913- 0 0 0
1914- 1 0 1
1915.names y$_n5b$raw_ne6<7> y<7> _n59 y$_n59$raw_n121<7>
19160 - 1 0
19171 - 1 1
1918- 0 0 0
1919- 1 0 1
1920.names lsb$_n5b$raw_ne2<0> lsb<0> _n59 lsb$_n59$raw_n12a<0>
19210 - 1 0
19221 - 1 1
1923- 0 0 0
1924- 1 0 1
1925.names lsb$_n5b$raw_ne2<1> lsb<1> _n59 lsb$_n59$raw_n12a<1>
19260 - 1 0
19271 - 1 1
1928- 0 0 0
1929- 1 0 1
1930.names lsb$_n5b$raw_ne2<2> lsb<2> _n59 lsb$_n59$raw_n12a<2>
19310 - 1 0
19321 - 1 1
1933- 0 0 0
1934- 1 0 1
1935.names x$_n5b$raw_nef<0> x<0> _n59 x$_n59$raw_n12e<0>
19360 - 1 0
19371 - 1 1
1938- 0 0 0
1939- 1 0 1
1940.names x$_n5b$raw_nef<1> x<1> _n59 x$_n59$raw_n12e<1>
19410 - 1 0
19421 - 1 1
1943- 0 0 0
1944- 1 0 1
1945.names x$_n5b$raw_nef<2> x<2> _n59 x$_n59$raw_n12e<2>
19460 - 1 0
19471 - 1 1
1948- 0 0 0
1949- 1 0 1
1950.names x$_n5b$raw_nef<3> x<3> _n59 x$_n59$raw_n12e<3>
19510 - 1 0
19521 - 1 1
1953- 0 0 0
1954- 1 0 1
1955.names x$_n5b$raw_nef<4> x<4> _n59 x$_n59$raw_n12e<4>
19560 - 1 0
19571 - 1 1
1958- 0 0 0
1959- 1 0 1
1960.names x$_n5b$raw_nef<5> x<5> _n59 x$_n59$raw_n12e<5>
19610 - 1 0
19621 - 1 1
1963- 0 0 0
1964- 1 0 1
1965.names x$_n5b$raw_nef<6> x<6> _n59 x$_n59$raw_n12e<6>
19660 - 1 0
19671 - 1 1
1968- 0 0 0
1969- 1 0 1
1970.names x$_n5b$raw_nef<7> x<7> _n59 x$_n59$raw_n12e<7>
19710 - 1 0
19721 - 1 1
1973- 0 0 0
1974- 1 0 1
1975.names o<0> o$done$raw_n112<0> _n59 o$_n59$raw_n137<0>
19760 - 1 0
19771 - 1 1
1978- 0 0 0
1979- 1 0 1
1980.names o<1> o$done$raw_n112<1> _n59 o$_n59$raw_n137<1>
19810 - 1 0
19821 - 1 1
1983- 0 0 0
1984- 1 0 1
1985.names o<2> o$done$raw_n112<2> _n59 o$_n59$raw_n137<2>
19860 - 1 0
19871 - 1 1
1988- 0 0 0
1989- 1 0 1
1990.names o<3> o$done$raw_n112<3> _n59 o$_n59$raw_n137<3>
19910 - 1 0
19921 - 1 1
1993- 0 0 0
1994- 1 0 1
1995.names o<4> o$done$raw_n112<4> _n59 o$_n59$raw_n137<4>
19960 - 1 0
19971 - 1 1
1998- 0 0 0
1999- 1 0 1
2000.names o<5> o$done$raw_n112<5> _n59 o$_n59$raw_n137<5>
20010 - 1 0
20021 - 1 1
2003- 0 0 0
2004- 1 0 1
2005.names o<6> o$done$raw_n112<6> _n59 o$_n59$raw_n137<6>
20060 - 1 0
20071 - 1 1
2008- 0 0 0
2009- 1 0 1
2010.names o<7> o$done$raw_n112<7> _n59 o$_n59$raw_n137<7>
20110 - 1 0
20121 - 1 1
2013- 0 0 0
2014- 1 0 1
2015# if/else (load )
2016.names y$load_n56$true<0> y$_n59$raw_n121<0> load y$load$raw_n143<0>
20170 - 1 0
20181 - 1 1
2019- 0 0 0
2020- 1 0 1
2021.names y$load_n56$true<1> y$_n59$raw_n121<1> load y$load$raw_n143<1>
20220 - 1 0
20231 - 1 1
2024- 0 0 0
2025- 1 0 1
2026.names y$load_n56$true<2> y$_n59$raw_n121<2> load y$load$raw_n143<2>
20270 - 1 0
20281 - 1 1
2029- 0 0 0
2030- 1 0 1
2031.names y$load_n56$true<3> y$_n59$raw_n121<3> load y$load$raw_n143<3>
20320 - 1 0
20331 - 1 1
2034- 0 0 0
2035- 1 0 1
2036.names y$load_n56$true<4> y$_n59$raw_n121<4> load y$load$raw_n143<4>
20370 - 1 0
20381 - 1 1
2039- 0 0 0
2040- 1 0 1
2041.names y$load_n56$true<5> y$_n59$raw_n121<5> load y$load$raw_n143<5>
20420 - 1 0
20431 - 1 1
2044- 0 0 0
2045- 1 0 1
2046.names y$load_n56$true<6> y$_n59$raw_n121<6> load y$load$raw_n143<6>
20470 - 1 0
20481 - 1 1
2049- 0 0 0
2050- 1 0 1
2051.names y$load_n56$true<7> y$_n59$raw_n121<7> load y$load$raw_n143<7>
20520 - 1 0
20531 - 1 1
2054- 0 0 0
2055- 1 0 1
2056.names lsb$load_n57$true<0> lsb$_n59$raw_n12a<0> load lsb$load$raw_n14c<0>
20570 - 1 0
20581 - 1 1
2059- 0 0 0
2060- 1 0 1
2061.names lsb$load_n57$true<1> lsb$_n59$raw_n12a<1> load lsb$load$raw_n14c<1>
20620 - 1 0
20631 - 1 1
2064- 0 0 0
2065- 1 0 1
2066.names lsb$load_n57$true<2> lsb$_n59$raw_n12a<2> load lsb$load$raw_n14c<2>
20670 - 1 0
20681 - 1 1
2069- 0 0 0
2070- 1 0 1
2071.names x$load_n55$true<0> x$_n59$raw_n12e<0> load x$load$raw_n150<0>
20720 - 1 0
20731 - 1 1
2074- 0 0 0
2075- 1 0 1
2076.names x$load_n55$true<1> x$_n59$raw_n12e<1> load x$load$raw_n150<1>
20770 - 1 0
20781 - 1 1
2079- 0 0 0
2080- 1 0 1
2081.names x$load_n55$true<2> x$_n59$raw_n12e<2> load x$load$raw_n150<2>
20820 - 1 0
20831 - 1 1
2084- 0 0 0
2085- 1 0 1
2086.names x$load_n55$true<3> x$_n59$raw_n12e<3> load x$load$raw_n150<3>
20870 - 1 0
20881 - 1 1
2089- 0 0 0
2090- 1 0 1
2091.names x$load_n55$true<4> x$_n59$raw_n12e<4> load x$load$raw_n150<4>
20920 - 1 0
20931 - 1 1
2094- 0 0 0
2095- 1 0 1
2096.names x$load_n55$true<5> x$_n59$raw_n12e<5> load x$load$raw_n150<5>
20970 - 1 0
20981 - 1 1
2099- 0 0 0
2100- 1 0 1
2101.names x$load_n55$true<6> x$_n59$raw_n12e<6> load x$load$raw_n150<6>
21020 - 1 0
21031 - 1 1
2104- 0 0 0
2105- 1 0 1
2106.names x$load_n55$true<7> x$_n59$raw_n12e<7> load x$load$raw_n150<7>
21070 - 1 0
21081 - 1 1
2109- 0 0 0
2110- 1 0 1
2111.names o<0> o$_n59$raw_n137<0> load o$load$raw_n15d<0>
21120 - 1 0
21131 - 1 1
2114- 0 0 0
2115- 1 0 1
2116.names o<1> o$_n59$raw_n137<1> load o$load$raw_n15d<1>
21170 - 1 0
21181 - 1 1
2119- 0 0 0
2120- 1 0 1
2121.names o<2> o$_n59$raw_n137<2> load o$load$raw_n15d<2>
21220 - 1 0
21231 - 1 1
2124- 0 0 0
2125- 1 0 1
2126.names o<3> o$_n59$raw_n137<3> load o$load$raw_n15d<3>
21270 - 1 0
21281 - 1 1
2129- 0 0 0
2130- 1 0 1
2131.names o<4> o$_n59$raw_n137<4> load o$load$raw_n15d<4>
21320 - 1 0
21331 - 1 1
2134- 0 0 0
2135- 1 0 1
2136.names o<5> o$_n59$raw_n137<5> load o$load$raw_n15d<5>
21370 - 1 0
21381 - 1 1
2139- 0 0 0
2140- 1 0 1
2141.names o<6> o$_n59$raw_n137<6> load o$load$raw_n15d<6>
21420 - 1 0
21431 - 1 1
2144- 0 0 0
2145- 1 0 1
2146.names o<7> o$_n59$raw_n137<7> load o$load$raw_n15d<7>
21470 - 1 0
21481 - 1 1
2149- 0 0 0
2150- 1 0 1
2151.names busy _n168
21520 1 
21531 0 
2154.names _n168 _n169
2155- =_n168
2156.names start _n16a
2157- =start
2158# busy  = 1
2159.names busy$start_n16b$true
21601
2161# if/else (start )
2162.names busy$start_n16b$true busy start busy$start$raw_n16e
21630 - 1 0
21641 - 1 1
2165- 0 0 0
2166- 1 0 1
2167.names done _n170
2168- =done
2169# busy  = 0
2170.names busy$done_n171$true
21710
2172# if/else (done )
2173.names busy$done_n171$true busy done busy$done$raw_n174
21740 - 1 0
21751 - 1 1
2176- 0 0 0
2177- 1 0 1
2178# if/else (~busy )
2179.names busy$start$raw_n16e busy$done$raw_n174 _n168 busy$_n168$raw_n177
21800 - 1 0
21811 - 1 1
2182- 0 0 0
2183- 1 0 1
2184# conflict arbitrators
2185.names _n54 _n5a _n5b _n67 _n6e _n75 _n87 _n17b
2186.def 0
2187 1 - - - - - - 1
2188 0 1 0 0 1 - - 1
2189 0 1 0 0 1 - - 1
2190 0 1 0 0 0 1 1 1
2191 0 1 0 0 0 1 1 1
2192.names _n17b y$load$raw_n143<0> y$load$raw_n143<1> y$load$raw_n143<2> y$load$raw_n143<3> y$load$raw_n143<4> y$load$raw_n143<5> y$load$raw_n143<6> y$load$raw_n143<7> y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> -> _n17c<0> _n17c<1> _n17c<2> _n17c<3> _n17c<4> _n17c<5> _n17c<6> _n17c<7>
21931 - - - - - - - - - - - - - - - - =y$load$raw_n143<0> =y$load$raw_n143<1> =y$load$raw_n143<2> =y$load$raw_n143<3> =y$load$raw_n143<4> =y$load$raw_n143<5> =y$load$raw_n143<6> =y$load$raw_n143<7>
21940 - - - - - - - - - - - - - - - - =y<0> =y<1> =y<2> =y<3> =y<4> =y<5> =y<6> =y<7>
2195.names _n54 _n5a _nf8 _n17d
2196.def 0
2197 0 0 1 1
2198.names _n17d o$load$raw_n15d<0> o$load$raw_n15d<1> o$load$raw_n15d<2> o$load$raw_n15d<3> o$load$raw_n15d<4> o$load$raw_n15d<5> o$load$raw_n15d<6> o$load$raw_n15d<7> o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7> -> _n17e<0> _n17e<1> _n17e<2> _n17e<3> _n17e<4> _n17e<5> _n17e<6> _n17e<7>
21991 - - - - - - - - - - - - - - - - =o$load$raw_n15d<0> =o$load$raw_n15d<1> =o$load$raw_n15d<2> =o$load$raw_n15d<3> =o$load$raw_n15d<4> =o$load$raw_n15d<5> =o$load$raw_n15d<6> =o$load$raw_n15d<7>
22000 - - - - - - - - - - - - - - - - =o<0> =o<1> =o<2> =o<3> =o<4> =o<5> =o<6> =o<7>
2201.names load$raw_n4c  load
22020 0
22031 1
2204.names _n54 _n5a _n5b _n17f
2205.def 0
2206 1 - - 1
2207 0 1 1 1
2208.names _n17f lsb$load$raw_n14c<0> lsb$load$raw_n14c<1> lsb$load$raw_n14c<2> lsb<0> lsb<1> lsb<2> -> _n180<0> _n180<1> _n180<2>
22091 - - - - - - =lsb$load$raw_n14c<0> =lsb$load$raw_n14c<1> =lsb$load$raw_n14c<2>
22100 - - - - - - =lsb<0> =lsb<1> =lsb<2>
2211.names _n169 _n16a _n170 _n181
2212.def 0
2213 1 1 - 1
2214 0 - 1 1
2215.names _n181 busy$_n168$raw_n177 busy _n182
22161 0 - 0
22171 1 - 1
22180 - 0 0
22190 - 1 1
2220.names xy_lsb$raw_nf<0>  xy_lsb<0>
2221- =xy_lsb$raw_nf<0>
2222.names xy_lsb$raw_nc<1>  xy_lsb<1>
2223- =xy_lsb$raw_nc<1>
2224.names done$raw_n3d  done
22250 0
22261 1
2227.names diff$raw_n12<0>  diff<0>
2228- =diff$raw_n12<0>
2229.names diff$raw_n12<1>  diff<1>
2230- =diff$raw_n12<1>
2231.names diff$raw_n12<2>  diff<2>
2232- =diff$raw_n12<2>
2233.names diff$raw_n12<3>  diff<3>
2234- =diff$raw_n12<3>
2235.names diff$raw_n12<4>  diff<4>
2236- =diff$raw_n12<4>
2237.names diff$raw_n12<5>  diff<5>
2238- =diff$raw_n12<5>
2239.names diff$raw_n12<6>  diff<6>
2240- =diff$raw_n12<6>
2241.names diff$raw_n12<7>  diff<7>
2242- =diff$raw_n12<7>
2243.names _n54 _n5a _n5b _n67 _n6e _n75 _n87 _n183
2244.def 0
2245 1 - - - - - - 1
2246 0 1 0 1 - - - 1
2247 0 1 0 1 - - - 1
2248 0 1 0 0 0 1 0 1
2249 0 1 0 0 0 1 0 1
2250.names _n183 x$load$raw_n150<0> x$load$raw_n150<1> x$load$raw_n150<2> x$load$raw_n150<3> x$load$raw_n150<4> x$load$raw_n150<5> x$load$raw_n150<6> x$load$raw_n150<7> x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> -> _n184<0> _n184<1> _n184<2> _n184<3> _n184<4> _n184<5> _n184<6> _n184<7>
22511 - - - - - - - - - - - - - - - - =x$load$raw_n150<0> =x$load$raw_n150<1> =x$load$raw_n150<2> =x$load$raw_n150<3> =x$load$raw_n150<4> =x$load$raw_n150<5> =x$load$raw_n150<6> =x$load$raw_n150<7>
22520 - - - - - - - - - - - - - - - - =x<0> =x<1> =x<2> =x<3> =x<4> =x<5> =x<6> =x<7>
2253# non-blocking assignments
2254# latches
2255.r y$raw_n51<0> y<0>
2256.def 0
22571 1
2258.r y$raw_n51<1> y<1>
2259.def 0
22601 1
2261.r y$raw_n51<2> y<2>
2262.def 0
22631 1
2264.r y$raw_n51<3> y<3>
2265.def 0
22661 1
2267.r y$raw_n51<4> y<4>
2268.def 0
22691 1
2270.r y$raw_n51<5> y<5>
2271.def 0
22721 1
2273.r y$raw_n51<6> y<6>
2274.def 0
22751 1
2276.r y$raw_n51<7> y<7>
2277.def 0
22781 1
2279.latch _n17c<0> y<0>
2280.latch _n17c<1> y<1>
2281.latch _n17c<2> y<2>
2282.latch _n17c<3> y<3>
2283.latch _n17c<4> y<4>
2284.latch _n17c<5> y<5>
2285.latch _n17c<6> y<6>
2286.latch _n17c<7> y<7>
2287.r o$raw_n52<0> o<0>
2288.def 0
22891 1
2290.r o$raw_n52<1> o<1>
2291.def 0
22921 1
2293.r o$raw_n52<2> o<2>
2294.def 0
22951 1
2296.r o$raw_n52<3> o<3>
2297.def 0
22981 1
2299.r o$raw_n52<4> o<4>
2300.def 0
23011 1
2302.r o$raw_n52<5> o<5>
2303.def 0
23041 1
2305.r o$raw_n52<6> o<6>
2306.def 0
23071 1
2308.r o$raw_n52<7> o<7>
2309.def 0
23101 1
2311.latch _n17e<0> o<0>
2312.latch _n17e<1> o<1>
2313.latch _n17e<2> o<2>
2314.latch _n17e<3> o<3>
2315.latch _n17e<4> o<4>
2316.latch _n17e<5> o<5>
2317.latch _n17e<6> o<6>
2318.latch _n17e<7> o<7>
2319.r busy$raw_n4f busy
23200 0
23211 1
2322.latch _n182 busy
2323.r lsb$raw_n53<0> lsb<0>
2324.def 0
23251 1
2326.r lsb$raw_n53<1> lsb<1>
2327.def 0
23281 1
2329.r lsb$raw_n53<2> lsb<2>
2330.def 0
23311 1
2332.latch _n180<0> lsb<0>
2333.latch _n180<1> lsb<1>
2334.latch _n180<2> lsb<2>
2335.r x$raw_n50<0> x<0>
2336.def 0
23371 1
2338.r x$raw_n50<1> x<1>
2339.def 0
23401 1
2341.r x$raw_n50<2> x<2>
2342.def 0
23431 1
2344.r x$raw_n50<3> x<3>
2345.def 0
23461 1
2347.r x$raw_n50<4> x<4>
2348.def 0
23491 1
2350.r x$raw_n50<5> x<5>
2351.def 0
23521 1
2353.r x$raw_n50<6> x<6>
2354.def 0
23551 1
2356.r x$raw_n50<7> x<7>
2357.def 0
23581 1
2359.latch _n184<0> x<0>
2360.latch _n184<1> x<1>
2361.latch _n184<2> x<2>
2362.latch _n184<3> x<3>
2363.latch _n184<4> x<4>
2364.latch _n184<5> x<5>
2365.latch _n184<6> x<6>
2366.latch _n184<7> x<7>
2367# quasi-continuous assignment
2368.end
2369
2370
2371.model select
2372# I/O ports
2373.inputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7>
2374.inputs lsb<0> lsb<1> lsb<2>
2375.outputs select<0>
2376.names _n186<0>
23770
2378.names _n186<1>
23790
2380.names _n186<2>
23810
2382# lsb  == 'b000
2383.names lsb<0> _n186<0> _n187<0>
2384.def 0
23850 1 1
23861 0 1
2387.names lsb<1> _n186<1> _n187<1>
2388.def 0
23890 1 1
23901 0 1
2391.names lsb<2> _n186<2> _n187<2>
2392.def 0
23930 1 1
23941 0 1
2395.names _n187<0> _n187<1> _n187<2> _n188
2396.def 1
23970 0 0 0
2398.names _n188 _n185
23990 1 
24001 0 
2401.names _n185 _n189
2402- =_n185
2403# select  = z [0]
2404.names z<0> select$_n185_n18a$true<0>
2405- =z<0>
2406.names _n18c<0>
24071
2408.names _n18c<1>
24090
2410.names _n18c<2>
24110
2412# lsb  == 'b001
2413.names lsb<0> _n18c<0> _n18d<0>
2414.def 0
24150 1 1
24161 0 1
2417.names lsb<1> _n18c<1> _n18d<1>
2418.def 0
24190 1 1
24201 0 1
2421.names lsb<2> _n18c<2> _n18d<2>
2422.def 0
24230 1 1
24241 0 1
2425.names _n18d<0> _n18d<1> _n18d<2> _n18e
2426.def 1
24270 0 0 0
2428.names _n18e _n18b
24290 1 
24301 0 
2431.names _n18b _n18f
2432- =_n18b
2433# select  = z [1]
2434.names z<1> select$_n18b_n190$true<0>
2435- =z<1>
2436.names _n192<0>
24370
2438.names _n192<1>
24391
2440.names _n192<2>
24410
2442# lsb  == 'b010
2443.names lsb<0> _n192<0> _n193<0>
2444.def 0
24450 1 1
24461 0 1
2447.names lsb<1> _n192<1> _n193<1>
2448.def 0
24490 1 1
24501 0 1
2451.names lsb<2> _n192<2> _n193<2>
2452.def 0
24530 1 1
24541 0 1
2455.names _n193<0> _n193<1> _n193<2> _n194
2456.def 1
24570 0 0 0
2458.names _n194 _n191
24590 1 
24601 0 
2461.names _n191 _n195
2462- =_n191
2463# select  = z [2]
2464.names z<2> select$_n191_n196$true<0>
2465- =z<2>
2466.names _n198<0>
24671
2468.names _n198<1>
24691
2470.names _n198<2>
24710
2472# lsb  == 'b011
2473.names lsb<0> _n198<0> _n199<0>
2474.def 0
24750 1 1
24761 0 1
2477.names lsb<1> _n198<1> _n199<1>
2478.def 0
24790 1 1
24801 0 1
2481.names lsb<2> _n198<2> _n199<2>
2482.def 0
24830 1 1
24841 0 1
2485.names _n199<0> _n199<1> _n199<2> _n19a
2486.def 1
24870 0 0 0
2488.names _n19a _n197
24890 1 
24901 0 
2491.names _n197 _n19b
2492- =_n197
2493# select  = z [3]
2494.names z<3> select$_n197_n19c$true<0>
2495- =z<3>
2496.names _n19e<0>
24970
2498.names _n19e<1>
24990
2500.names _n19e<2>
25011
2502# lsb  == 'b100
2503.names lsb<0> _n19e<0> _n19f<0>
2504.def 0
25050 1 1
25061 0 1
2507.names lsb<1> _n19e<1> _n19f<1>
2508.def 0
25090 1 1
25101 0 1
2511.names lsb<2> _n19e<2> _n19f<2>
2512.def 0
25130 1 1
25141 0 1
2515.names _n19f<0> _n19f<1> _n19f<2> _n1a0
2516.def 1
25170 0 0 0
2518.names _n1a0 _n19d
25190 1 
25201 0 
2521.names _n19d _n1a1
2522- =_n19d
2523# select  = z [4]
2524.names z<4> select$_n19d_n1a2$true<0>
2525- =z<4>
2526.names _n1a4<0>
25271
2528.names _n1a4<1>
25290
2530.names _n1a4<2>
25311
2532# lsb  == 'b101
2533.names lsb<0> _n1a4<0> _n1a5<0>
2534.def 0
25350 1 1
25361 0 1
2537.names lsb<1> _n1a4<1> _n1a5<1>
2538.def 0
25390 1 1
25401 0 1
2541.names lsb<2> _n1a4<2> _n1a5<2>
2542.def 0
25430 1 1
25441 0 1
2545.names _n1a5<0> _n1a5<1> _n1a5<2> _n1a6
2546.def 1
25470 0 0 0
2548.names _n1a6 _n1a3
25490 1 
25501 0 
2551.names _n1a3 _n1a7
2552- =_n1a3
2553# select  = z [5]
2554.names z<5> select$_n1a3_n1a8$true<0>
2555- =z<5>
2556.names _n1aa<0>
25570
2558.names _n1aa<1>
25591
2560.names _n1aa<2>
25611
2562# lsb  == 'b110
2563.names lsb<0> _n1aa<0> _n1ab<0>
2564.def 0
25650 1 1
25661 0 1
2567.names lsb<1> _n1aa<1> _n1ab<1>
2568.def 0
25690 1 1
25701 0 1
2571.names lsb<2> _n1aa<2> _n1ab<2>
2572.def 0
25730 1 1
25741 0 1
2575.names _n1ab<0> _n1ab<1> _n1ab<2> _n1ac
2576.def 1
25770 0 0 0
2578.names _n1ac _n1a9
25790 1 
25801 0 
2581.names _n1a9 _n1ad
2582- =_n1a9
2583# select  = z [6]
2584.names z<6> select$_n1a9_n1ae$true<0>
2585- =z<6>
2586# select  = z [7]
2587.names z<7> select$_n1a9_n1af$false<0>
2588- =z<7>
2589# if/else (lsb  == 'b110)
2590.names select$_n1a9_n1ae$true<0> select$_n1a9_n1af$false<0> _n1a9 select$_n1a9$raw_n1b1<0>
25910 - 1 0
25921 - 1 1
2593- 0 0 0
2594- 1 0 1
2595# if/else (lsb  == 'b101)
2596.names select$_n1a3_n1a8$true<0> select$_n1a9$raw_n1b1<0> _n1a3 select$_n1a3$raw_n1b6<0>
25970 - 1 0
25981 - 1 1
2599- 0 0 0
2600- 1 0 1
2601# if/else (lsb  == 'b100)
2602.names select$_n19d_n1a2$true<0> select$_n1a3$raw_n1b6<0> _n19d select$_n19d$raw_n1bb<0>
26030 - 1 0
26041 - 1 1
2605- 0 0 0
2606- 1 0 1
2607# if/else (lsb  == 'b011)
2608.names select$_n197_n19c$true<0> select$_n19d$raw_n1bb<0> _n197 select$_n197$raw_n1c0<0>
26090 - 1 0
26101 - 1 1
2611- 0 0 0
2612- 1 0 1
2613# if/else (lsb  == 'b010)
2614.names select$_n191_n196$true<0> select$_n197$raw_n1c0<0> _n191 select$_n191$raw_n1c5<0>
26150 - 1 0
26161 - 1 1
2617- 0 0 0
2618- 1 0 1
2619# if/else (lsb  == 'b001)
2620.names select$_n18b_n190$true<0> select$_n191$raw_n1c5<0> _n18b select$_n18b$raw_n1ca<0>
26210 - 1 0
26221 - 1 1
2623- 0 0 0
2624- 1 0 1
2625# if/else (lsb  == 'b000)
2626.names select$_n185_n18a$true<0> select$_n18b$raw_n1ca<0> _n185 select$_n185$raw_n1cf<0>
26270 - 1 0
26281 - 1 1
2629- 0 0 0
2630- 1 0 1
2631# conflict arbitrators
2632.names select$_n185$raw_n1cf<0>  select<0>
2633- =select$_n185$raw_n1cf<0>
2634.end
2635
2636
Note: See TracBrowser for help on using the repository browser.