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

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

Add vis

File size: 43.6 KB
Line 
1# ../../../vl2mv-2.1/vl2mv gcd2.v
2# version: 1.4
3# date:    13:49:11 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.names _n60<0>
8811
882.names _n60<1>
8831
884.names _n60<2>
8851
886# lsb  < 7
887.names _n63
8880
889.names lsb<0> _n60<0> _n63 _n62<0>
890.def 0
8910 0 1 1
8920 1 0 1
8931 0 0 1
8941 1 1 1
895# carry/borrow
896.names _n65
8970
898.names lsb<0> _n60<0> _n65 _n64
899.def 0
9000 0 1 1
9010 1 0 1
9020 1 1 1
9031 1 1 1
904.names lsb<1> _n60<1> _n64 _n62<1>
905.def 0
9060 0 1 1
9070 1 0 1
9081 0 0 1
9091 1 1 1
910# carry/borrow
911.names lsb<1> _n60<1> _n64 _n66
912.def 0
9130 0 1 1
9140 1 0 1
9150 1 1 1
9161 1 1 1
917.names lsb<2> _n60<2> _n66 _n62<2>
918.def 0
9190 0 1 1
9200 1 0 1
9211 0 0 1
9221 1 1 1
923# carry/borrow
924.names lsb<2> _n60<2> _n66 _n67
925.def 0
9260 0 1 1
9270 1 0 1
9280 1 1 1
9291 1 1 1
930.names _n62<0> _n62<1> _n62<2> _n68
931.def 1
9320 0 0 0
933.names _n67 _n68 _n61
934.def 0
9351 1 1
936.names _n61 _n69
937- =_n61
938# lsb  = lsb  + 1
939.names _n6b<0>
9401
941.names _n6b<1>
9420
943.names _n6b<2>
9440
945# lsb  + 1
946.names _n6d
9470
948.names lsb<0> _n6b<0> _n6d _n6c<0>
949.def 0
9500 0 1 1
9510 1 0 1
9521 0 0 1
9531 1 1 1
954# carry/borrow
955.names _n6f
9560
957.names lsb<0> _n6b<0> _n6f _n6e
958.def 0
9590 1 1 1
9601 0 1 1
9611 1 0 1
9621 1 1 1
963.names lsb<1> _n6b<1> _n6e _n6c<1>
964.def 0
9650 0 1 1
9660 1 0 1
9671 0 0 1
9681 1 1 1
969# carry/borrow
970.names lsb<1> _n6b<1> _n6e _n70
971.def 0
9720 1 1 1
9731 0 1 1
9741 1 0 1
9751 1 1 1
976.names lsb<2> _n6b<2> _n70 _n6c<2>
977.def 0
9780 0 1 1
9790 1 0 1
9801 0 0 1
9811 1 1 1
982.names _n6c<0> lsb$_n61_n6a$true<0>
983- =_n6c<0>
984.names _n6c<1> lsb$_n61_n6a$true<1>
985- =_n6c<1>
986.names _n6c<2> lsb$_n61_n6a$true<2>
987- =_n6c<2>
988# if/else (lsb  < 7)
989.names lsb$_n61_n6a$true<0> lsb<0> _n61 lsb$_n61$raw_n73<0>
9900 - 1 0
9911 - 1 1
992- 0 0 0
993- 1 0 1
994.names lsb$_n61_n6a$true<1> lsb<1> _n61 lsb$_n61$raw_n73<1>
9950 - 1 0
9961 - 1 1
997- 0 0 0
998- 1 0 1
999.names lsb$_n61_n6a$true<2> lsb<2> _n61 lsb$_n61$raw_n73<2>
10000 - 1 0
10011 - 1 1
1002- 0 0 0
1003- 1 0 1
1004.names _n79<0>
10051
1006.names _n79<1>
10070
1008.names xy_lsb<0> _n79<0> _n7a<0>
1009.def 0
10100 1 1
10111 0 1
1012.names xy_lsb<1> _n79<1> _n7a<1>
1013.def 0
10140 1 1
10151 0 1
1016.names _n7a<0> _n7a<1> _n7b
1017.def 1
10180 0 0
1019.names _n7b _n78
10200 1 
10211 0 
1022.names _n78  _n77
10231 1
10240 0
1025# x [8 - 2 : 0] = x [8 - 1 : 1]
1026.names x<1> x$_n77_n7c$true<0>
1027- =x<1>
1028.names x<2> x$_n77_n7c$true<1>
1029- =x<2>
1030.names x<3> x$_n77_n7c$true<2>
1031- =x<3>
1032.names x<4> x$_n77_n7c$true<3>
1033- =x<4>
1034.names x<5> x$_n77_n7c$true<4>
1035- =x<5>
1036.names x<6> x$_n77_n7c$true<5>
1037- =x<6>
1038.names x<7> x$_n77_n7c$true<6>
1039- =x<7>
1040.names x<7> x$_n77_n7c$true<7>
1041- =x<7>
1042# x [8 - 1] = 0
1043.names x$_n77_n7d$true<7>
10440
1045.names x$_n77_n7c$true<0> x$_n77_n7d$true<0>
1046- =x$_n77_n7c$true<0>
1047.names x$_n77_n7c$true<1> x$_n77_n7d$true<1>
1048- =x$_n77_n7c$true<1>
1049.names x$_n77_n7c$true<2> x$_n77_n7d$true<2>
1050- =x$_n77_n7c$true<2>
1051.names x$_n77_n7c$true<3> x$_n77_n7d$true<3>
1052- =x$_n77_n7c$true<3>
1053.names x$_n77_n7c$true<4> x$_n77_n7d$true<4>
1054- =x$_n77_n7c$true<4>
1055.names x$_n77_n7c$true<5> x$_n77_n7d$true<5>
1056- =x$_n77_n7c$true<5>
1057.names x$_n77_n7c$true<6> x$_n77_n7d$true<6>
1058- =x$_n77_n7c$true<6>
1059.names _n80<0>
10600
1061.names _n80<1>
10621
1063.names xy_lsb<0> _n80<0> _n81<0>
1064.def 0
10650 1 1
10661 0 1
1067.names xy_lsb<1> _n80<1> _n81<1>
1068.def 0
10690 1 1
10701 0 1
1071.names _n81<0> _n81<1> _n82
1072.def 1
10730 0 0
1074.names _n82 _n7f
10750 1 
10761 0 
1077.names _n7f  _n7e
10781 1
10790 0
1080# y [8 - 2 : 0] = y [8 - 1 : 1]
1081.names y<1> y$_n7e_n83$true<0>
1082- =y<1>
1083.names y<2> y$_n7e_n83$true<1>
1084- =y<2>
1085.names y<3> y$_n7e_n83$true<2>
1086- =y<3>
1087.names y<4> y$_n7e_n83$true<3>
1088- =y<4>
1089.names y<5> y$_n7e_n83$true<4>
1090- =y<5>
1091.names y<6> y$_n7e_n83$true<5>
1092- =y<6>
1093.names y<7> y$_n7e_n83$true<6>
1094- =y<7>
1095.names y<7> y$_n7e_n83$true<7>
1096- =y<7>
1097# y [8 - 1] = 0
1098.names y$_n7e_n84$true<7>
10990
1100.names y$_n7e_n83$true<0> y$_n7e_n84$true<0>
1101- =y$_n7e_n83$true<0>
1102.names y$_n7e_n83$true<1> y$_n7e_n84$true<1>
1103- =y$_n7e_n83$true<1>
1104.names y$_n7e_n83$true<2> y$_n7e_n84$true<2>
1105- =y$_n7e_n83$true<2>
1106.names y$_n7e_n83$true<3> y$_n7e_n84$true<3>
1107- =y$_n7e_n83$true<3>
1108.names y$_n7e_n83$true<4> y$_n7e_n84$true<4>
1109- =y$_n7e_n83$true<4>
1110.names y$_n7e_n83$true<5> y$_n7e_n84$true<5>
1111- =y$_n7e_n83$true<5>
1112.names y$_n7e_n83$true<6> y$_n7e_n84$true<6>
1113- =y$_n7e_n83$true<6>
1114.names _n87<0>
11151
1116.names _n87<1>
11171
1118.names xy_lsb<0> _n87<0> _n88<0>
1119.def 0
11200 1 1
11211 0 1
1122.names xy_lsb<1> _n87<1> _n88<1>
1123.def 0
11240 1 1
11251 0 1
1126.names _n88<0> _n88<1> _n89
1127.def 1
11280 0 0
1129.names _n89 _n86
11300 1 
11311 0 
1132.names _n86  _n85
11331 1
11340 0
1135# x  < y
1136.names _n8c
11370
1138.names x<0> y<0> _n8c _n8b<0>
1139.def 0
11400 0 1 1
11410 1 0 1
11421 0 0 1
11431 1 1 1
1144# carry/borrow
1145.names _n8e
11460
1147.names x<0> y<0> _n8e _n8d
1148.def 0
11490 0 1 1
11500 1 0 1
11510 1 1 1
11521 1 1 1
1153.names x<1> y<1> _n8d _n8b<1>
1154.def 0
11550 0 1 1
11560 1 0 1
11571 0 0 1
11581 1 1 1
1159# carry/borrow
1160.names x<1> y<1> _n8d _n8f
1161.def 0
11620 0 1 1
11630 1 0 1
11640 1 1 1
11651 1 1 1
1166.names x<2> y<2> _n8f _n8b<2>
1167.def 0
11680 0 1 1
11690 1 0 1
11701 0 0 1
11711 1 1 1
1172# carry/borrow
1173.names x<2> y<2> _n8f _n90
1174.def 0
11750 0 1 1
11760 1 0 1
11770 1 1 1
11781 1 1 1
1179.names x<3> y<3> _n90 _n8b<3>
1180.def 0
11810 0 1 1
11820 1 0 1
11831 0 0 1
11841 1 1 1
1185# carry/borrow
1186.names x<3> y<3> _n90 _n91
1187.def 0
11880 0 1 1
11890 1 0 1
11900 1 1 1
11911 1 1 1
1192.names x<4> y<4> _n91 _n8b<4>
1193.def 0
11940 0 1 1
11950 1 0 1
11961 0 0 1
11971 1 1 1
1198# carry/borrow
1199.names x<4> y<4> _n91 _n92
1200.def 0
12010 0 1 1
12020 1 0 1
12030 1 1 1
12041 1 1 1
1205.names x<5> y<5> _n92 _n8b<5>
1206.def 0
12070 0 1 1
12080 1 0 1
12091 0 0 1
12101 1 1 1
1211# carry/borrow
1212.names x<5> y<5> _n92 _n93
1213.def 0
12140 0 1 1
12150 1 0 1
12160 1 1 1
12171 1 1 1
1218.names x<6> y<6> _n93 _n8b<6>
1219.def 0
12200 0 1 1
12210 1 0 1
12221 0 0 1
12231 1 1 1
1224# carry/borrow
1225.names x<6> y<6> _n93 _n94
1226.def 0
12270 0 1 1
12280 1 0 1
12290 1 1 1
12301 1 1 1
1231.names x<7> y<7> _n94 _n8b<7>
1232.def 0
12330 0 1 1
12340 1 0 1
12351 0 0 1
12361 1 1 1
1237# carry/borrow
1238.names x<7> y<7> _n94 _n95
1239.def 0
12400 0 1 1
12410 1 0 1
12420 1 1 1
12431 1 1 1
1244.names _n8b<0> _n8b<1> _n8b<2> _n8b<3> _n8b<4> _n8b<5> _n8b<6> _n8b<7> _n96
1245.def 1
12460 0 0 0 0 0 0 0 0
1247.names _n95 _n96 _n8a
1248.def 0
12491 1 1
1250.names _n8a _n97
1251- =_n8a
1252# y [8 - 2 : 0] = diff [8 - 1 : 1]
1253.names diff<1> y$_n8a_n98$true<0>
1254- =diff<1>
1255.names diff<2> y$_n8a_n98$true<1>
1256- =diff<2>
1257.names diff<3> y$_n8a_n98$true<2>
1258- =diff<3>
1259.names diff<4> y$_n8a_n98$true<3>
1260- =diff<4>
1261.names diff<5> y$_n8a_n98$true<4>
1262- =diff<5>
1263.names diff<6> y$_n8a_n98$true<5>
1264- =diff<6>
1265.names diff<7> y$_n8a_n98$true<6>
1266- =diff<7>
1267.names y<7> y$_n8a_n98$true<7>
1268- =y<7>
1269# y [8 - 1] = 0
1270.names y$_n8a_n99$true<7>
12710
1272.names y$_n8a_n98$true<0> y$_n8a_n99$true<0>
1273- =y$_n8a_n98$true<0>
1274.names y$_n8a_n98$true<1> y$_n8a_n99$true<1>
1275- =y$_n8a_n98$true<1>
1276.names y$_n8a_n98$true<2> y$_n8a_n99$true<2>
1277- =y$_n8a_n98$true<2>
1278.names y$_n8a_n98$true<3> y$_n8a_n99$true<3>
1279- =y$_n8a_n98$true<3>
1280.names y$_n8a_n98$true<4> y$_n8a_n99$true<4>
1281- =y$_n8a_n98$true<4>
1282.names y$_n8a_n98$true<5> y$_n8a_n99$true<5>
1283- =y$_n8a_n98$true<5>
1284.names y$_n8a_n98$true<6> y$_n8a_n99$true<6>
1285- =y$_n8a_n98$true<6>
1286# x [8 - 2 : 0] = diff [8 - 1 : 1]
1287.names diff<1> x$_n8a_n9a$false<0>
1288- =diff<1>
1289.names diff<2> x$_n8a_n9a$false<1>
1290- =diff<2>
1291.names diff<3> x$_n8a_n9a$false<2>
1292- =diff<3>
1293.names diff<4> x$_n8a_n9a$false<3>
1294- =diff<4>
1295.names diff<5> x$_n8a_n9a$false<4>
1296- =diff<5>
1297.names diff<6> x$_n8a_n9a$false<5>
1298- =diff<6>
1299.names diff<7> x$_n8a_n9a$false<6>
1300- =diff<7>
1301.names x<7> x$_n8a_n9a$false<7>
1302- =x<7>
1303# x [8 - 1] = 0
1304.names x$_n8a_n9b$false<7>
13050
1306.names x$_n8a_n9a$false<0> x$_n8a_n9b$false<0>
1307- =x$_n8a_n9a$false<0>
1308.names x$_n8a_n9a$false<1> x$_n8a_n9b$false<1>
1309- =x$_n8a_n9a$false<1>
1310.names x$_n8a_n9a$false<2> x$_n8a_n9b$false<2>
1311- =x$_n8a_n9a$false<2>
1312.names x$_n8a_n9a$false<3> x$_n8a_n9b$false<3>
1313- =x$_n8a_n9a$false<3>
1314.names x$_n8a_n9a$false<4> x$_n8a_n9b$false<4>
1315- =x$_n8a_n9a$false<4>
1316.names x$_n8a_n9a$false<5> x$_n8a_n9b$false<5>
1317- =x$_n8a_n9a$false<5>
1318.names x$_n8a_n9a$false<6> x$_n8a_n9b$false<6>
1319- =x$_n8a_n9a$false<6>
1320# if/else (x  < y )
1321.names y$_n8a_n99$true<0> y<0> _n8a y$_n8a$raw_n9e<0>
13220 - 1 0
13231 - 1 1
1324- 0 0 0
1325- 1 0 1
1326.names y$_n8a_n99$true<1> y<1> _n8a y$_n8a$raw_n9e<1>
13270 - 1 0
13281 - 1 1
1329- 0 0 0
1330- 1 0 1
1331.names y$_n8a_n99$true<2> y<2> _n8a y$_n8a$raw_n9e<2>
13320 - 1 0
13331 - 1 1
1334- 0 0 0
1335- 1 0 1
1336.names y$_n8a_n99$true<3> y<3> _n8a y$_n8a$raw_n9e<3>
13370 - 1 0
13381 - 1 1
1339- 0 0 0
1340- 1 0 1
1341.names y$_n8a_n99$true<4> y<4> _n8a y$_n8a$raw_n9e<4>
13420 - 1 0
13431 - 1 1
1344- 0 0 0
1345- 1 0 1
1346.names y$_n8a_n99$true<5> y<5> _n8a y$_n8a$raw_n9e<5>
13470 - 1 0
13481 - 1 1
1349- 0 0 0
1350- 1 0 1
1351.names y$_n8a_n99$true<6> y<6> _n8a y$_n8a$raw_n9e<6>
13520 - 1 0
13531 - 1 1
1354- 0 0 0
1355- 1 0 1
1356.names y$_n8a_n99$true<7> y<7> _n8a y$_n8a$raw_n9e<7>
13570 - 1 0
13581 - 1 1
1359- 0 0 0
1360- 1 0 1
1361.names x<0> x$_n8a_n9b$false<0> _n8a x$_n8a$raw_na7<0>
13620 - 1 0
13631 - 1 1
1364- 0 0 0
1365- 1 0 1
1366.names x<1> x$_n8a_n9b$false<1> _n8a x$_n8a$raw_na7<1>
13670 - 1 0
13681 - 1 1
1369- 0 0 0
1370- 1 0 1
1371.names x<2> x$_n8a_n9b$false<2> _n8a x$_n8a$raw_na7<2>
13720 - 1 0
13731 - 1 1
1374- 0 0 0
1375- 1 0 1
1376.names x<3> x$_n8a_n9b$false<3> _n8a x$_n8a$raw_na7<3>
13770 - 1 0
13781 - 1 1
1379- 0 0 0
1380- 1 0 1
1381.names x<4> x$_n8a_n9b$false<4> _n8a x$_n8a$raw_na7<4>
13820 - 1 0
13831 - 1 1
1384- 0 0 0
1385- 1 0 1
1386.names x<5> x$_n8a_n9b$false<5> _n8a x$_n8a$raw_na7<5>
13870 - 1 0
13881 - 1 1
1389- 0 0 0
1390- 1 0 1
1391.names x<6> x$_n8a_n9b$false<6> _n8a x$_n8a$raw_na7<6>
13920 - 1 0
13931 - 1 1
1394- 0 0 0
1395- 1 0 1
1396.names x<7> x$_n8a_n9b$false<7> _n8a x$_n8a$raw_na7<7>
13970 - 1 0
13981 - 1 1
1399- 0 0 0
1400- 1 0 1
1401# case (xy_lsb )
1402.names y$_n8a$raw_n9e<0> y<0> _n85 y$_n85$raw_nb4<0>
14030 - 1 0
14041 - 1 1
1405- 0 0 0
1406- 1 0 1
1407.names y$_n8a$raw_n9e<1> y<1> _n85 y$_n85$raw_nb4<1>
14080 - 1 0
14091 - 1 1
1410- 0 0 0
1411- 1 0 1
1412.names y$_n8a$raw_n9e<2> y<2> _n85 y$_n85$raw_nb4<2>
14130 - 1 0
14141 - 1 1
1415- 0 0 0
1416- 1 0 1
1417.names y$_n8a$raw_n9e<3> y<3> _n85 y$_n85$raw_nb4<3>
14180 - 1 0
14191 - 1 1
1420- 0 0 0
1421- 1 0 1
1422.names y$_n8a$raw_n9e<4> y<4> _n85 y$_n85$raw_nb4<4>
14230 - 1 0
14241 - 1 1
1425- 0 0 0
1426- 1 0 1
1427.names y$_n8a$raw_n9e<5> y<5> _n85 y$_n85$raw_nb4<5>
14280 - 1 0
14291 - 1 1
1430- 0 0 0
1431- 1 0 1
1432.names y$_n8a$raw_n9e<6> y<6> _n85 y$_n85$raw_nb4<6>
14330 - 1 0
14341 - 1 1
1435- 0 0 0
1436- 1 0 1
1437.names y$_n8a$raw_n9e<7> y<7> _n85 y$_n85$raw_nb4<7>
14380 - 1 0
14391 - 1 1
1440- 0 0 0
1441- 1 0 1
1442.names x$_n8a$raw_na7<0> x<0> _n85 x$_n85$raw_nbd<0>
14430 - 1 0
14441 - 1 1
1445- 0 0 0
1446- 1 0 1
1447.names x$_n8a$raw_na7<1> x<1> _n85 x$_n85$raw_nbd<1>
14480 - 1 0
14491 - 1 1
1450- 0 0 0
1451- 1 0 1
1452.names x$_n8a$raw_na7<2> x<2> _n85 x$_n85$raw_nbd<2>
14530 - 1 0
14541 - 1 1
1455- 0 0 0
1456- 1 0 1
1457.names x$_n8a$raw_na7<3> x<3> _n85 x$_n85$raw_nbd<3>
14580 - 1 0
14591 - 1 1
1460- 0 0 0
1461- 1 0 1
1462.names x$_n8a$raw_na7<4> x<4> _n85 x$_n85$raw_nbd<4>
14630 - 1 0
14641 - 1 1
1465- 0 0 0
1466- 1 0 1
1467.names x$_n8a$raw_na7<5> x<5> _n85 x$_n85$raw_nbd<5>
14680 - 1 0
14691 - 1 1
1470- 0 0 0
1471- 1 0 1
1472.names x$_n8a$raw_na7<6> x<6> _n85 x$_n85$raw_nbd<6>
14730 - 1 0
14741 - 1 1
1475- 0 0 0
1476- 1 0 1
1477.names x$_n8a$raw_na7<7> x<7> _n85 x$_n85$raw_nbd<7>
14780 - 1 0
14791 - 1 1
1480- 0 0 0
1481- 1 0 1
1482.names y$_n7e_n84$true<0> y$_n85$raw_nb4<0> _n7e y$_n7e$raw_nc6<0>
14830 - 1 0
14841 - 1 1
1485- 0 0 0
1486- 1 0 1
1487.names y$_n7e_n84$true<1> y$_n85$raw_nb4<1> _n7e y$_n7e$raw_nc6<1>
14880 - 1 0
14891 - 1 1
1490- 0 0 0
1491- 1 0 1
1492.names y$_n7e_n84$true<2> y$_n85$raw_nb4<2> _n7e y$_n7e$raw_nc6<2>
14930 - 1 0
14941 - 1 1
1495- 0 0 0
1496- 1 0 1
1497.names y$_n7e_n84$true<3> y$_n85$raw_nb4<3> _n7e y$_n7e$raw_nc6<3>
14980 - 1 0
14991 - 1 1
1500- 0 0 0
1501- 1 0 1
1502.names y$_n7e_n84$true<4> y$_n85$raw_nb4<4> _n7e y$_n7e$raw_nc6<4>
15030 - 1 0
15041 - 1 1
1505- 0 0 0
1506- 1 0 1
1507.names y$_n7e_n84$true<5> y$_n85$raw_nb4<5> _n7e y$_n7e$raw_nc6<5>
15080 - 1 0
15091 - 1 1
1510- 0 0 0
1511- 1 0 1
1512.names y$_n7e_n84$true<6> y$_n85$raw_nb4<6> _n7e y$_n7e$raw_nc6<6>
15130 - 1 0
15141 - 1 1
1515- 0 0 0
1516- 1 0 1
1517.names y$_n7e_n84$true<7> y$_n85$raw_nb4<7> _n7e y$_n7e$raw_nc6<7>
15180 - 1 0
15191 - 1 1
1520- 0 0 0
1521- 1 0 1
1522.names x<0> x$_n85$raw_nbd<0> _n7e x$_n7e$raw_nd2<0>
15230 - 1 0
15241 - 1 1
1525- 0 0 0
1526- 1 0 1
1527.names x<1> x$_n85$raw_nbd<1> _n7e x$_n7e$raw_nd2<1>
15280 - 1 0
15291 - 1 1
1530- 0 0 0
1531- 1 0 1
1532.names x<2> x$_n85$raw_nbd<2> _n7e x$_n7e$raw_nd2<2>
15330 - 1 0
15341 - 1 1
1535- 0 0 0
1536- 1 0 1
1537.names x<3> x$_n85$raw_nbd<3> _n7e x$_n7e$raw_nd2<3>
15380 - 1 0
15391 - 1 1
1540- 0 0 0
1541- 1 0 1
1542.names x<4> x$_n85$raw_nbd<4> _n7e x$_n7e$raw_nd2<4>
15430 - 1 0
15441 - 1 1
1545- 0 0 0
1546- 1 0 1
1547.names x<5> x$_n85$raw_nbd<5> _n7e x$_n7e$raw_nd2<5>
15480 - 1 0
15491 - 1 1
1550- 0 0 0
1551- 1 0 1
1552.names x<6> x$_n85$raw_nbd<6> _n7e x$_n7e$raw_nd2<6>
15530 - 1 0
15541 - 1 1
1555- 0 0 0
1556- 1 0 1
1557.names x<7> x$_n85$raw_nbd<7> _n7e x$_n7e$raw_nd2<7>
15580 - 1 0
15591 - 1 1
1560- 0 0 0
1561- 1 0 1
1562.names x$_n77_n7d$true<0> x$_n7e$raw_nd2<0> _n77 x$_n77$raw_ndb<0>
15630 - 1 0
15641 - 1 1
1565- 0 0 0
1566- 1 0 1
1567.names x$_n77_n7d$true<1> x$_n7e$raw_nd2<1> _n77 x$_n77$raw_ndb<1>
15680 - 1 0
15691 - 1 1
1570- 0 0 0
1571- 1 0 1
1572.names x$_n77_n7d$true<2> x$_n7e$raw_nd2<2> _n77 x$_n77$raw_ndb<2>
15730 - 1 0
15741 - 1 1
1575- 0 0 0
1576- 1 0 1
1577.names x$_n77_n7d$true<3> x$_n7e$raw_nd2<3> _n77 x$_n77$raw_ndb<3>
15780 - 1 0
15791 - 1 1
1580- 0 0 0
1581- 1 0 1
1582.names x$_n77_n7d$true<4> x$_n7e$raw_nd2<4> _n77 x$_n77$raw_ndb<4>
15830 - 1 0
15841 - 1 1
1585- 0 0 0
1586- 1 0 1
1587.names x$_n77_n7d$true<5> x$_n7e$raw_nd2<5> _n77 x$_n77$raw_ndb<5>
15880 - 1 0
15891 - 1 1
1590- 0 0 0
1591- 1 0 1
1592.names x$_n77_n7d$true<6> x$_n7e$raw_nd2<6> _n77 x$_n77$raw_ndb<6>
15930 - 1 0
15941 - 1 1
1595- 0 0 0
1596- 1 0 1
1597.names x$_n77_n7d$true<7> x$_n7e$raw_nd2<7> _n77 x$_n77$raw_ndb<7>
15980 - 1 0
15991 - 1 1
1600- 0 0 0
1601- 1 0 1
1602.names y<0> y$_n7e$raw_nc6<0> _n77 y$_n77$raw_ne6<0>
16030 - 1 0
16041 - 1 1
1605- 0 0 0
1606- 1 0 1
1607.names y<1> y$_n7e$raw_nc6<1> _n77 y$_n77$raw_ne6<1>
16080 - 1 0
16091 - 1 1
1610- 0 0 0
1611- 1 0 1
1612.names y<2> y$_n7e$raw_nc6<2> _n77 y$_n77$raw_ne6<2>
16130 - 1 0
16141 - 1 1
1615- 0 0 0
1616- 1 0 1
1617.names y<3> y$_n7e$raw_nc6<3> _n77 y$_n77$raw_ne6<3>
16180 - 1 0
16191 - 1 1
1620- 0 0 0
1621- 1 0 1
1622.names y<4> y$_n7e$raw_nc6<4> _n77 y$_n77$raw_ne6<4>
16230 - 1 0
16241 - 1 1
1625- 0 0 0
1626- 1 0 1
1627.names y<5> y$_n7e$raw_nc6<5> _n77 y$_n77$raw_ne6<5>
16280 - 1 0
16291 - 1 1
1630- 0 0 0
1631- 1 0 1
1632.names y<6> y$_n7e$raw_nc6<6> _n77 y$_n77$raw_ne6<6>
16330 - 1 0
16341 - 1 1
1635- 0 0 0
1636- 1 0 1
1637.names y<7> y$_n7e$raw_nc6<7> _n77 y$_n77$raw_ne6<7>
16380 - 1 0
16391 - 1 1
1640- 0 0 0
1641- 1 0 1
1642.names lsb$_n61$raw_n73<0> lsb<0> _n5b lsb$_n5b$raw_nf2<0>
16430 - 1 0
16441 - 1 1
1645- 0 0 0
1646- 1 0 1
1647.names lsb$_n61$raw_n73<1> lsb<1> _n5b lsb$_n5b$raw_nf2<1>
16480 - 1 0
16491 - 1 1
1650- 0 0 0
1651- 1 0 1
1652.names lsb$_n61$raw_n73<2> lsb<2> _n5b lsb$_n5b$raw_nf2<2>
16530 - 1 0
16541 - 1 1
1655- 0 0 0
1656- 1 0 1
1657.names y<0> y$_n77$raw_ne6<0> _n5b y$_n5b$raw_nf6<0>
16580 - 1 0
16591 - 1 1
1660- 0 0 0
1661- 1 0 1
1662.names y<1> y$_n77$raw_ne6<1> _n5b y$_n5b$raw_nf6<1>
16630 - 1 0
16641 - 1 1
1665- 0 0 0
1666- 1 0 1
1667.names y<2> y$_n77$raw_ne6<2> _n5b y$_n5b$raw_nf6<2>
16680 - 1 0
16691 - 1 1
1670- 0 0 0
1671- 1 0 1
1672.names y<3> y$_n77$raw_ne6<3> _n5b y$_n5b$raw_nf6<3>
16730 - 1 0
16741 - 1 1
1675- 0 0 0
1676- 1 0 1
1677.names y<4> y$_n77$raw_ne6<4> _n5b y$_n5b$raw_nf6<4>
16780 - 1 0
16791 - 1 1
1680- 0 0 0
1681- 1 0 1
1682.names y<5> y$_n77$raw_ne6<5> _n5b y$_n5b$raw_nf6<5>
16830 - 1 0
16841 - 1 1
1685- 0 0 0
1686- 1 0 1
1687.names y<6> y$_n77$raw_ne6<6> _n5b y$_n5b$raw_nf6<6>
16880 - 1 0
16891 - 1 1
1690- 0 0 0
1691- 1 0 1
1692.names y<7> y$_n77$raw_ne6<7> _n5b y$_n5b$raw_nf6<7>
16930 - 1 0
16941 - 1 1
1695- 0 0 0
1696- 1 0 1
1697.names x<0> x$_n77$raw_ndb<0> _n5b x$_n5b$raw_nff<0>
16980 - 1 0
16991 - 1 1
1700- 0 0 0
1701- 1 0 1
1702.names x<1> x$_n77$raw_ndb<1> _n5b x$_n5b$raw_nff<1>
17030 - 1 0
17041 - 1 1
1705- 0 0 0
1706- 1 0 1
1707.names x<2> x$_n77$raw_ndb<2> _n5b x$_n5b$raw_nff<2>
17080 - 1 0
17091 - 1 1
1710- 0 0 0
1711- 1 0 1
1712.names x<3> x$_n77$raw_ndb<3> _n5b x$_n5b$raw_nff<3>
17130 - 1 0
17141 - 1 1
1715- 0 0 0
1716- 1 0 1
1717.names x<4> x$_n77$raw_ndb<4> _n5b x$_n5b$raw_nff<4>
17180 - 1 0
17191 - 1 1
1720- 0 0 0
1721- 1 0 1
1722.names x<5> x$_n77$raw_ndb<5> _n5b x$_n5b$raw_nff<5>
17230 - 1 0
17241 - 1 1
1725- 0 0 0
1726- 1 0 1
1727.names x<6> x$_n77$raw_ndb<6> _n5b x$_n5b$raw_nff<6>
17280 - 1 0
17291 - 1 1
1730- 0 0 0
1731- 1 0 1
1732.names x<7> x$_n77$raw_ndb<7> _n5b x$_n5b$raw_nff<7>
17330 - 1 0
17341 - 1 1
1735- 0 0 0
1736- 1 0 1
1737.names done _n108
1738- =done
1739# o  = (x  < y ) ? x  : y
1740# x  < y
1741.names _n10c
17420
1743.names x<0> y<0> _n10c _n10b<0>
1744.def 0
17450 0 1 1
17460 1 0 1
17471 0 0 1
17481 1 1 1
1749# carry/borrow
1750.names _n10e
17510
1752.names x<0> y<0> _n10e _n10d
1753.def 0
17540 0 1 1
17550 1 0 1
17560 1 1 1
17571 1 1 1
1758.names x<1> y<1> _n10d _n10b<1>
1759.def 0
17600 0 1 1
17610 1 0 1
17621 0 0 1
17631 1 1 1
1764# carry/borrow
1765.names x<1> y<1> _n10d _n10f
1766.def 0
17670 0 1 1
17680 1 0 1
17690 1 1 1
17701 1 1 1
1771.names x<2> y<2> _n10f _n10b<2>
1772.def 0
17730 0 1 1
17740 1 0 1
17751 0 0 1
17761 1 1 1
1777# carry/borrow
1778.names x<2> y<2> _n10f _n110
1779.def 0
17800 0 1 1
17810 1 0 1
17820 1 1 1
17831 1 1 1
1784.names x<3> y<3> _n110 _n10b<3>
1785.def 0
17860 0 1 1
17870 1 0 1
17881 0 0 1
17891 1 1 1
1790# carry/borrow
1791.names x<3> y<3> _n110 _n111
1792.def 0
17930 0 1 1
17940 1 0 1
17950 1 1 1
17961 1 1 1
1797.names x<4> y<4> _n111 _n10b<4>
1798.def 0
17990 0 1 1
18000 1 0 1
18011 0 0 1
18021 1 1 1
1803# carry/borrow
1804.names x<4> y<4> _n111 _n112
1805.def 0
18060 0 1 1
18070 1 0 1
18080 1 1 1
18091 1 1 1
1810.names x<5> y<5> _n112 _n10b<5>
1811.def 0
18120 0 1 1
18130 1 0 1
18141 0 0 1
18151 1 1 1
1816# carry/borrow
1817.names x<5> y<5> _n112 _n113
1818.def 0
18190 0 1 1
18200 1 0 1
18210 1 1 1
18221 1 1 1
1823.names x<6> y<6> _n113 _n10b<6>
1824.def 0
18250 0 1 1
18260 1 0 1
18271 0 0 1
18281 1 1 1
1829# carry/borrow
1830.names x<6> y<6> _n113 _n114
1831.def 0
18320 0 1 1
18330 1 0 1
18340 1 1 1
18351 1 1 1
1836.names x<7> y<7> _n114 _n10b<7>
1837.def 0
18380 0 1 1
18390 1 0 1
18401 0 0 1
18411 1 1 1
1842# carry/borrow
1843.names x<7> y<7> _n114 _n115
1844.def 0
18450 0 1 1
18460 1 0 1
18470 1 1 1
18481 1 1 1
1849.names _n10b<0> _n10b<1> _n10b<2> _n10b<3> _n10b<4> _n10b<5> _n10b<6> _n10b<7> _n116
1850.def 1
18510 0 0 0 0 0 0 0 0
1852.names _n115 _n116 _n10a
1853.def 0
18541 1 1
1855# (x  < y ) ? x  : y
1856.names x<0> y<0> _n10a _n117<0>
18570 - 1 0
18581 - 1 1
1859- 0 0 0
1860- 1 0 1
1861.names x<1> y<1> _n10a _n117<1>
18620 - 1 0
18631 - 1 1
1864- 0 0 0
1865- 1 0 1
1866.names x<2> y<2> _n10a _n117<2>
18670 - 1 0
18681 - 1 1
1869- 0 0 0
1870- 1 0 1
1871.names x<3> y<3> _n10a _n117<3>
18720 - 1 0
18731 - 1 1
1874- 0 0 0
1875- 1 0 1
1876.names x<4> y<4> _n10a _n117<4>
18770 - 1 0
18781 - 1 1
1879- 0 0 0
1880- 1 0 1
1881.names x<5> y<5> _n10a _n117<5>
18820 - 1 0
18831 - 1 1
1884- 0 0 0
1885- 1 0 1
1886.names x<6> y<6> _n10a _n117<6>
18870 - 1 0
18881 - 1 1
1889- 0 0 0
1890- 1 0 1
1891.names x<7> y<7> _n10a _n117<7>
18920 - 1 0
18931 - 1 1
1894- 0 0 0
1895- 1 0 1
1896.names _n117<0> o$done_n109$true<0>
1897- =_n117<0>
1898.names _n117<1> o$done_n109$true<1>
1899- =_n117<1>
1900.names _n117<2> o$done_n109$true<2>
1901- =_n117<2>
1902.names _n117<3> o$done_n109$true<3>
1903- =_n117<3>
1904.names _n117<4> o$done_n109$true<4>
1905- =_n117<4>
1906.names _n117<5> o$done_n109$true<5>
1907- =_n117<5>
1908.names _n117<6> o$done_n109$true<6>
1909- =_n117<6>
1910.names _n117<7> o$done_n109$true<7>
1911- =_n117<7>
1912# if/else (done )
1913.names o$done_n109$true<0> o<0> done o$done$raw_n122<0>
19140 - 1 0
19151 - 1 1
1916- 0 0 0
1917- 1 0 1
1918.names o$done_n109$true<1> o<1> done o$done$raw_n122<1>
19190 - 1 0
19201 - 1 1
1921- 0 0 0
1922- 1 0 1
1923.names o$done_n109$true<2> o<2> done o$done$raw_n122<2>
19240 - 1 0
19251 - 1 1
1926- 0 0 0
1927- 1 0 1
1928.names o$done_n109$true<3> o<3> done o$done$raw_n122<3>
19290 - 1 0
19301 - 1 1
1931- 0 0 0
1932- 1 0 1
1933.names o$done_n109$true<4> o<4> done o$done$raw_n122<4>
19340 - 1 0
19351 - 1 1
1936- 0 0 0
1937- 1 0 1
1938.names o$done_n109$true<5> o<5> done o$done$raw_n122<5>
19390 - 1 0
19401 - 1 1
1941- 0 0 0
1942- 1 0 1
1943.names o$done_n109$true<6> o<6> done o$done$raw_n122<6>
19440 - 1 0
19451 - 1 1
1946- 0 0 0
1947- 1 0 1
1948.names o$done_n109$true<7> o<7> done o$done$raw_n122<7>
19490 - 1 0
19501 - 1 1
1951- 0 0 0
1952- 1 0 1
1953# if/else (busy  & ~done )
1954.names y$_n5b$raw_nf6<0> y<0> _n59 y$_n59$raw_n131<0>
19550 - 1 0
19561 - 1 1
1957- 0 0 0
1958- 1 0 1
1959.names y$_n5b$raw_nf6<1> y<1> _n59 y$_n59$raw_n131<1>
19600 - 1 0
19611 - 1 1
1962- 0 0 0
1963- 1 0 1
1964.names y$_n5b$raw_nf6<2> y<2> _n59 y$_n59$raw_n131<2>
19650 - 1 0
19661 - 1 1
1967- 0 0 0
1968- 1 0 1
1969.names y$_n5b$raw_nf6<3> y<3> _n59 y$_n59$raw_n131<3>
19700 - 1 0
19711 - 1 1
1972- 0 0 0
1973- 1 0 1
1974.names y$_n5b$raw_nf6<4> y<4> _n59 y$_n59$raw_n131<4>
19750 - 1 0
19761 - 1 1
1977- 0 0 0
1978- 1 0 1
1979.names y$_n5b$raw_nf6<5> y<5> _n59 y$_n59$raw_n131<5>
19800 - 1 0
19811 - 1 1
1982- 0 0 0
1983- 1 0 1
1984.names y$_n5b$raw_nf6<6> y<6> _n59 y$_n59$raw_n131<6>
19850 - 1 0
19861 - 1 1
1987- 0 0 0
1988- 1 0 1
1989.names y$_n5b$raw_nf6<7> y<7> _n59 y$_n59$raw_n131<7>
19900 - 1 0
19911 - 1 1
1992- 0 0 0
1993- 1 0 1
1994.names lsb$_n5b$raw_nf2<0> lsb<0> _n59 lsb$_n59$raw_n13a<0>
19950 - 1 0
19961 - 1 1
1997- 0 0 0
1998- 1 0 1
1999.names lsb$_n5b$raw_nf2<1> lsb<1> _n59 lsb$_n59$raw_n13a<1>
20000 - 1 0
20011 - 1 1
2002- 0 0 0
2003- 1 0 1
2004.names lsb$_n5b$raw_nf2<2> lsb<2> _n59 lsb$_n59$raw_n13a<2>
20050 - 1 0
20061 - 1 1
2007- 0 0 0
2008- 1 0 1
2009.names x$_n5b$raw_nff<0> x<0> _n59 x$_n59$raw_n13e<0>
20100 - 1 0
20111 - 1 1
2012- 0 0 0
2013- 1 0 1
2014.names x$_n5b$raw_nff<1> x<1> _n59 x$_n59$raw_n13e<1>
20150 - 1 0
20161 - 1 1
2017- 0 0 0
2018- 1 0 1
2019.names x$_n5b$raw_nff<2> x<2> _n59 x$_n59$raw_n13e<2>
20200 - 1 0
20211 - 1 1
2022- 0 0 0
2023- 1 0 1
2024.names x$_n5b$raw_nff<3> x<3> _n59 x$_n59$raw_n13e<3>
20250 - 1 0
20261 - 1 1
2027- 0 0 0
2028- 1 0 1
2029.names x$_n5b$raw_nff<4> x<4> _n59 x$_n59$raw_n13e<4>
20300 - 1 0
20311 - 1 1
2032- 0 0 0
2033- 1 0 1
2034.names x$_n5b$raw_nff<5> x<5> _n59 x$_n59$raw_n13e<5>
20350 - 1 0
20361 - 1 1
2037- 0 0 0
2038- 1 0 1
2039.names x$_n5b$raw_nff<6> x<6> _n59 x$_n59$raw_n13e<6>
20400 - 1 0
20411 - 1 1
2042- 0 0 0
2043- 1 0 1
2044.names x$_n5b$raw_nff<7> x<7> _n59 x$_n59$raw_n13e<7>
20450 - 1 0
20461 - 1 1
2047- 0 0 0
2048- 1 0 1
2049.names o<0> o$done$raw_n122<0> _n59 o$_n59$raw_n147<0>
20500 - 1 0
20511 - 1 1
2052- 0 0 0
2053- 1 0 1
2054.names o<1> o$done$raw_n122<1> _n59 o$_n59$raw_n147<1>
20550 - 1 0
20561 - 1 1
2057- 0 0 0
2058- 1 0 1
2059.names o<2> o$done$raw_n122<2> _n59 o$_n59$raw_n147<2>
20600 - 1 0
20611 - 1 1
2062- 0 0 0
2063- 1 0 1
2064.names o<3> o$done$raw_n122<3> _n59 o$_n59$raw_n147<3>
20650 - 1 0
20661 - 1 1
2067- 0 0 0
2068- 1 0 1
2069.names o<4> o$done$raw_n122<4> _n59 o$_n59$raw_n147<4>
20700 - 1 0
20711 - 1 1
2072- 0 0 0
2073- 1 0 1
2074.names o<5> o$done$raw_n122<5> _n59 o$_n59$raw_n147<5>
20750 - 1 0
20761 - 1 1
2077- 0 0 0
2078- 1 0 1
2079.names o<6> o$done$raw_n122<6> _n59 o$_n59$raw_n147<6>
20800 - 1 0
20811 - 1 1
2082- 0 0 0
2083- 1 0 1
2084.names o<7> o$done$raw_n122<7> _n59 o$_n59$raw_n147<7>
20850 - 1 0
20861 - 1 1
2087- 0 0 0
2088- 1 0 1
2089# if/else (load )
2090.names y$load_n56$true<0> y$_n59$raw_n131<0> load y$load$raw_n153<0>
20910 - 1 0
20921 - 1 1
2093- 0 0 0
2094- 1 0 1
2095.names y$load_n56$true<1> y$_n59$raw_n131<1> load y$load$raw_n153<1>
20960 - 1 0
20971 - 1 1
2098- 0 0 0
2099- 1 0 1
2100.names y$load_n56$true<2> y$_n59$raw_n131<2> load y$load$raw_n153<2>
21010 - 1 0
21021 - 1 1
2103- 0 0 0
2104- 1 0 1
2105.names y$load_n56$true<3> y$_n59$raw_n131<3> load y$load$raw_n153<3>
21060 - 1 0
21071 - 1 1
2108- 0 0 0
2109- 1 0 1
2110.names y$load_n56$true<4> y$_n59$raw_n131<4> load y$load$raw_n153<4>
21110 - 1 0
21121 - 1 1
2113- 0 0 0
2114- 1 0 1
2115.names y$load_n56$true<5> y$_n59$raw_n131<5> load y$load$raw_n153<5>
21160 - 1 0
21171 - 1 1
2118- 0 0 0
2119- 1 0 1
2120.names y$load_n56$true<6> y$_n59$raw_n131<6> load y$load$raw_n153<6>
21210 - 1 0
21221 - 1 1
2123- 0 0 0
2124- 1 0 1
2125.names y$load_n56$true<7> y$_n59$raw_n131<7> load y$load$raw_n153<7>
21260 - 1 0
21271 - 1 1
2128- 0 0 0
2129- 1 0 1
2130.names lsb$load_n57$true<0> lsb$_n59$raw_n13a<0> load lsb$load$raw_n15c<0>
21310 - 1 0
21321 - 1 1
2133- 0 0 0
2134- 1 0 1
2135.names lsb$load_n57$true<1> lsb$_n59$raw_n13a<1> load lsb$load$raw_n15c<1>
21360 - 1 0
21371 - 1 1
2138- 0 0 0
2139- 1 0 1
2140.names lsb$load_n57$true<2> lsb$_n59$raw_n13a<2> load lsb$load$raw_n15c<2>
21410 - 1 0
21421 - 1 1
2143- 0 0 0
2144- 1 0 1
2145.names x$load_n55$true<0> x$_n59$raw_n13e<0> load x$load$raw_n160<0>
21460 - 1 0
21471 - 1 1
2148- 0 0 0
2149- 1 0 1
2150.names x$load_n55$true<1> x$_n59$raw_n13e<1> load x$load$raw_n160<1>
21510 - 1 0
21521 - 1 1
2153- 0 0 0
2154- 1 0 1
2155.names x$load_n55$true<2> x$_n59$raw_n13e<2> load x$load$raw_n160<2>
21560 - 1 0
21571 - 1 1
2158- 0 0 0
2159- 1 0 1
2160.names x$load_n55$true<3> x$_n59$raw_n13e<3> load x$load$raw_n160<3>
21610 - 1 0
21621 - 1 1
2163- 0 0 0
2164- 1 0 1
2165.names x$load_n55$true<4> x$_n59$raw_n13e<4> load x$load$raw_n160<4>
21660 - 1 0
21671 - 1 1
2168- 0 0 0
2169- 1 0 1
2170.names x$load_n55$true<5> x$_n59$raw_n13e<5> load x$load$raw_n160<5>
21710 - 1 0
21721 - 1 1
2173- 0 0 0
2174- 1 0 1
2175.names x$load_n55$true<6> x$_n59$raw_n13e<6> load x$load$raw_n160<6>
21760 - 1 0
21771 - 1 1
2178- 0 0 0
2179- 1 0 1
2180.names x$load_n55$true<7> x$_n59$raw_n13e<7> load x$load$raw_n160<7>
21810 - 1 0
21821 - 1 1
2183- 0 0 0
2184- 1 0 1
2185.names o<0> o$_n59$raw_n147<0> load o$load$raw_n16d<0>
21860 - 1 0
21871 - 1 1
2188- 0 0 0
2189- 1 0 1
2190.names o<1> o$_n59$raw_n147<1> load o$load$raw_n16d<1>
21910 - 1 0
21921 - 1 1
2193- 0 0 0
2194- 1 0 1
2195.names o<2> o$_n59$raw_n147<2> load o$load$raw_n16d<2>
21960 - 1 0
21971 - 1 1
2198- 0 0 0
2199- 1 0 1
2200.names o<3> o$_n59$raw_n147<3> load o$load$raw_n16d<3>
22010 - 1 0
22021 - 1 1
2203- 0 0 0
2204- 1 0 1
2205.names o<4> o$_n59$raw_n147<4> load o$load$raw_n16d<4>
22060 - 1 0
22071 - 1 1
2208- 0 0 0
2209- 1 0 1
2210.names o<5> o$_n59$raw_n147<5> load o$load$raw_n16d<5>
22110 - 1 0
22121 - 1 1
2213- 0 0 0
2214- 1 0 1
2215.names o<6> o$_n59$raw_n147<6> load o$load$raw_n16d<6>
22160 - 1 0
22171 - 1 1
2218- 0 0 0
2219- 1 0 1
2220.names o<7> o$_n59$raw_n147<7> load o$load$raw_n16d<7>
22210 - 1 0
22221 - 1 1
2223- 0 0 0
2224- 1 0 1
2225.names busy _n178
22260 1 
22271 0 
2228.names _n178 _n179
2229- =_n178
2230.names start _n17a
2231- =start
2232# busy  = 1
2233.names busy$start_n17b$true
22341
2235# if/else (start )
2236.names busy$start_n17b$true busy start busy$start$raw_n17e
22370 - 1 0
22381 - 1 1
2239- 0 0 0
2240- 1 0 1
2241.names done _n180
2242- =done
2243# busy  = 0
2244.names busy$done_n181$true
22450
2246# if/else (done )
2247.names busy$done_n181$true busy done busy$done$raw_n184
22480 - 1 0
22491 - 1 1
2250- 0 0 0
2251- 1 0 1
2252# if/else (~busy )
2253.names busy$start$raw_n17e busy$done$raw_n184 _n178 busy$_n178$raw_n187
22540 - 1 0
22551 - 1 1
2256- 0 0 0
2257- 1 0 1
2258# conflict arbitrators
2259.names _n54 _n5a _n5b _n77 _n7e _n85 _n97 _n18b
2260.def 0
2261 1 - - - - - - 1
2262 0 1 0 0 1 - - 1
2263 0 1 0 0 1 - - 1
2264 0 1 0 0 0 1 1 1
2265 0 1 0 0 0 1 1 1
2266.names _n18b y$load$raw_n153<0> y$load$raw_n153<1> y$load$raw_n153<2> y$load$raw_n153<3> y$load$raw_n153<4> y$load$raw_n153<5> y$load$raw_n153<6> y$load$raw_n153<7> y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> -> _n18c<0> _n18c<1> _n18c<2> _n18c<3> _n18c<4> _n18c<5> _n18c<6> _n18c<7>
22671 - - - - - - - - - - - - - - - - =y$load$raw_n153<0> =y$load$raw_n153<1> =y$load$raw_n153<2> =y$load$raw_n153<3> =y$load$raw_n153<4> =y$load$raw_n153<5> =y$load$raw_n153<6> =y$load$raw_n153<7>
22680 - - - - - - - - - - - - - - - - =y<0> =y<1> =y<2> =y<3> =y<4> =y<5> =y<6> =y<7>
2269.names _n54 _n5a _n108 _n18d
2270.def 0
2271 0 0 1 1
2272.names _n18d o$load$raw_n16d<0> o$load$raw_n16d<1> o$load$raw_n16d<2> o$load$raw_n16d<3> o$load$raw_n16d<4> o$load$raw_n16d<5> o$load$raw_n16d<6> o$load$raw_n16d<7> o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7> -> _n18e<0> _n18e<1> _n18e<2> _n18e<3> _n18e<4> _n18e<5> _n18e<6> _n18e<7>
22731 - - - - - - - - - - - - - - - - =o$load$raw_n16d<0> =o$load$raw_n16d<1> =o$load$raw_n16d<2> =o$load$raw_n16d<3> =o$load$raw_n16d<4> =o$load$raw_n16d<5> =o$load$raw_n16d<6> =o$load$raw_n16d<7>
22740 - - - - - - - - - - - - - - - - =o<0> =o<1> =o<2> =o<3> =o<4> =o<5> =o<6> =o<7>
2275.names load$raw_n4c  load
22760 0
22771 1
2278.names _n54 _n5a _n5b _n69 _n18f
2279.def 0
2280 1 - - - 1
2281 0 1 1 1 1
2282.names _n18f lsb$load$raw_n15c<0> lsb$load$raw_n15c<1> lsb$load$raw_n15c<2> lsb<0> lsb<1> lsb<2> -> _n190<0> _n190<1> _n190<2>
22831 - - - - - - =lsb$load$raw_n15c<0> =lsb$load$raw_n15c<1> =lsb$load$raw_n15c<2>
22840 - - - - - - =lsb<0> =lsb<1> =lsb<2>
2285.names _n179 _n17a _n180 _n191
2286.def 0
2287 1 1 - 1
2288 0 - 1 1
2289.names _n191 busy$_n178$raw_n187 busy _n192
22901 0 - 0
22911 1 - 1
22920 - 0 0
22930 - 1 1
2294.names xy_lsb$raw_nf<0>  xy_lsb<0>
2295- =xy_lsb$raw_nf<0>
2296.names xy_lsb$raw_nc<1>  xy_lsb<1>
2297- =xy_lsb$raw_nc<1>
2298.names done$raw_n3d  done
22990 0
23001 1
2301.names diff$raw_n12<0>  diff<0>
2302- =diff$raw_n12<0>
2303.names diff$raw_n12<1>  diff<1>
2304- =diff$raw_n12<1>
2305.names diff$raw_n12<2>  diff<2>
2306- =diff$raw_n12<2>
2307.names diff$raw_n12<3>  diff<3>
2308- =diff$raw_n12<3>
2309.names diff$raw_n12<4>  diff<4>
2310- =diff$raw_n12<4>
2311.names diff$raw_n12<5>  diff<5>
2312- =diff$raw_n12<5>
2313.names diff$raw_n12<6>  diff<6>
2314- =diff$raw_n12<6>
2315.names diff$raw_n12<7>  diff<7>
2316- =diff$raw_n12<7>
2317.names _n54 _n5a _n5b _n77 _n7e _n85 _n97 _n193
2318.def 0
2319 1 - - - - - - 1
2320 0 1 0 1 - - - 1
2321 0 1 0 1 - - - 1
2322 0 1 0 0 0 1 0 1
2323 0 1 0 0 0 1 0 1
2324.names _n193 x$load$raw_n160<0> x$load$raw_n160<1> x$load$raw_n160<2> x$load$raw_n160<3> x$load$raw_n160<4> x$load$raw_n160<5> x$load$raw_n160<6> x$load$raw_n160<7> x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> -> _n194<0> _n194<1> _n194<2> _n194<3> _n194<4> _n194<5> _n194<6> _n194<7>
23251 - - - - - - - - - - - - - - - - =x$load$raw_n160<0> =x$load$raw_n160<1> =x$load$raw_n160<2> =x$load$raw_n160<3> =x$load$raw_n160<4> =x$load$raw_n160<5> =x$load$raw_n160<6> =x$load$raw_n160<7>
23260 - - - - - - - - - - - - - - - - =x<0> =x<1> =x<2> =x<3> =x<4> =x<5> =x<6> =x<7>
2327# non-blocking assignments
2328# latches
2329.r y$raw_n51<0> y<0>
2330.def 0
23311 1
2332.r y$raw_n51<1> y<1>
2333.def 0
23341 1
2335.r y$raw_n51<2> y<2>
2336.def 0
23371 1
2338.r y$raw_n51<3> y<3>
2339.def 0
23401 1
2341.r y$raw_n51<4> y<4>
2342.def 0
23431 1
2344.r y$raw_n51<5> y<5>
2345.def 0
23461 1
2347.r y$raw_n51<6> y<6>
2348.def 0
23491 1
2350.r y$raw_n51<7> y<7>
2351.def 0
23521 1
2353.latch _n18c<0> y<0>
2354.latch _n18c<1> y<1>
2355.latch _n18c<2> y<2>
2356.latch _n18c<3> y<3>
2357.latch _n18c<4> y<4>
2358.latch _n18c<5> y<5>
2359.latch _n18c<6> y<6>
2360.latch _n18c<7> y<7>
2361.r o$raw_n52<0> o<0>
2362.def 0
23631 1
2364.r o$raw_n52<1> o<1>
2365.def 0
23661 1
2367.r o$raw_n52<2> o<2>
2368.def 0
23691 1
2370.r o$raw_n52<3> o<3>
2371.def 0
23721 1
2373.r o$raw_n52<4> o<4>
2374.def 0
23751 1
2376.r o$raw_n52<5> o<5>
2377.def 0
23781 1
2379.r o$raw_n52<6> o<6>
2380.def 0
23811 1
2382.r o$raw_n52<7> o<7>
2383.def 0
23841 1
2385.latch _n18e<0> o<0>
2386.latch _n18e<1> o<1>
2387.latch _n18e<2> o<2>
2388.latch _n18e<3> o<3>
2389.latch _n18e<4> o<4>
2390.latch _n18e<5> o<5>
2391.latch _n18e<6> o<6>
2392.latch _n18e<7> o<7>
2393.r busy$raw_n4f busy
23940 0
23951 1
2396.latch _n192 busy
2397.r lsb$raw_n53<0> lsb<0>
2398.def 0
23991 1
2400.r lsb$raw_n53<1> lsb<1>
2401.def 0
24021 1
2403.r lsb$raw_n53<2> lsb<2>
2404.def 0
24051 1
2406.latch _n190<0> lsb<0>
2407.latch _n190<1> lsb<1>
2408.latch _n190<2> lsb<2>
2409.r x$raw_n50<0> x<0>
2410.def 0
24111 1
2412.r x$raw_n50<1> x<1>
2413.def 0
24141 1
2415.r x$raw_n50<2> x<2>
2416.def 0
24171 1
2418.r x$raw_n50<3> x<3>
2419.def 0
24201 1
2421.r x$raw_n50<4> x<4>
2422.def 0
24231 1
2424.r x$raw_n50<5> x<5>
2425.def 0
24261 1
2427.r x$raw_n50<6> x<6>
2428.def 0
24291 1
2430.r x$raw_n50<7> x<7>
2431.def 0
24321 1
2433.latch _n194<0> x<0>
2434.latch _n194<1> x<1>
2435.latch _n194<2> x<2>
2436.latch _n194<3> x<3>
2437.latch _n194<4> x<4>
2438.latch _n194<5> x<5>
2439.latch _n194<6> x<6>
2440.latch _n194<7> x<7>
2441# quasi-continuous assignment
2442.end
2443
2444
2445.model select
2446# I/O ports
2447.inputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7>
2448.inputs lsb<0> lsb<1> lsb<2>
2449.outputs select<0>
2450.names _n196<0>
24510
2452.names _n196<1>
24530
2454.names _n196<2>
24550
2456# lsb  == 'b000
2457.names lsb<0> _n196<0> _n197<0>
2458.def 0
24590 1 1
24601 0 1
2461.names lsb<1> _n196<1> _n197<1>
2462.def 0
24630 1 1
24641 0 1
2465.names lsb<2> _n196<2> _n197<2>
2466.def 0
24670 1 1
24681 0 1
2469.names _n197<0> _n197<1> _n197<2> _n198
2470.def 1
24710 0 0 0
2472.names _n198 _n195
24730 1 
24741 0 
2475.names _n195 _n199
2476- =_n195
2477# select  = z [0]
2478.names z<0> select$_n195_n19a$true<0>
2479- =z<0>
2480.names _n19c<0>
24811
2482.names _n19c<1>
24830
2484.names _n19c<2>
24850
2486# lsb  == 'b001
2487.names lsb<0> _n19c<0> _n19d<0>
2488.def 0
24890 1 1
24901 0 1
2491.names lsb<1> _n19c<1> _n19d<1>
2492.def 0
24930 1 1
24941 0 1
2495.names lsb<2> _n19c<2> _n19d<2>
2496.def 0
24970 1 1
24981 0 1
2499.names _n19d<0> _n19d<1> _n19d<2> _n19e
2500.def 1
25010 0 0 0
2502.names _n19e _n19b
25030 1 
25041 0 
2505.names _n19b _n19f
2506- =_n19b
2507# select  = z [1]
2508.names z<1> select$_n19b_n1a0$true<0>
2509- =z<1>
2510.names _n1a2<0>
25110
2512.names _n1a2<1>
25131
2514.names _n1a2<2>
25150
2516# lsb  == 'b010
2517.names lsb<0> _n1a2<0> _n1a3<0>
2518.def 0
25190 1 1
25201 0 1
2521.names lsb<1> _n1a2<1> _n1a3<1>
2522.def 0
25230 1 1
25241 0 1
2525.names lsb<2> _n1a2<2> _n1a3<2>
2526.def 0
25270 1 1
25281 0 1
2529.names _n1a3<0> _n1a3<1> _n1a3<2> _n1a4
2530.def 1
25310 0 0 0
2532.names _n1a4 _n1a1
25330 1 
25341 0 
2535.names _n1a1 _n1a5
2536- =_n1a1
2537# select  = z [2]
2538.names z<2> select$_n1a1_n1a6$true<0>
2539- =z<2>
2540.names _n1a8<0>
25411
2542.names _n1a8<1>
25431
2544.names _n1a8<2>
25450
2546# lsb  == 'b011
2547.names lsb<0> _n1a8<0> _n1a9<0>
2548.def 0
25490 1 1
25501 0 1
2551.names lsb<1> _n1a8<1> _n1a9<1>
2552.def 0
25530 1 1
25541 0 1
2555.names lsb<2> _n1a8<2> _n1a9<2>
2556.def 0
25570 1 1
25581 0 1
2559.names _n1a9<0> _n1a9<1> _n1a9<2> _n1aa
2560.def 1
25610 0 0 0
2562.names _n1aa _n1a7
25630 1 
25641 0 
2565.names _n1a7 _n1ab
2566- =_n1a7
2567# select  = z [3]
2568.names z<3> select$_n1a7_n1ac$true<0>
2569- =z<3>
2570.names _n1ae<0>
25710
2572.names _n1ae<1>
25730
2574.names _n1ae<2>
25751
2576# lsb  == 'b100
2577.names lsb<0> _n1ae<0> _n1af<0>
2578.def 0
25790 1 1
25801 0 1
2581.names lsb<1> _n1ae<1> _n1af<1>
2582.def 0
25830 1 1
25841 0 1
2585.names lsb<2> _n1ae<2> _n1af<2>
2586.def 0
25870 1 1
25881 0 1
2589.names _n1af<0> _n1af<1> _n1af<2> _n1b0
2590.def 1
25910 0 0 0
2592.names _n1b0 _n1ad
25930 1 
25941 0 
2595.names _n1ad _n1b1
2596- =_n1ad
2597# select  = z [4]
2598.names z<4> select$_n1ad_n1b2$true<0>
2599- =z<4>
2600.names _n1b4<0>
26011
2602.names _n1b4<1>
26030
2604.names _n1b4<2>
26051
2606# lsb  == 'b101
2607.names lsb<0> _n1b4<0> _n1b5<0>
2608.def 0
26090 1 1
26101 0 1
2611.names lsb<1> _n1b4<1> _n1b5<1>
2612.def 0
26130 1 1
26141 0 1
2615.names lsb<2> _n1b4<2> _n1b5<2>
2616.def 0
26170 1 1
26181 0 1
2619.names _n1b5<0> _n1b5<1> _n1b5<2> _n1b6
2620.def 1
26210 0 0 0
2622.names _n1b6 _n1b3
26230 1 
26241 0 
2625.names _n1b3 _n1b7
2626- =_n1b3
2627# select  = z [5]
2628.names z<5> select$_n1b3_n1b8$true<0>
2629- =z<5>
2630.names _n1ba<0>
26310
2632.names _n1ba<1>
26331
2634.names _n1ba<2>
26351
2636# lsb  == 'b110
2637.names lsb<0> _n1ba<0> _n1bb<0>
2638.def 0
26390 1 1
26401 0 1
2641.names lsb<1> _n1ba<1> _n1bb<1>
2642.def 0
26430 1 1
26441 0 1
2645.names lsb<2> _n1ba<2> _n1bb<2>
2646.def 0
26470 1 1
26481 0 1
2649.names _n1bb<0> _n1bb<1> _n1bb<2> _n1bc
2650.def 1
26510 0 0 0
2652.names _n1bc _n1b9
26530 1 
26541 0 
2655.names _n1b9 _n1bd
2656- =_n1b9
2657# select  = z [6]
2658.names z<6> select$_n1b9_n1be$true<0>
2659- =z<6>
2660# select  = z [7]
2661.names z<7> select$_n1b9_n1bf$false<0>
2662- =z<7>
2663# if/else (lsb  == 'b110)
2664.names select$_n1b9_n1be$true<0> select$_n1b9_n1bf$false<0> _n1b9 select$_n1b9$raw_n1c1<0>
26650 - 1 0
26661 - 1 1
2667- 0 0 0
2668- 1 0 1
2669# if/else (lsb  == 'b101)
2670.names select$_n1b3_n1b8$true<0> select$_n1b9$raw_n1c1<0> _n1b3 select$_n1b3$raw_n1c6<0>
26710 - 1 0
26721 - 1 1
2673- 0 0 0
2674- 1 0 1
2675# if/else (lsb  == 'b100)
2676.names select$_n1ad_n1b2$true<0> select$_n1b3$raw_n1c6<0> _n1ad select$_n1ad$raw_n1cb<0>
26770 - 1 0
26781 - 1 1
2679- 0 0 0
2680- 1 0 1
2681# if/else (lsb  == 'b011)
2682.names select$_n1a7_n1ac$true<0> select$_n1ad$raw_n1cb<0> _n1a7 select$_n1a7$raw_n1d0<0>
26830 - 1 0
26841 - 1 1
2685- 0 0 0
2686- 1 0 1
2687# if/else (lsb  == 'b010)
2688.names select$_n1a1_n1a6$true<0> select$_n1a7$raw_n1d0<0> _n1a1 select$_n1a1$raw_n1d5<0>
26890 - 1 0
26901 - 1 1
2691- 0 0 0
2692- 1 0 1
2693# if/else (lsb  == 'b001)
2694.names select$_n19b_n1a0$true<0> select$_n1a1$raw_n1d5<0> _n19b select$_n19b$raw_n1da<0>
26950 - 1 0
26961 - 1 1
2697- 0 0 0
2698- 1 0 1
2699# if/else (lsb  == 'b000)
2700.names select$_n195_n19a$true<0> select$_n19b$raw_n1da<0> _n195 select$_n195$raw_n1df<0>
27010 - 1 0
27021 - 1 1
2703- 0 0 0
2704- 1 0 1
2705# conflict arbitrators
2706.names select$_n195$raw_n1df<0>  select<0>
2707- =select$_n195$raw_n1df<0>
2708.end
2709
2710
Note: See TracBrowser for help on using the repository browser.