source: vis_dev/vis-2.3/models/arbiter/gcd.mv @ 28

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

exemples de test

File size: 37.6 KB
Line 
1# vl2mv gcd.v
2# version: 2.1
3# date:    10:52:04 03/10/2011 (CET)
4.model gcd
5# I/O ports
6.outputs o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7>
7.outputs busy
8.inputs a<0> a<1> a<2> a<3> a<4> a<5> a<6> a<7>
9.inputs start
10.inputs b<0> b<1> b<2> b<3> b<4> b<5> b<6> b<7>
11# assign xy_lsb [1] = select  (x ,lsb )
12.subckt select _n2 select<0>=_n1<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>
13.names _n1<0> xy_lsb$raw_n0<1>
14- =_n1<0>
15# assign xy_lsb [0] = select  (y ,lsb )
16.subckt select _n5 select<0>=_n4<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>
17.names _n4<0> xy_lsb$raw_n3<0>
18- =_n4<0>
19# assign diff  = x  < y  ? y  - x  : x  - y
20# x  < y
21.names _n9
220
23.names x<0> y<0> _n9 _n8<0>
24.def 0
250 0 1 1
260 1 0 1
271 0 0 1
281 1 1 1
29# carry/borrow
30.names _nb
310
32.names x<0> y<0> _nb _na
33.def 0
340 - 1 1
350 1 - 1
36- 1 1 1
37.names x<1> y<1> _na _n8<1>
38.def 0
390 0 1 1
400 1 0 1
411 0 0 1
421 1 1 1
43# carry/borrow
44.names x<1> y<1> _na _nc
45.def 0
460 - 1 1
470 1 - 1
48- 1 1 1
49.names x<2> y<2> _nc _n8<2>
50.def 0
510 0 1 1
520 1 0 1
531 0 0 1
541 1 1 1
55# carry/borrow
56.names x<2> y<2> _nc _nd
57.def 0
580 - 1 1
590 1 - 1
60- 1 1 1
61.names x<3> y<3> _nd _n8<3>
62.def 0
630 0 1 1
640 1 0 1
651 0 0 1
661 1 1 1
67# carry/borrow
68.names x<3> y<3> _nd _ne
69.def 0
700 - 1 1
710 1 - 1
72- 1 1 1
73.names x<4> y<4> _ne _n8<4>
74.def 0
750 0 1 1
760 1 0 1
771 0 0 1
781 1 1 1
79# carry/borrow
80.names x<4> y<4> _ne _nf
81.def 0
820 - 1 1
830 1 - 1
84- 1 1 1
85.names x<5> y<5> _nf _n8<5>
86.def 0
870 0 1 1
880 1 0 1
891 0 0 1
901 1 1 1
91# carry/borrow
92.names x<5> y<5> _nf _n10
93.def 0
940 - 1 1
950 1 - 1
96- 1 1 1
97.names x<6> y<6> _n10 _n8<6>
98.def 0
990 0 1 1
1000 1 0 1
1011 0 0 1
1021 1 1 1
103# carry/borrow
104.names x<6> y<6> _n10 _n11
105.def 0
1060 - 1 1
1070 1 - 1
108- 1 1 1
109.names x<7> y<7> _n11 _n8<7>
110.def 0
1110 0 1 1
1120 1 0 1
1131 0 0 1
1141 1 1 1
115# carry/borrow
116.names x<7> y<7> _n11 _n12
117.def 0
1180 - 1 1
1190 1 - 1
120- 1 1 1
121.names _n8<0> _n8<1> _n8<2> _n8<3> _n8<4> _n8<5> _n8<6> _n8<7> _n13
122.def 1
1230 0 0 0 0 0 0 0 0
124.names _n12 _n13 _n7
125.def 0
1261 1 1
127# y  - x
128.names _n15
1290
130.names y<0> x<0> _n15 _n14<0>
131.def 0
1320 0 1 1
1330 1 0 1
1341 0 0 1
1351 1 1 1
136# carry/borrow
137.names _n17
1380
139.names y<0> x<0> _n17 _n16
140.def 0
1410 - 1 1
1420 1 - 1
143- 1 1 1
144.names y<1> x<1> _n16 _n14<1>
145.def 0
1460 0 1 1
1470 1 0 1
1481 0 0 1
1491 1 1 1
150# carry/borrow
151.names y<1> x<1> _n16 _n18
152.def 0
1530 - 1 1
1540 1 - 1
155- 1 1 1
156.names y<2> x<2> _n18 _n14<2>
157.def 0
1580 0 1 1
1590 1 0 1
1601 0 0 1
1611 1 1 1
162# carry/borrow
163.names y<2> x<2> _n18 _n19
164.def 0
1650 - 1 1
1660 1 - 1
167- 1 1 1
168.names y<3> x<3> _n19 _n14<3>
169.def 0
1700 0 1 1
1710 1 0 1
1721 0 0 1
1731 1 1 1
174# carry/borrow
175.names y<3> x<3> _n19 _n1a
176.def 0
1770 - 1 1
1780 1 - 1
179- 1 1 1
180.names y<4> x<4> _n1a _n14<4>
181.def 0
1820 0 1 1
1830 1 0 1
1841 0 0 1
1851 1 1 1
186# carry/borrow
187.names y<4> x<4> _n1a _n1b
188.def 0
1890 - 1 1
1900 1 - 1
191- 1 1 1
192.names y<5> x<5> _n1b _n14<5>
193.def 0
1940 0 1 1
1950 1 0 1
1961 0 0 1
1971 1 1 1
198# carry/borrow
199.names y<5> x<5> _n1b _n1c
200.def 0
2010 - 1 1
2020 1 - 1
203- 1 1 1
204.names y<6> x<6> _n1c _n14<6>
205.def 0
2060 0 1 1
2070 1 0 1
2081 0 0 1
2091 1 1 1
210# carry/borrow
211.names y<6> x<6> _n1c _n1d
212.def 0
2130 - 1 1
2140 1 - 1
215- 1 1 1
216.names y<7> x<7> _n1d _n14<7>
217.def 0
2180 0 1 1
2190 1 0 1
2201 0 0 1
2211 1 1 1
222# x  - y
223.names _n1f
2240
225.names x<0> y<0> _n1f _n1e<0>
226.def 0
2270 0 1 1
2280 1 0 1
2291 0 0 1
2301 1 1 1
231# carry/borrow
232.names _n21
2330
234.names x<0> y<0> _n21 _n20
235.def 0
2360 - 1 1
2370 1 - 1
238- 1 1 1
239.names x<1> y<1> _n20 _n1e<1>
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<1> y<1> _n20 _n22
247.def 0
2480 - 1 1
2490 1 - 1
250- 1 1 1
251.names x<2> y<2> _n22 _n1e<2>
252.def 0
2530 0 1 1
2540 1 0 1
2551 0 0 1
2561 1 1 1
257# carry/borrow
258.names x<2> y<2> _n22 _n23
259.def 0
2600 - 1 1
2610 1 - 1
262- 1 1 1
263.names x<3> y<3> _n23 _n1e<3>
264.def 0
2650 0 1 1
2660 1 0 1
2671 0 0 1
2681 1 1 1
269# carry/borrow
270.names x<3> y<3> _n23 _n24
271.def 0
2720 - 1 1
2730 1 - 1
274- 1 1 1
275.names x<4> y<4> _n24 _n1e<4>
276.def 0
2770 0 1 1
2780 1 0 1
2791 0 0 1
2801 1 1 1
281# carry/borrow
282.names x<4> y<4> _n24 _n25
283.def 0
2840 - 1 1
2850 1 - 1
286- 1 1 1
287.names x<5> y<5> _n25 _n1e<5>
288.def 0
2890 0 1 1
2900 1 0 1
2911 0 0 1
2921 1 1 1
293# carry/borrow
294.names x<5> y<5> _n25 _n26
295.def 0
2960 - 1 1
2970 1 - 1
298- 1 1 1
299.names x<6> y<6> _n26 _n1e<6>
300.def 0
3010 0 1 1
3020 1 0 1
3031 0 0 1
3041 1 1 1
305# carry/borrow
306.names x<6> y<6> _n26 _n27
307.def 0
3080 - 1 1
3090 1 - 1
310- 1 1 1
311.names x<7> y<7> _n27 _n1e<7>
312.def 0
3130 0 1 1
3140 1 0 1
3151 0 0 1
3161 1 1 1
317# x  < y  ? y  - x  : x  - y
318.names _n7 _n14<0> _n1e<0> _n28<0>
319.def 0
3201 1 - 1
3210 - 1 1
322.names _n7 _n14<1> _n1e<1> _n28<1>
323.def 0
3241 1 - 1
3250 - 1 1
326.names _n7 _n14<2> _n1e<2> _n28<2>
327.def 0
3281 1 - 1
3290 - 1 1
330.names _n7 _n14<3> _n1e<3> _n28<3>
331.def 0
3321 1 - 1
3330 - 1 1
334.names _n7 _n14<4> _n1e<4> _n28<4>
335.def 0
3361 1 - 1
3370 - 1 1
338.names _n7 _n14<5> _n1e<5> _n28<5>
339.def 0
3401 1 - 1
3410 - 1 1
342.names _n7 _n14<6> _n1e<6> _n28<6>
343.def 0
3441 1 - 1
3450 - 1 1
346.names _n7 _n14<7> _n1e<7> _n28<7>
347.def 0
3481 1 - 1
3490 - 1 1
350.names _n28<0> diff$raw_n6<0>
351- =_n28<0>
352.names _n28<1> diff$raw_n6<1>
353- =_n28<1>
354.names _n28<2> diff$raw_n6<2>
355- =_n28<2>
356.names _n28<3> diff$raw_n6<3>
357- =_n28<3>
358.names _n28<4> diff$raw_n6<4>
359- =_n28<4>
360.names _n28<5> diff$raw_n6<5>
361- =_n28<5>
362.names _n28<6> diff$raw_n6<6>
363- =_n28<6>
364.names _n28<7> diff$raw_n6<7>
365- =_n28<7>
366# busy  = 0
367.names busy$raw_n31
3680
369# x  = 0
370.names x$raw_n32<0>
3710
372.names x$raw_n32<1>
3730
374.names x$raw_n32<2>
3750
376.names x$raw_n32<3>
3770
378.names x$raw_n32<4>
3790
380.names x$raw_n32<5>
3810
382.names x$raw_n32<6>
3830
384.names x$raw_n32<7>
3850
386# y  = 0
387.names y$raw_n33<0>
3880
389.names y$raw_n33<1>
3900
391.names y$raw_n33<2>
3920
393.names y$raw_n33<3>
3940
395.names y$raw_n33<4>
3960
397.names y$raw_n33<5>
3980
399.names y$raw_n33<6>
4000
401.names y$raw_n33<7>
4020
403# o  = 0
404.names o$raw_n34<0>
4050
406.names o$raw_n34<1>
4070
408.names o$raw_n34<2>
4090
410.names o$raw_n34<3>
4110
412.names o$raw_n34<4>
4130
414.names o$raw_n34<5>
4150
416.names o$raw_n34<6>
4170
418.names o$raw_n34<7>
4190
420# lsb  = 0
421.names lsb$raw_n35<0>
4220
423.names lsb$raw_n35<1>
4240
425.names lsb$raw_n35<2>
4260
427# non-blocking assignments for initial
428# assign done  = ((x  == y ) | (x  == 0) | (y  == 0)) & busy
429# x  == y
430.names x<0> y<0> _n38<0>
431.def 0
4320 1 1
4331 0 1
434.names x<1> y<1> _n38<1>
435.def 0
4360 1 1
4371 0 1
438.names x<2> y<2> _n38<2>
439.def 0
4400 1 1
4411 0 1
442.names x<3> y<3> _n38<3>
443.def 0
4440 1 1
4451 0 1
446.names x<4> y<4> _n38<4>
447.def 0
4480 1 1
4491 0 1
450.names x<5> y<5> _n38<5>
451.def 0
4520 1 1
4531 0 1
454.names x<6> y<6> _n38<6>
455.def 0
4560 1 1
4571 0 1
458.names x<7> y<7> _n38<7>
459.def 0
4600 1 1
4611 0 1
462.names _n38<0> _n38<1> _n38<2> _n38<3> _n38<4> _n38<5> _n38<6> _n38<7> _n39
463.def 1
4640 0 0 0 0 0 0 0 0
465.names _n39 _n37
4660 1 
4671 0 
468.names _n3b<0>
4690
470.names _n3b<1>
4710
472.names _n3b<2>
4730
474.names _n3b<3>
4750
476.names _n3b<4>
4770
478.names _n3b<5>
4790
480.names _n3b<6>
4810
482.names _n3b<7>
4830
484# x  == 0
485.names x<0> _n3b<0> _n3c<0>
486.def 0
4870 1 1
4881 0 1
489.names x<1> _n3b<1> _n3c<1>
490.def 0
4910 1 1
4921 0 1
493.names x<2> _n3b<2> _n3c<2>
494.def 0
4950 1 1
4961 0 1
497.names x<3> _n3b<3> _n3c<3>
498.def 0
4990 1 1
5001 0 1
501.names x<4> _n3b<4> _n3c<4>
502.def 0
5030 1 1
5041 0 1
505.names x<5> _n3b<5> _n3c<5>
506.def 0
5070 1 1
5081 0 1
509.names x<6> _n3b<6> _n3c<6>
510.def 0
5110 1 1
5121 0 1
513.names x<7> _n3b<7> _n3c<7>
514.def 0
5150 1 1
5161 0 1
517.names _n3c<0> _n3c<1> _n3c<2> _n3c<3> _n3c<4> _n3c<5> _n3c<6> _n3c<7> _n3d
518.def 1
5190 0 0 0 0 0 0 0 0
520.names _n3d _n3a
5210 1 
5221 0 
523# (x  == y ) | (x  == 0)
524.names _n37 _n3a _n3e
525.def 1
5260 0 0
527.names _n40<0>
5280
529.names _n40<1>
5300
531.names _n40<2>
5320
533.names _n40<3>
5340
535.names _n40<4>
5360
537.names _n40<5>
5380
539.names _n40<6>
5400
541.names _n40<7>
5420
543# y  == 0
544.names y<0> _n40<0> _n41<0>
545.def 0
5460 1 1
5471 0 1
548.names y<1> _n40<1> _n41<1>
549.def 0
5500 1 1
5511 0 1
552.names y<2> _n40<2> _n41<2>
553.def 0
5540 1 1
5551 0 1
556.names y<3> _n40<3> _n41<3>
557.def 0
5580 1 1
5591 0 1
560.names y<4> _n40<4> _n41<4>
561.def 0
5620 1 1
5631 0 1
564.names y<5> _n40<5> _n41<5>
565.def 0
5660 1 1
5671 0 1
568.names y<6> _n40<6> _n41<6>
569.def 0
5700 1 1
5711 0 1
572.names y<7> _n40<7> _n41<7>
573.def 0
5740 1 1
5751 0 1
576.names _n41<0> _n41<1> _n41<2> _n41<3> _n41<4> _n41<5> _n41<6> _n41<7> _n42
577.def 1
5780 0 0 0 0 0 0 0 0
579.names _n42 _n3f
5800 1 
5811 0 
582# (x  == y ) | (x  == 0) | (y  == 0)
583.names _n3e _n3f _n43
584.def 1
5850 0 0
586# ((x  == y ) | (x  == 0) | (y  == 0)) & busy
587.names _n43 busy _n44
588.def 0
5891 1 1
590.names _n44 done$raw_n36
591- =_n44
592.names load _n45
593- =load
594# x  = a
595.names a<0> x$load_n46$true<0>
596- =a<0>
597.names a<1> x$load_n46$true<1>
598- =a<1>
599.names a<2> x$load_n46$true<2>
600- =a<2>
601.names a<3> x$load_n46$true<3>
602- =a<3>
603.names a<4> x$load_n46$true<4>
604- =a<4>
605.names a<5> x$load_n46$true<5>
606- =a<5>
607.names a<6> x$load_n46$true<6>
608- =a<6>
609.names a<7> x$load_n46$true<7>
610- =a<7>
611# y  = b
612.names b<0> y$load_n47$true<0>
613- =b<0>
614.names b<1> y$load_n47$true<1>
615- =b<1>
616.names b<2> y$load_n47$true<2>
617- =b<2>
618.names b<3> y$load_n47$true<3>
619- =b<3>
620.names b<4> y$load_n47$true<4>
621- =b<4>
622.names b<5> y$load_n47$true<5>
623- =b<5>
624.names b<6> y$load_n47$true<6>
625- =b<6>
626.names b<7> y$load_n47$true<7>
627- =b<7>
628# lsb  = 0
629.names lsb$load_n48$true<0>
6300
631.names lsb$load_n48$true<1>
6320
633.names lsb$load_n48$true<2>
6340
635.names done _n49
6360 1 
6371 0 
638# busy  & ~done
639.names busy _n49 _n4a
640.def 0
6411 1 1
642.names _n4a _n4b
643- =_n4a
644.names _n4e<0>
6450
646.names _n4e<1>
6470
648.names xy_lsb<0> _n4e<0> _n4f<0>
649.def 0
6500 1 1
6511 0 1
652.names xy_lsb<1> _n4e<1> _n4f<1>
653.def 0
6540 1 1
6551 0 1
656.names _n4f<0> _n4f<1> _n50
657.def 1
6580 0 0
659.names _n50 _n4d
6600 1 
6611 0 
662.names _n4d  _n4c
663.def 1
6640 0
665# lsb  = lsb  + 1
666.names _n52<0>
6671
668.names _n52<1>
6690
670.names _n52<2>
6710
672# lsb  + 1
673.names _n54
6740
675.names lsb<0> _n52<0> _n54 _n53<0>
676.def 0
6770 0 1 1
6780 1 0 1
6791 0 0 1
6801 1 1 1
681# carry/borrow
682.names _n56
6830
684.names lsb<0> _n52<0> _n56 _n55
685.def 0
686- 1 1 1
6871 - 1 1
6881 1 - 1
689.names lsb<1> _n52<1> _n55 _n53<1>
690.def 0
6910 0 1 1
6920 1 0 1
6931 0 0 1
6941 1 1 1
695# carry/borrow
696.names lsb<1> _n52<1> _n55 _n57
697.def 0
698- 1 1 1
6991 - 1 1
7001 1 - 1
701.names lsb<2> _n52<2> _n57 _n53<2>
702.def 0
7030 0 1 1
7040 1 0 1
7051 0 0 1
7061 1 1 1
707.names _n53<0> lsb$_n4c_n51$true<0>
708- =_n53<0>
709.names _n53<1> lsb$_n4c_n51$true<1>
710- =_n53<1>
711.names _n53<2> lsb$_n4c_n51$true<2>
712- =_n53<2>
713.names _n5a<0>
7141
715.names _n5a<1>
7160
717.names xy_lsb<0> _n5a<0> _n5b<0>
718.def 0
7190 1 1
7201 0 1
721.names xy_lsb<1> _n5a<1> _n5b<1>
722.def 0
7230 1 1
7241 0 1
725.names _n5b<0> _n5b<1> _n5c
726.def 1
7270 0 0
728.names _n5c _n59
7290 1 
7301 0 
731.names _n59  _n58
732.def 1
7330 0
734# x [8 - 2 : 0] = x [8 - 1 : 1]
735.names x<1> x$_n58_n5d$true<0>
736- =x<1>
737.names x<2> x$_n58_n5d$true<1>
738- =x<2>
739.names x<3> x$_n58_n5d$true<2>
740- =x<3>
741.names x<4> x$_n58_n5d$true<3>
742- =x<4>
743.names x<5> x$_n58_n5d$true<4>
744- =x<5>
745.names x<6> x$_n58_n5d$true<5>
746- =x<6>
747.names x<7> x$_n58_n5d$true<6>
748- =x<7>
749.names x<7> x$_n58_n5d$true<7>
750- =x<7>
751# x [8 - 1] = 0
752.names x$_n58_n5e$true<7>
7530
754.names x$_n58_n5d$true<0> x$_n58_n5e$true<0>
755- =x$_n58_n5d$true<0>
756.names x$_n58_n5d$true<1> x$_n58_n5e$true<1>
757- =x$_n58_n5d$true<1>
758.names x$_n58_n5d$true<2> x$_n58_n5e$true<2>
759- =x$_n58_n5d$true<2>
760.names x$_n58_n5d$true<3> x$_n58_n5e$true<3>
761- =x$_n58_n5d$true<3>
762.names x$_n58_n5d$true<4> x$_n58_n5e$true<4>
763- =x$_n58_n5d$true<4>
764.names x$_n58_n5d$true<5> x$_n58_n5e$true<5>
765- =x$_n58_n5d$true<5>
766.names x$_n58_n5d$true<6> x$_n58_n5e$true<6>
767- =x$_n58_n5d$true<6>
768.names _n61<0>
7690
770.names _n61<1>
7711
772.names xy_lsb<0> _n61<0> _n62<0>
773.def 0
7740 1 1
7751 0 1
776.names xy_lsb<1> _n61<1> _n62<1>
777.def 0
7780 1 1
7791 0 1
780.names _n62<0> _n62<1> _n63
781.def 1
7820 0 0
783.names _n63 _n60
7840 1 
7851 0 
786.names _n60  _n5f
787.def 1
7880 0
789# y [8 - 2 : 0] = y [8 - 1 : 1]
790.names y<1> y$_n5f_n64$true<0>
791- =y<1>
792.names y<2> y$_n5f_n64$true<1>
793- =y<2>
794.names y<3> y$_n5f_n64$true<2>
795- =y<3>
796.names y<4> y$_n5f_n64$true<3>
797- =y<4>
798.names y<5> y$_n5f_n64$true<4>
799- =y<5>
800.names y<6> y$_n5f_n64$true<5>
801- =y<6>
802.names y<7> y$_n5f_n64$true<6>
803- =y<7>
804.names y<7> y$_n5f_n64$true<7>
805- =y<7>
806# y [8 - 1] = 0
807.names y$_n5f_n65$true<7>
8080
809.names y$_n5f_n64$true<0> y$_n5f_n65$true<0>
810- =y$_n5f_n64$true<0>
811.names y$_n5f_n64$true<1> y$_n5f_n65$true<1>
812- =y$_n5f_n64$true<1>
813.names y$_n5f_n64$true<2> y$_n5f_n65$true<2>
814- =y$_n5f_n64$true<2>
815.names y$_n5f_n64$true<3> y$_n5f_n65$true<3>
816- =y$_n5f_n64$true<3>
817.names y$_n5f_n64$true<4> y$_n5f_n65$true<4>
818- =y$_n5f_n64$true<4>
819.names y$_n5f_n64$true<5> y$_n5f_n65$true<5>
820- =y$_n5f_n64$true<5>
821.names y$_n5f_n64$true<6> y$_n5f_n65$true<6>
822- =y$_n5f_n64$true<6>
823.names _n68<0>
8241
825.names _n68<1>
8261
827.names xy_lsb<0> _n68<0> _n69<0>
828.def 0
8290 1 1
8301 0 1
831.names xy_lsb<1> _n68<1> _n69<1>
832.def 0
8330 1 1
8341 0 1
835.names _n69<0> _n69<1> _n6a
836.def 1
8370 0 0
838.names _n6a _n67
8390 1 
8401 0 
841.names _n67  _n66
842.def 1
8430 0
844# x  < y
845.names _n6d
8460
847.names x<0> y<0> _n6d _n6c<0>
848.def 0
8490 0 1 1
8500 1 0 1
8511 0 0 1
8521 1 1 1
853# carry/borrow
854.names _n6f
8550
856.names x<0> y<0> _n6f _n6e
857.def 0
8580 - 1 1
8590 1 - 1
860- 1 1 1
861.names x<1> y<1> _n6e _n6c<1>
862.def 0
8630 0 1 1
8640 1 0 1
8651 0 0 1
8661 1 1 1
867# carry/borrow
868.names x<1> y<1> _n6e _n70
869.def 0
8700 - 1 1
8710 1 - 1
872- 1 1 1
873.names x<2> y<2> _n70 _n6c<2>
874.def 0
8750 0 1 1
8760 1 0 1
8771 0 0 1
8781 1 1 1
879# carry/borrow
880.names x<2> y<2> _n70 _n71
881.def 0
8820 - 1 1
8830 1 - 1
884- 1 1 1
885.names x<3> y<3> _n71 _n6c<3>
886.def 0
8870 0 1 1
8880 1 0 1
8891 0 0 1
8901 1 1 1
891# carry/borrow
892.names x<3> y<3> _n71 _n72
893.def 0
8940 - 1 1
8950 1 - 1
896- 1 1 1
897.names x<4> y<4> _n72 _n6c<4>
898.def 0
8990 0 1 1
9000 1 0 1
9011 0 0 1
9021 1 1 1
903# carry/borrow
904.names x<4> y<4> _n72 _n73
905.def 0
9060 - 1 1
9070 1 - 1
908- 1 1 1
909.names x<5> y<5> _n73 _n6c<5>
910.def 0
9110 0 1 1
9120 1 0 1
9131 0 0 1
9141 1 1 1
915# carry/borrow
916.names x<5> y<5> _n73 _n74
917.def 0
9180 - 1 1
9190 1 - 1
920- 1 1 1
921.names x<6> y<6> _n74 _n6c<6>
922.def 0
9230 0 1 1
9240 1 0 1
9251 0 0 1
9261 1 1 1
927# carry/borrow
928.names x<6> y<6> _n74 _n75
929.def 0
9300 - 1 1
9310 1 - 1
932- 1 1 1
933.names x<7> y<7> _n75 _n6c<7>
934.def 0
9350 0 1 1
9360 1 0 1
9371 0 0 1
9381 1 1 1
939# carry/borrow
940.names x<7> y<7> _n75 _n76
941.def 0
9420 - 1 1
9430 1 - 1
944- 1 1 1
945.names _n6c<0> _n6c<1> _n6c<2> _n6c<3> _n6c<4> _n6c<5> _n6c<6> _n6c<7> _n77
946.def 1
9470 0 0 0 0 0 0 0 0
948.names _n76 _n77 _n6b
949.def 0
9501 1 1
951.names _n6b _n78
952- =_n6b
953# y [8 - 2 : 0] = diff [8 - 1 : 1]
954.names diff<1> y$_n6b_n79$true<0>
955- =diff<1>
956.names diff<2> y$_n6b_n79$true<1>
957- =diff<2>
958.names diff<3> y$_n6b_n79$true<2>
959- =diff<3>
960.names diff<4> y$_n6b_n79$true<3>
961- =diff<4>
962.names diff<5> y$_n6b_n79$true<4>
963- =diff<5>
964.names diff<6> y$_n6b_n79$true<5>
965- =diff<6>
966.names diff<7> y$_n6b_n79$true<6>
967- =diff<7>
968.names y<7> y$_n6b_n79$true<7>
969- =y<7>
970# y [8 - 1] = 0
971.names y$_n6b_n7a$true<7>
9720
973.names y$_n6b_n79$true<0> y$_n6b_n7a$true<0>
974- =y$_n6b_n79$true<0>
975.names y$_n6b_n79$true<1> y$_n6b_n7a$true<1>
976- =y$_n6b_n79$true<1>
977.names y$_n6b_n79$true<2> y$_n6b_n7a$true<2>
978- =y$_n6b_n79$true<2>
979.names y$_n6b_n79$true<3> y$_n6b_n7a$true<3>
980- =y$_n6b_n79$true<3>
981.names y$_n6b_n79$true<4> y$_n6b_n7a$true<4>
982- =y$_n6b_n79$true<4>
983.names y$_n6b_n79$true<5> y$_n6b_n7a$true<5>
984- =y$_n6b_n79$true<5>
985.names y$_n6b_n79$true<6> y$_n6b_n7a$true<6>
986- =y$_n6b_n79$true<6>
987# x [8 - 2 : 0] = diff [8 - 1 : 1]
988.names diff<1> x$_n6b_n7b$false<0>
989- =diff<1>
990.names diff<2> x$_n6b_n7b$false<1>
991- =diff<2>
992.names diff<3> x$_n6b_n7b$false<2>
993- =diff<3>
994.names diff<4> x$_n6b_n7b$false<3>
995- =diff<4>
996.names diff<5> x$_n6b_n7b$false<4>
997- =diff<5>
998.names diff<6> x$_n6b_n7b$false<5>
999- =diff<6>
1000.names diff<7> x$_n6b_n7b$false<6>
1001- =diff<7>
1002.names x<7> x$_n6b_n7b$false<7>
1003- =x<7>
1004# x [8 - 1] = 0
1005.names x$_n6b_n7c$false<7>
10060
1007.names x$_n6b_n7b$false<0> x$_n6b_n7c$false<0>
1008- =x$_n6b_n7b$false<0>
1009.names x$_n6b_n7b$false<1> x$_n6b_n7c$false<1>
1010- =x$_n6b_n7b$false<1>
1011.names x$_n6b_n7b$false<2> x$_n6b_n7c$false<2>
1012- =x$_n6b_n7b$false<2>
1013.names x$_n6b_n7b$false<3> x$_n6b_n7c$false<3>
1014- =x$_n6b_n7b$false<3>
1015.names x$_n6b_n7b$false<4> x$_n6b_n7c$false<4>
1016- =x$_n6b_n7b$false<4>
1017.names x$_n6b_n7b$false<5> x$_n6b_n7c$false<5>
1018- =x$_n6b_n7b$false<5>
1019.names x$_n6b_n7b$false<6> x$_n6b_n7c$false<6>
1020- =x$_n6b_n7b$false<6>
1021# if/else (x  < y )
1022.names _n6b y$_n6b_n7a$true<0> y<0> y$_n6b$raw_n7f<0>
1023.def 0
10241 1 - 1
10250 - 1 1
1026.names _n6b y$_n6b_n7a$true<1> y<1> y$_n6b$raw_n7f<1>
1027.def 0
10281 1 - 1
10290 - 1 1
1030.names _n6b y$_n6b_n7a$true<2> y<2> y$_n6b$raw_n7f<2>
1031.def 0
10321 1 - 1
10330 - 1 1
1034.names _n6b y$_n6b_n7a$true<3> y<3> y$_n6b$raw_n7f<3>
1035.def 0
10361 1 - 1
10370 - 1 1
1038.names _n6b y$_n6b_n7a$true<4> y<4> y$_n6b$raw_n7f<4>
1039.def 0
10401 1 - 1
10410 - 1 1
1042.names _n6b y$_n6b_n7a$true<5> y<5> y$_n6b$raw_n7f<5>
1043.def 0
10441 1 - 1
10450 - 1 1
1046.names _n6b y$_n6b_n7a$true<6> y<6> y$_n6b$raw_n7f<6>
1047.def 0
10481 1 - 1
10490 - 1 1
1050.names _n6b y$_n6b_n7a$true<7> y<7> y$_n6b$raw_n7f<7>
1051.def 0
10521 1 - 1
10530 - 1 1
1054.names _n6b x<0> x$_n6b_n7c$false<0> x$_n6b$raw_n88<0>
1055.def 0
10561 1 - 1
10570 - 1 1
1058.names _n6b x<1> x$_n6b_n7c$false<1> x$_n6b$raw_n88<1>
1059.def 0
10601 1 - 1
10610 - 1 1
1062.names _n6b x<2> x$_n6b_n7c$false<2> x$_n6b$raw_n88<2>
1063.def 0
10641 1 - 1
10650 - 1 1
1066.names _n6b x<3> x$_n6b_n7c$false<3> x$_n6b$raw_n88<3>
1067.def 0
10681 1 - 1
10690 - 1 1
1070.names _n6b x<4> x$_n6b_n7c$false<4> x$_n6b$raw_n88<4>
1071.def 0
10721 1 - 1
10730 - 1 1
1074.names _n6b x<5> x$_n6b_n7c$false<5> x$_n6b$raw_n88<5>
1075.def 0
10761 1 - 1
10770 - 1 1
1078.names _n6b x<6> x$_n6b_n7c$false<6> x$_n6b$raw_n88<6>
1079.def 0
10801 1 - 1
10810 - 1 1
1082.names _n6b x<7> x$_n6b_n7c$false<7> x$_n6b$raw_n88<7>
1083.def 0
10841 1 - 1
10850 - 1 1
1086# case (xy_lsb )
1087.names _n66 y$_n6b$raw_n7f<0> y<0> y$_n66$raw_n95<0>
1088.def 0
10891 1 - 1
10900 - 1 1
1091.names _n66 y$_n6b$raw_n7f<1> y<1> y$_n66$raw_n95<1>
1092.def 0
10931 1 - 1
10940 - 1 1
1095.names _n66 y$_n6b$raw_n7f<2> y<2> y$_n66$raw_n95<2>
1096.def 0
10971 1 - 1
10980 - 1 1
1099.names _n66 y$_n6b$raw_n7f<3> y<3> y$_n66$raw_n95<3>
1100.def 0
11011 1 - 1
11020 - 1 1
1103.names _n66 y$_n6b$raw_n7f<4> y<4> y$_n66$raw_n95<4>
1104.def 0
11051 1 - 1
11060 - 1 1
1107.names _n66 y$_n6b$raw_n7f<5> y<5> y$_n66$raw_n95<5>
1108.def 0
11091 1 - 1
11100 - 1 1
1111.names _n66 y$_n6b$raw_n7f<6> y<6> y$_n66$raw_n95<6>
1112.def 0
11131 1 - 1
11140 - 1 1
1115.names _n66 y$_n6b$raw_n7f<7> y<7> y$_n66$raw_n95<7>
1116.def 0
11171 1 - 1
11180 - 1 1
1119.names _n66 x$_n6b$raw_n88<0> x<0> x$_n66$raw_n9e<0>
1120.def 0
11211 1 - 1
11220 - 1 1
1123.names _n66 x$_n6b$raw_n88<1> x<1> x$_n66$raw_n9e<1>
1124.def 0
11251 1 - 1
11260 - 1 1
1127.names _n66 x$_n6b$raw_n88<2> x<2> x$_n66$raw_n9e<2>
1128.def 0
11291 1 - 1
11300 - 1 1
1131.names _n66 x$_n6b$raw_n88<3> x<3> x$_n66$raw_n9e<3>
1132.def 0
11331 1 - 1
11340 - 1 1
1135.names _n66 x$_n6b$raw_n88<4> x<4> x$_n66$raw_n9e<4>
1136.def 0
11371 1 - 1
11380 - 1 1
1139.names _n66 x$_n6b$raw_n88<5> x<5> x$_n66$raw_n9e<5>
1140.def 0
11411 1 - 1
11420 - 1 1
1143.names _n66 x$_n6b$raw_n88<6> x<6> x$_n66$raw_n9e<6>
1144.def 0
11451 1 - 1
11460 - 1 1
1147.names _n66 x$_n6b$raw_n88<7> x<7> x$_n66$raw_n9e<7>
1148.def 0
11491 1 - 1
11500 - 1 1
1151.names _n5f y$_n5f_n65$true<0> y$_n66$raw_n95<0> y$_n5f$raw_na7<0>
1152.def 0
11531 1 - 1
11540 - 1 1
1155.names _n5f y$_n5f_n65$true<1> y$_n66$raw_n95<1> y$_n5f$raw_na7<1>
1156.def 0
11571 1 - 1
11580 - 1 1
1159.names _n5f y$_n5f_n65$true<2> y$_n66$raw_n95<2> y$_n5f$raw_na7<2>
1160.def 0
11611 1 - 1
11620 - 1 1
1163.names _n5f y$_n5f_n65$true<3> y$_n66$raw_n95<3> y$_n5f$raw_na7<3>
1164.def 0
11651 1 - 1
11660 - 1 1
1167.names _n5f y$_n5f_n65$true<4> y$_n66$raw_n95<4> y$_n5f$raw_na7<4>
1168.def 0
11691 1 - 1
11700 - 1 1
1171.names _n5f y$_n5f_n65$true<5> y$_n66$raw_n95<5> y$_n5f$raw_na7<5>
1172.def 0
11731 1 - 1
11740 - 1 1
1175.names _n5f y$_n5f_n65$true<6> y$_n66$raw_n95<6> y$_n5f$raw_na7<6>
1176.def 0
11771 1 - 1
11780 - 1 1
1179.names _n5f y$_n5f_n65$true<7> y$_n66$raw_n95<7> y$_n5f$raw_na7<7>
1180.def 0
11811 1 - 1
11820 - 1 1
1183.names _n5f x<0> x$_n66$raw_n9e<0> x$_n5f$raw_nb3<0>
1184.def 0
11851 1 - 1
11860 - 1 1
1187.names _n5f x<1> x$_n66$raw_n9e<1> x$_n5f$raw_nb3<1>
1188.def 0
11891 1 - 1
11900 - 1 1
1191.names _n5f x<2> x$_n66$raw_n9e<2> x$_n5f$raw_nb3<2>
1192.def 0
11931 1 - 1
11940 - 1 1
1195.names _n5f x<3> x$_n66$raw_n9e<3> x$_n5f$raw_nb3<3>
1196.def 0
11971 1 - 1
11980 - 1 1
1199.names _n5f x<4> x$_n66$raw_n9e<4> x$_n5f$raw_nb3<4>
1200.def 0
12011 1 - 1
12020 - 1 1
1203.names _n5f x<5> x$_n66$raw_n9e<5> x$_n5f$raw_nb3<5>
1204.def 0
12051 1 - 1
12060 - 1 1
1207.names _n5f x<6> x$_n66$raw_n9e<6> x$_n5f$raw_nb3<6>
1208.def 0
12091 1 - 1
12100 - 1 1
1211.names _n5f x<7> x$_n66$raw_n9e<7> x$_n5f$raw_nb3<7>
1212.def 0
12131 1 - 1
12140 - 1 1
1215.names _n58 x$_n58_n5e$true<0> x$_n5f$raw_nb3<0> x$_n58$raw_nbc<0>
1216.def 0
12171 1 - 1
12180 - 1 1
1219.names _n58 x$_n58_n5e$true<1> x$_n5f$raw_nb3<1> x$_n58$raw_nbc<1>
1220.def 0
12211 1 - 1
12220 - 1 1
1223.names _n58 x$_n58_n5e$true<2> x$_n5f$raw_nb3<2> x$_n58$raw_nbc<2>
1224.def 0
12251 1 - 1
12260 - 1 1
1227.names _n58 x$_n58_n5e$true<3> x$_n5f$raw_nb3<3> x$_n58$raw_nbc<3>
1228.def 0
12291 1 - 1
12300 - 1 1
1231.names _n58 x$_n58_n5e$true<4> x$_n5f$raw_nb3<4> x$_n58$raw_nbc<4>
1232.def 0
12331 1 - 1
12340 - 1 1
1235.names _n58 x$_n58_n5e$true<5> x$_n5f$raw_nb3<5> x$_n58$raw_nbc<5>
1236.def 0
12371 1 - 1
12380 - 1 1
1239.names _n58 x$_n58_n5e$true<6> x$_n5f$raw_nb3<6> x$_n58$raw_nbc<6>
1240.def 0
12411 1 - 1
12420 - 1 1
1243.names _n58 x$_n58_n5e$true<7> x$_n5f$raw_nb3<7> x$_n58$raw_nbc<7>
1244.def 0
12451 1 - 1
12460 - 1 1
1247.names _n58 y<0> y$_n5f$raw_na7<0> y$_n58$raw_nc7<0>
1248.def 0
12491 1 - 1
12500 - 1 1
1251.names _n58 y<1> y$_n5f$raw_na7<1> y$_n58$raw_nc7<1>
1252.def 0
12531 1 - 1
12540 - 1 1
1255.names _n58 y<2> y$_n5f$raw_na7<2> y$_n58$raw_nc7<2>
1256.def 0
12571 1 - 1
12580 - 1 1
1259.names _n58 y<3> y$_n5f$raw_na7<3> y$_n58$raw_nc7<3>
1260.def 0
12611 1 - 1
12620 - 1 1
1263.names _n58 y<4> y$_n5f$raw_na7<4> y$_n58$raw_nc7<4>
1264.def 0
12651 1 - 1
12660 - 1 1
1267.names _n58 y<5> y$_n5f$raw_na7<5> y$_n58$raw_nc7<5>
1268.def 0
12691 1 - 1
12700 - 1 1
1271.names _n58 y<6> y$_n5f$raw_na7<6> y$_n58$raw_nc7<6>
1272.def 0
12731 1 - 1
12740 - 1 1
1275.names _n58 y<7> y$_n5f$raw_na7<7> y$_n58$raw_nc7<7>
1276.def 0
12771 1 - 1
12780 - 1 1
1279.names _n4c lsb$_n4c_n51$true<0> lsb<0> lsb$_n4c$raw_nd3<0>
1280.def 0
12811 1 - 1
12820 - 1 1
1283.names _n4c lsb$_n4c_n51$true<1> lsb<1> lsb$_n4c$raw_nd3<1>
1284.def 0
12851 1 - 1
12860 - 1 1
1287.names _n4c lsb$_n4c_n51$true<2> lsb<2> lsb$_n4c$raw_nd3<2>
1288.def 0
12891 1 - 1
12900 - 1 1
1291.names _n4c y<0> y$_n58$raw_nc7<0> y$_n4c$raw_nd7<0>
1292.def 0
12931 1 - 1
12940 - 1 1
1295.names _n4c y<1> y$_n58$raw_nc7<1> y$_n4c$raw_nd7<1>
1296.def 0
12971 1 - 1
12980 - 1 1
1299.names _n4c y<2> y$_n58$raw_nc7<2> y$_n4c$raw_nd7<2>
1300.def 0
13011 1 - 1
13020 - 1 1
1303.names _n4c y<3> y$_n58$raw_nc7<3> y$_n4c$raw_nd7<3>
1304.def 0
13051 1 - 1
13060 - 1 1
1307.names _n4c y<4> y$_n58$raw_nc7<4> y$_n4c$raw_nd7<4>
1308.def 0
13091 1 - 1
13100 - 1 1
1311.names _n4c y<5> y$_n58$raw_nc7<5> y$_n4c$raw_nd7<5>
1312.def 0
13131 1 - 1
13140 - 1 1
1315.names _n4c y<6> y$_n58$raw_nc7<6> y$_n4c$raw_nd7<6>
1316.def 0
13171 1 - 1
13180 - 1 1
1319.names _n4c y<7> y$_n58$raw_nc7<7> y$_n4c$raw_nd7<7>
1320.def 0
13211 1 - 1
13220 - 1 1
1323.names _n4c x<0> x$_n58$raw_nbc<0> x$_n4c$raw_ne0<0>
1324.def 0
13251 1 - 1
13260 - 1 1
1327.names _n4c x<1> x$_n58$raw_nbc<1> x$_n4c$raw_ne0<1>
1328.def 0
13291 1 - 1
13300 - 1 1
1331.names _n4c x<2> x$_n58$raw_nbc<2> x$_n4c$raw_ne0<2>
1332.def 0
13331 1 - 1
13340 - 1 1
1335.names _n4c x<3> x$_n58$raw_nbc<3> x$_n4c$raw_ne0<3>
1336.def 0
13371 1 - 1
13380 - 1 1
1339.names _n4c x<4> x$_n58$raw_nbc<4> x$_n4c$raw_ne0<4>
1340.def 0
13411 1 - 1
13420 - 1 1
1343.names _n4c x<5> x$_n58$raw_nbc<5> x$_n4c$raw_ne0<5>
1344.def 0
13451 1 - 1
13460 - 1 1
1347.names _n4c x<6> x$_n58$raw_nbc<6> x$_n4c$raw_ne0<6>
1348.def 0
13491 1 - 1
13500 - 1 1
1351.names _n4c x<7> x$_n58$raw_nbc<7> x$_n4c$raw_ne0<7>
1352.def 0
13531 1 - 1
13540 - 1 1
1355.names done _ne9
1356- =done
1357# o  = (x  < y ) ? x  : y
1358# x  < y
1359.names _ned
13600
1361.names x<0> y<0> _ned _nec<0>
1362.def 0
13630 0 1 1
13640 1 0 1
13651 0 0 1
13661 1 1 1
1367# carry/borrow
1368.names _nef
13690
1370.names x<0> y<0> _nef _nee
1371.def 0
13720 - 1 1
13730 1 - 1
1374- 1 1 1
1375.names x<1> y<1> _nee _nec<1>
1376.def 0
13770 0 1 1
13780 1 0 1
13791 0 0 1
13801 1 1 1
1381# carry/borrow
1382.names x<1> y<1> _nee _nf0
1383.def 0
13840 - 1 1
13850 1 - 1
1386- 1 1 1
1387.names x<2> y<2> _nf0 _nec<2>
1388.def 0
13890 0 1 1
13900 1 0 1
13911 0 0 1
13921 1 1 1
1393# carry/borrow
1394.names x<2> y<2> _nf0 _nf1
1395.def 0
13960 - 1 1
13970 1 - 1
1398- 1 1 1
1399.names x<3> y<3> _nf1 _nec<3>
1400.def 0
14010 0 1 1
14020 1 0 1
14031 0 0 1
14041 1 1 1
1405# carry/borrow
1406.names x<3> y<3> _nf1 _nf2
1407.def 0
14080 - 1 1
14090 1 - 1
1410- 1 1 1
1411.names x<4> y<4> _nf2 _nec<4>
1412.def 0
14130 0 1 1
14140 1 0 1
14151 0 0 1
14161 1 1 1
1417# carry/borrow
1418.names x<4> y<4> _nf2 _nf3
1419.def 0
14200 - 1 1
14210 1 - 1
1422- 1 1 1
1423.names x<5> y<5> _nf3 _nec<5>
1424.def 0
14250 0 1 1
14260 1 0 1
14271 0 0 1
14281 1 1 1
1429# carry/borrow
1430.names x<5> y<5> _nf3 _nf4
1431.def 0
14320 - 1 1
14330 1 - 1
1434- 1 1 1
1435.names x<6> y<6> _nf4 _nec<6>
1436.def 0
14370 0 1 1
14380 1 0 1
14391 0 0 1
14401 1 1 1
1441# carry/borrow
1442.names x<6> y<6> _nf4 _nf5
1443.def 0
14440 - 1 1
14450 1 - 1
1446- 1 1 1
1447.names x<7> y<7> _nf5 _nec<7>
1448.def 0
14490 0 1 1
14500 1 0 1
14511 0 0 1
14521 1 1 1
1453# carry/borrow
1454.names x<7> y<7> _nf5 _nf6
1455.def 0
14560 - 1 1
14570 1 - 1
1458- 1 1 1
1459.names _nec<0> _nec<1> _nec<2> _nec<3> _nec<4> _nec<5> _nec<6> _nec<7> _nf7
1460.def 1
14610 0 0 0 0 0 0 0 0
1462.names _nf6 _nf7 _neb
1463.def 0
14641 1 1
1465# (x  < y ) ? x  : y
1466.names _neb x<0> y<0> _nf8<0>
1467.def 0
14681 1 - 1
14690 - 1 1
1470.names _neb x<1> y<1> _nf8<1>
1471.def 0
14721 1 - 1
14730 - 1 1
1474.names _neb x<2> y<2> _nf8<2>
1475.def 0
14761 1 - 1
14770 - 1 1
1478.names _neb x<3> y<3> _nf8<3>
1479.def 0
14801 1 - 1
14810 - 1 1
1482.names _neb x<4> y<4> _nf8<4>
1483.def 0
14841 1 - 1
14850 - 1 1
1486.names _neb x<5> y<5> _nf8<5>
1487.def 0
14881 1 - 1
14890 - 1 1
1490.names _neb x<6> y<6> _nf8<6>
1491.def 0
14921 1 - 1
14930 - 1 1
1494.names _neb x<7> y<7> _nf8<7>
1495.def 0
14961 1 - 1
14970 - 1 1
1498.names _nf8<0> o$done_nea$true<0>
1499- =_nf8<0>
1500.names _nf8<1> o$done_nea$true<1>
1501- =_nf8<1>
1502.names _nf8<2> o$done_nea$true<2>
1503- =_nf8<2>
1504.names _nf8<3> o$done_nea$true<3>
1505- =_nf8<3>
1506.names _nf8<4> o$done_nea$true<4>
1507- =_nf8<4>
1508.names _nf8<5> o$done_nea$true<5>
1509- =_nf8<5>
1510.names _nf8<6> o$done_nea$true<6>
1511- =_nf8<6>
1512.names _nf8<7> o$done_nea$true<7>
1513- =_nf8<7>
1514# if/else (done )
1515.names done o$done_nea$true<0> o<0> o$done$raw_n103<0>
1516.def 0
15171 1 - 1
15180 - 1 1
1519.names done o$done_nea$true<1> o<1> o$done$raw_n103<1>
1520.def 0
15211 1 - 1
15220 - 1 1
1523.names done o$done_nea$true<2> o<2> o$done$raw_n103<2>
1524.def 0
15251 1 - 1
15260 - 1 1
1527.names done o$done_nea$true<3> o<3> o$done$raw_n103<3>
1528.def 0
15291 1 - 1
15300 - 1 1
1531.names done o$done_nea$true<4> o<4> o$done$raw_n103<4>
1532.def 0
15331 1 - 1
15340 - 1 1
1535.names done o$done_nea$true<5> o<5> o$done$raw_n103<5>
1536.def 0
15371 1 - 1
15380 - 1 1
1539.names done o$done_nea$true<6> o<6> o$done$raw_n103<6>
1540.def 0
15411 1 - 1
15420 - 1 1
1543.names done o$done_nea$true<7> o<7> o$done$raw_n103<7>
1544.def 0
15451 1 - 1
15460 - 1 1
1547# if/else (busy  & ~done )
1548.names _n4a y$_n4c$raw_nd7<0> y<0> y$_n4a$raw_n112<0>
1549.def 0
15501 1 - 1
15510 - 1 1
1552.names _n4a y$_n4c$raw_nd7<1> y<1> y$_n4a$raw_n112<1>
1553.def 0
15541 1 - 1
15550 - 1 1
1556.names _n4a y$_n4c$raw_nd7<2> y<2> y$_n4a$raw_n112<2>
1557.def 0
15581 1 - 1
15590 - 1 1
1560.names _n4a y$_n4c$raw_nd7<3> y<3> y$_n4a$raw_n112<3>
1561.def 0
15621 1 - 1
15630 - 1 1
1564.names _n4a y$_n4c$raw_nd7<4> y<4> y$_n4a$raw_n112<4>
1565.def 0
15661 1 - 1
15670 - 1 1
1568.names _n4a y$_n4c$raw_nd7<5> y<5> y$_n4a$raw_n112<5>
1569.def 0
15701 1 - 1
15710 - 1 1
1572.names _n4a y$_n4c$raw_nd7<6> y<6> y$_n4a$raw_n112<6>
1573.def 0
15741 1 - 1
15750 - 1 1
1576.names _n4a y$_n4c$raw_nd7<7> y<7> y$_n4a$raw_n112<7>
1577.def 0
15781 1 - 1
15790 - 1 1
1580.names _n4a lsb$_n4c$raw_nd3<0> lsb<0> lsb$_n4a$raw_n11b<0>
1581.def 0
15821 1 - 1
15830 - 1 1
1584.names _n4a lsb$_n4c$raw_nd3<1> lsb<1> lsb$_n4a$raw_n11b<1>
1585.def 0
15861 1 - 1
15870 - 1 1
1588.names _n4a lsb$_n4c$raw_nd3<2> lsb<2> lsb$_n4a$raw_n11b<2>
1589.def 0
15901 1 - 1
15910 - 1 1
1592.names _n4a x$_n4c$raw_ne0<0> x<0> x$_n4a$raw_n11f<0>
1593.def 0
15941 1 - 1
15950 - 1 1
1596.names _n4a x$_n4c$raw_ne0<1> x<1> x$_n4a$raw_n11f<1>
1597.def 0
15981 1 - 1
15990 - 1 1
1600.names _n4a x$_n4c$raw_ne0<2> x<2> x$_n4a$raw_n11f<2>
1601.def 0
16021 1 - 1
16030 - 1 1
1604.names _n4a x$_n4c$raw_ne0<3> x<3> x$_n4a$raw_n11f<3>
1605.def 0
16061 1 - 1
16070 - 1 1
1608.names _n4a x$_n4c$raw_ne0<4> x<4> x$_n4a$raw_n11f<4>
1609.def 0
16101 1 - 1
16110 - 1 1
1612.names _n4a x$_n4c$raw_ne0<5> x<5> x$_n4a$raw_n11f<5>
1613.def 0
16141 1 - 1
16150 - 1 1
1616.names _n4a x$_n4c$raw_ne0<6> x<6> x$_n4a$raw_n11f<6>
1617.def 0
16181 1 - 1
16190 - 1 1
1620.names _n4a x$_n4c$raw_ne0<7> x<7> x$_n4a$raw_n11f<7>
1621.def 0
16221 1 - 1
16230 - 1 1
1624.names _n4a o<0> o$done$raw_n103<0> o$_n4a$raw_n128<0>
1625.def 0
16261 1 - 1
16270 - 1 1
1628.names _n4a o<1> o$done$raw_n103<1> o$_n4a$raw_n128<1>
1629.def 0
16301 1 - 1
16310 - 1 1
1632.names _n4a o<2> o$done$raw_n103<2> o$_n4a$raw_n128<2>
1633.def 0
16341 1 - 1
16350 - 1 1
1636.names _n4a o<3> o$done$raw_n103<3> o$_n4a$raw_n128<3>
1637.def 0
16381 1 - 1
16390 - 1 1
1640.names _n4a o<4> o$done$raw_n103<4> o$_n4a$raw_n128<4>
1641.def 0
16421 1 - 1
16430 - 1 1
1644.names _n4a o<5> o$done$raw_n103<5> o$_n4a$raw_n128<5>
1645.def 0
16461 1 - 1
16470 - 1 1
1648.names _n4a o<6> o$done$raw_n103<6> o$_n4a$raw_n128<6>
1649.def 0
16501 1 - 1
16510 - 1 1
1652.names _n4a o<7> o$done$raw_n103<7> o$_n4a$raw_n128<7>
1653.def 0
16541 1 - 1
16550 - 1 1
1656# if/else (load )
1657.names load y$load_n47$true<0> y$_n4a$raw_n112<0> y$load$raw_n134<0>
1658.def 0
16591 1 - 1
16600 - 1 1
1661.names load y$load_n47$true<1> y$_n4a$raw_n112<1> y$load$raw_n134<1>
1662.def 0
16631 1 - 1
16640 - 1 1
1665.names load y$load_n47$true<2> y$_n4a$raw_n112<2> y$load$raw_n134<2>
1666.def 0
16671 1 - 1
16680 - 1 1
1669.names load y$load_n47$true<3> y$_n4a$raw_n112<3> y$load$raw_n134<3>
1670.def 0
16711 1 - 1
16720 - 1 1
1673.names load y$load_n47$true<4> y$_n4a$raw_n112<4> y$load$raw_n134<4>
1674.def 0
16751 1 - 1
16760 - 1 1
1677.names load y$load_n47$true<5> y$_n4a$raw_n112<5> y$load$raw_n134<5>
1678.def 0
16791 1 - 1
16800 - 1 1
1681.names load y$load_n47$true<6> y$_n4a$raw_n112<6> y$load$raw_n134<6>
1682.def 0
16831 1 - 1
16840 - 1 1
1685.names load y$load_n47$true<7> y$_n4a$raw_n112<7> y$load$raw_n134<7>
1686.def 0
16871 1 - 1
16880 - 1 1
1689.names load lsb$load_n48$true<0> lsb$_n4a$raw_n11b<0> lsb$load$raw_n13d<0>
1690.def 0
16911 1 - 1
16920 - 1 1
1693.names load lsb$load_n48$true<1> lsb$_n4a$raw_n11b<1> lsb$load$raw_n13d<1>
1694.def 0
16951 1 - 1
16960 - 1 1
1697.names load lsb$load_n48$true<2> lsb$_n4a$raw_n11b<2> lsb$load$raw_n13d<2>
1698.def 0
16991 1 - 1
17000 - 1 1
1701.names load x$load_n46$true<0> x$_n4a$raw_n11f<0> x$load$raw_n141<0>
1702.def 0
17031 1 - 1
17040 - 1 1
1705.names load x$load_n46$true<1> x$_n4a$raw_n11f<1> x$load$raw_n141<1>
1706.def 0
17071 1 - 1
17080 - 1 1
1709.names load x$load_n46$true<2> x$_n4a$raw_n11f<2> x$load$raw_n141<2>
1710.def 0
17111 1 - 1
17120 - 1 1
1713.names load x$load_n46$true<3> x$_n4a$raw_n11f<3> x$load$raw_n141<3>
1714.def 0
17151 1 - 1
17160 - 1 1
1717.names load x$load_n46$true<4> x$_n4a$raw_n11f<4> x$load$raw_n141<4>
1718.def 0
17191 1 - 1
17200 - 1 1
1721.names load x$load_n46$true<5> x$_n4a$raw_n11f<5> x$load$raw_n141<5>
1722.def 0
17231 1 - 1
17240 - 1 1
1725.names load x$load_n46$true<6> x$_n4a$raw_n11f<6> x$load$raw_n141<6>
1726.def 0
17271 1 - 1
17280 - 1 1
1729.names load x$load_n46$true<7> x$_n4a$raw_n11f<7> x$load$raw_n141<7>
1730.def 0
17311 1 - 1
17320 - 1 1
1733.names load o<0> o$_n4a$raw_n128<0> o$load$raw_n14e<0>
1734.def 0
17351 1 - 1
17360 - 1 1
1737.names load o<1> o$_n4a$raw_n128<1> o$load$raw_n14e<1>
1738.def 0
17391 1 - 1
17400 - 1 1
1741.names load o<2> o$_n4a$raw_n128<2> o$load$raw_n14e<2>
1742.def 0
17431 1 - 1
17440 - 1 1
1745.names load o<3> o$_n4a$raw_n128<3> o$load$raw_n14e<3>
1746.def 0
17471 1 - 1
17480 - 1 1
1749.names load o<4> o$_n4a$raw_n128<4> o$load$raw_n14e<4>
1750.def 0
17511 1 - 1
17520 - 1 1
1753.names load o<5> o$_n4a$raw_n128<5> o$load$raw_n14e<5>
1754.def 0
17551 1 - 1
17560 - 1 1
1757.names load o<6> o$_n4a$raw_n128<6> o$load$raw_n14e<6>
1758.def 0
17591 1 - 1
17600 - 1 1
1761.names load o<7> o$_n4a$raw_n128<7> o$load$raw_n14e<7>
1762.def 0
17631 1 - 1
17640 - 1 1
1765# assign load  = start  & ~busy
1766.names busy _n15a
17670 1 
17681 0 
1769# start  & ~busy
1770.names start _n15a _n15b
1771.def 0
17721 1 1
1773.names _n15b load$raw_n159
1774- =_n15b
1775.names busy _n15c
17760 1 
17771 0 
1778.names _n15c _n15d
1779- =_n15c
1780.names start _n15e
1781- =start
1782# busy  = 1
1783.names busy$start_n15f$true
17841
1785# if/else (start )
1786.names start busy$start_n15f$true busy busy$start$raw_n162
1787.def 0
17881 1 - 1
17890 - 1 1
1790.names done _n164
1791- =done
1792# busy  = 0
1793.names busy$done_n165$true
17940
1795# if/else (done )
1796.names done busy$done_n165$true busy busy$done$raw_n168
1797.def 0
17981 1 - 1
17990 - 1 1
1800# if/else (~busy )
1801.names _n15c busy$start$raw_n162 busy$done$raw_n168 busy$_n15c$raw_n16b
1802.def 0
18031 1 - 1
18040 - 1 1
1805# conflict arbitrators
1806.names _n45 _n4b _n4c _n58 _n5f _n66 _n78 _n16f
1807.def 0
1808 1 - - - - - - 1
1809 0 1 0 0 1 - - 1
1810 0 1 0 0 1 - - 1
1811 0 1 0 0 0 1 1 1
1812 0 1 0 0 0 1 1 1
1813.names _n16f y$load$raw_n134<0> y$load$raw_n134<1> y$load$raw_n134<2> y$load$raw_n134<3> y$load$raw_n134<4> y$load$raw_n134<5> y$load$raw_n134<6> y$load$raw_n134<7> y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> -> _n170<0> _n170<1> _n170<2> _n170<3> _n170<4> _n170<5> _n170<6> _n170<7>
18141 - - - - - - - - - - - - - - - - =y$load$raw_n134<0> =y$load$raw_n134<1> =y$load$raw_n134<2> =y$load$raw_n134<3> =y$load$raw_n134<4> =y$load$raw_n134<5> =y$load$raw_n134<6> =y$load$raw_n134<7>
18150 - - - - - - - - - - - - - - - - =y<0> =y<1> =y<2> =y<3> =y<4> =y<5> =y<6> =y<7>
1816.names _n45 _n4b _ne9 _n171
1817.def 0
1818 0 0 1 1
1819.names _n171 o$load$raw_n14e<0> o$load$raw_n14e<1> o$load$raw_n14e<2> o$load$raw_n14e<3> o$load$raw_n14e<4> o$load$raw_n14e<5> o$load$raw_n14e<6> o$load$raw_n14e<7> o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7> -> _n172<0> _n172<1> _n172<2> _n172<3> _n172<4> _n172<5> _n172<6> _n172<7>
18201 - - - - - - - - - - - - - - - - =o$load$raw_n14e<0> =o$load$raw_n14e<1> =o$load$raw_n14e<2> =o$load$raw_n14e<3> =o$load$raw_n14e<4> =o$load$raw_n14e<5> =o$load$raw_n14e<6> =o$load$raw_n14e<7>
18210 - - - - - - - - - - - - - - - - =o<0> =o<1> =o<2> =o<3> =o<4> =o<5> =o<6> =o<7>
1822.names load$raw_n159  load
18230 0
18241 1
1825.names _n45 _n4b _n4c _n173
1826.def 0
1827 1 - - 1
1828 0 1 1 1
1829.names _n173 lsb$load$raw_n13d<0> lsb$load$raw_n13d<1> lsb$load$raw_n13d<2> lsb<0> lsb<1> lsb<2> -> _n174<0> _n174<1> _n174<2>
18301 - - - - - - =lsb$load$raw_n13d<0> =lsb$load$raw_n13d<1> =lsb$load$raw_n13d<2>
18310 - - - - - - =lsb<0> =lsb<1> =lsb<2>
1832.names _n15d _n15e _n164 _n175
1833.def 0
1834 1 1 - 1
1835 0 - 1 1
1836.names _n175 busy$_n15c$raw_n16b busy _n176
18371 0 - 0
18381 1 - 1
18390 - 0 0
18400 - 1 1
1841.names xy_lsb$raw_n3<0>  xy_lsb<0>
1842- =xy_lsb$raw_n3<0>
1843.names xy_lsb$raw_n0<1>  xy_lsb<1>
1844- =xy_lsb$raw_n0<1>
1845.names done$raw_n36  done
18460 0
18471 1
1848.names diff$raw_n6<0>  diff<0>
1849- =diff$raw_n6<0>
1850.names diff$raw_n6<1>  diff<1>
1851- =diff$raw_n6<1>
1852.names diff$raw_n6<2>  diff<2>
1853- =diff$raw_n6<2>
1854.names diff$raw_n6<3>  diff<3>
1855- =diff$raw_n6<3>
1856.names diff$raw_n6<4>  diff<4>
1857- =diff$raw_n6<4>
1858.names diff$raw_n6<5>  diff<5>
1859- =diff$raw_n6<5>
1860.names diff$raw_n6<6>  diff<6>
1861- =diff$raw_n6<6>
1862.names diff$raw_n6<7>  diff<7>
1863- =diff$raw_n6<7>
1864.names _n45 _n4b _n4c _n58 _n5f _n66 _n78 _n177
1865.def 0
1866 1 - - - - - - 1
1867 0 1 0 1 - - - 1
1868 0 1 0 1 - - - 1
1869 0 1 0 0 0 1 0 1
1870 0 1 0 0 0 1 0 1
1871.names _n177 x$load$raw_n141<0> x$load$raw_n141<1> x$load$raw_n141<2> x$load$raw_n141<3> x$load$raw_n141<4> x$load$raw_n141<5> x$load$raw_n141<6> x$load$raw_n141<7> x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> -> _n178<0> _n178<1> _n178<2> _n178<3> _n178<4> _n178<5> _n178<6> _n178<7>
18721 - - - - - - - - - - - - - - - - =x$load$raw_n141<0> =x$load$raw_n141<1> =x$load$raw_n141<2> =x$load$raw_n141<3> =x$load$raw_n141<4> =x$load$raw_n141<5> =x$load$raw_n141<6> =x$load$raw_n141<7>
18730 - - - - - - - - - - - - - - - - =x<0> =x<1> =x<2> =x<3> =x<4> =x<5> =x<6> =x<7>
1874# non-blocking assignments
1875# latches
1876.r y$raw_n33<0> y<0>
1877.def 0
18781 1
1879.r y$raw_n33<1> y<1>
1880.def 0
18811 1
1882.r y$raw_n33<2> y<2>
1883.def 0
18841 1
1885.r y$raw_n33<3> y<3>
1886.def 0
18871 1
1888.r y$raw_n33<4> y<4>
1889.def 0
18901 1
1891.r y$raw_n33<5> y<5>
1892.def 0
18931 1
1894.r y$raw_n33<6> y<6>
1895.def 0
18961 1
1897.r y$raw_n33<7> y<7>
1898.def 0
18991 1
1900.latch _n170<0> y<0>
1901.latch _n170<1> y<1>
1902.latch _n170<2> y<2>
1903.latch _n170<3> y<3>
1904.latch _n170<4> y<4>
1905.latch _n170<5> y<5>
1906.latch _n170<6> y<6>
1907.latch _n170<7> y<7>
1908.r o$raw_n34<0> o<0>
1909.def 0
19101 1
1911.r o$raw_n34<1> o<1>
1912.def 0
19131 1
1914.r o$raw_n34<2> o<2>
1915.def 0
19161 1
1917.r o$raw_n34<3> o<3>
1918.def 0
19191 1
1920.r o$raw_n34<4> o<4>
1921.def 0
19221 1
1923.r o$raw_n34<5> o<5>
1924.def 0
19251 1
1926.r o$raw_n34<6> o<6>
1927.def 0
19281 1
1929.r o$raw_n34<7> o<7>
1930.def 0
19311 1
1932.latch _n172<0> o<0>
1933.latch _n172<1> o<1>
1934.latch _n172<2> o<2>
1935.latch _n172<3> o<3>
1936.latch _n172<4> o<4>
1937.latch _n172<5> o<5>
1938.latch _n172<6> o<6>
1939.latch _n172<7> o<7>
1940.r busy$raw_n31 busy
19410 0
19421 1
1943.latch _n176 busy
1944.r lsb$raw_n35<0> lsb<0>
1945.def 0
19461 1
1947.r lsb$raw_n35<1> lsb<1>
1948.def 0
19491 1
1950.r lsb$raw_n35<2> lsb<2>
1951.def 0
19521 1
1953.latch _n174<0> lsb<0>
1954.latch _n174<1> lsb<1>
1955.latch _n174<2> lsb<2>
1956.r x$raw_n32<0> x<0>
1957.def 0
19581 1
1959.r x$raw_n32<1> x<1>
1960.def 0
19611 1
1962.r x$raw_n32<2> x<2>
1963.def 0
19641 1
1965.r x$raw_n32<3> x<3>
1966.def 0
19671 1
1968.r x$raw_n32<4> x<4>
1969.def 0
19701 1
1971.r x$raw_n32<5> x<5>
1972.def 0
19731 1
1974.r x$raw_n32<6> x<6>
1975.def 0
19761 1
1977.r x$raw_n32<7> x<7>
1978.def 0
19791 1
1980.latch _n178<0> x<0>
1981.latch _n178<1> x<1>
1982.latch _n178<2> x<2>
1983.latch _n178<3> x<3>
1984.latch _n178<4> x<4>
1985.latch _n178<5> x<5>
1986.latch _n178<6> x<6>
1987.latch _n178<7> x<7>
1988# quasi-continuous assignment
1989.end
1990.model select
1991# I/O ports
1992.inputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7>
1993.inputs lsb<0> lsb<1> lsb<2>
1994.outputs select<0>
1995.names _n17a<0>
19960
1997.names _n17a<1>
19980
1999.names _n17a<2>
20000
2001# lsb  == 'b000
2002.names lsb<0> _n17a<0> _n17b<0>
2003.def 0
20040 1 1
20051 0 1
2006.names lsb<1> _n17a<1> _n17b<1>
2007.def 0
20080 1 1
20091 0 1
2010.names lsb<2> _n17a<2> _n17b<2>
2011.def 0
20120 1 1
20131 0 1
2014.names _n17b<0> _n17b<1> _n17b<2> _n17c
2015.def 1
20160 0 0 0
2017.names _n17c _n179
20180 1 
20191 0 
2020.names _n179 _n17d
2021- =_n179
2022# select  = z [0]
2023.names z<0> select$_n179_n17e$true<0>
2024- =z<0>
2025.names _n180<0>
20261
2027.names _n180<1>
20280
2029.names _n180<2>
20300
2031# lsb  == 'b001
2032.names lsb<0> _n180<0> _n181<0>
2033.def 0
20340 1 1
20351 0 1
2036.names lsb<1> _n180<1> _n181<1>
2037.def 0
20380 1 1
20391 0 1
2040.names lsb<2> _n180<2> _n181<2>
2041.def 0
20420 1 1
20431 0 1
2044.names _n181<0> _n181<1> _n181<2> _n182
2045.def 1
20460 0 0 0
2047.names _n182 _n17f
20480 1 
20491 0 
2050.names _n17f _n183
2051- =_n17f
2052# select  = z [1]
2053.names z<1> select$_n17f_n184$true<0>
2054- =z<1>
2055.names _n186<0>
20560
2057.names _n186<1>
20581
2059.names _n186<2>
20600
2061# lsb  == 'b010
2062.names lsb<0> _n186<0> _n187<0>
2063.def 0
20640 1 1
20651 0 1
2066.names lsb<1> _n186<1> _n187<1>
2067.def 0
20680 1 1
20691 0 1
2070.names lsb<2> _n186<2> _n187<2>
2071.def 0
20720 1 1
20731 0 1
2074.names _n187<0> _n187<1> _n187<2> _n188
2075.def 1
20760 0 0 0
2077.names _n188 _n185
20780 1 
20791 0 
2080.names _n185 _n189
2081- =_n185
2082# select  = z [2]
2083.names z<2> select$_n185_n18a$true<0>
2084- =z<2>
2085.names _n18c<0>
20861
2087.names _n18c<1>
20881
2089.names _n18c<2>
20900
2091# lsb  == 'b011
2092.names lsb<0> _n18c<0> _n18d<0>
2093.def 0
20940 1 1
20951 0 1
2096.names lsb<1> _n18c<1> _n18d<1>
2097.def 0
20980 1 1
20991 0 1
2100.names lsb<2> _n18c<2> _n18d<2>
2101.def 0
21020 1 1
21031 0 1
2104.names _n18d<0> _n18d<1> _n18d<2> _n18e
2105.def 1
21060 0 0 0
2107.names _n18e _n18b
21080 1 
21091 0 
2110.names _n18b _n18f
2111- =_n18b
2112# select  = z [3]
2113.names z<3> select$_n18b_n190$true<0>
2114- =z<3>
2115.names _n192<0>
21160
2117.names _n192<1>
21180
2119.names _n192<2>
21201
2121# lsb  == 'b100
2122.names lsb<0> _n192<0> _n193<0>
2123.def 0
21240 1 1
21251 0 1
2126.names lsb<1> _n192<1> _n193<1>
2127.def 0
21280 1 1
21291 0 1
2130.names lsb<2> _n192<2> _n193<2>
2131.def 0
21320 1 1
21331 0 1
2134.names _n193<0> _n193<1> _n193<2> _n194
2135.def 1
21360 0 0 0
2137.names _n194 _n191
21380 1 
21391 0 
2140.names _n191 _n195
2141- =_n191
2142# select  = z [4]
2143.names z<4> select$_n191_n196$true<0>
2144- =z<4>
2145.names _n198<0>
21461
2147.names _n198<1>
21480
2149.names _n198<2>
21501
2151# lsb  == 'b101
2152.names lsb<0> _n198<0> _n199<0>
2153.def 0
21540 1 1
21551 0 1
2156.names lsb<1> _n198<1> _n199<1>
2157.def 0
21580 1 1
21591 0 1
2160.names lsb<2> _n198<2> _n199<2>
2161.def 0
21620 1 1
21631 0 1
2164.names _n199<0> _n199<1> _n199<2> _n19a
2165.def 1
21660 0 0 0
2167.names _n19a _n197
21680 1 
21691 0 
2170.names _n197 _n19b
2171- =_n197
2172# select  = z [5]
2173.names z<5> select$_n197_n19c$true<0>
2174- =z<5>
2175.names _n19e<0>
21760
2177.names _n19e<1>
21781
2179.names _n19e<2>
21801
2181# lsb  == 'b110
2182.names lsb<0> _n19e<0> _n19f<0>
2183.def 0
21840 1 1
21851 0 1
2186.names lsb<1> _n19e<1> _n19f<1>
2187.def 0
21880 1 1
21891 0 1
2190.names lsb<2> _n19e<2> _n19f<2>
2191.def 0
21920 1 1
21931 0 1
2194.names _n19f<0> _n19f<1> _n19f<2> _n1a0
2195.def 1
21960 0 0 0
2197.names _n1a0 _n19d
21980 1 
21991 0 
2200.names _n19d _n1a1
2201- =_n19d
2202# select  = z [6]
2203.names z<6> select$_n19d_n1a2$true<0>
2204- =z<6>
2205# select  = z [7]
2206.names z<7> select$_n19d_n1a3$false<0>
2207- =z<7>
2208# if/else (lsb  == 'b110)
2209.names _n19d select$_n19d_n1a2$true<0> select$_n19d_n1a3$false<0> select$_n19d$raw_n1a5<0>
2210.def 0
22111 1 - 1
22120 - 1 1
2213# if/else (lsb  == 'b101)
2214.names _n197 select$_n197_n19c$true<0> select$_n19d$raw_n1a5<0> select$_n197$raw_n1aa<0>
2215.def 0
22161 1 - 1
22170 - 1 1
2218# if/else (lsb  == 'b100)
2219.names _n191 select$_n191_n196$true<0> select$_n197$raw_n1aa<0> select$_n191$raw_n1af<0>
2220.def 0
22211 1 - 1
22220 - 1 1
2223# if/else (lsb  == 'b011)
2224.names _n18b select$_n18b_n190$true<0> select$_n191$raw_n1af<0> select$_n18b$raw_n1b4<0>
2225.def 0
22261 1 - 1
22270 - 1 1
2228# if/else (lsb  == 'b010)
2229.names _n185 select$_n185_n18a$true<0> select$_n18b$raw_n1b4<0> select$_n185$raw_n1b9<0>
2230.def 0
22311 1 - 1
22320 - 1 1
2233# if/else (lsb  == 'b001)
2234.names _n17f select$_n17f_n184$true<0> select$_n185$raw_n1b9<0> select$_n17f$raw_n1be<0>
2235.def 0
22361 1 - 1
22370 - 1 1
2238# if/else (lsb  == 'b000)
2239.names _n179 select$_n179_n17e$true<0> select$_n17f$raw_n1be<0> select$_n179$raw_n1c3<0>
2240.def 0
22411 1 - 1
22420 - 1 1
2243# conflict arbitrators
2244.names select$_n179$raw_n1c3<0>  select<0>
2245- =select$_n179$raw_n1c3<0>
2246.end
2247
2248
Note: See TracBrowser for help on using the repository browser.