source: vis_dev/vis-2.3/models/arbiter/3_faulty.mv @ 40

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

exemples de test

File size: 16.6 KB
Line 
1# vl2mv 3_faulty.v
2# version: 2.1
3# date:    10:35:53 11/22/2010 (CET)
4.model concret
5# I/O ports
6.outputs p
7.outputs q
8.inputs i
9.inputs j
10# p  = 1
11.names p$raw_n0
121
13# q  = 1
14.names q$raw_n1
151
16# state  = 0
17.names state$raw_n2<0>
180
19.names state$raw_n2<1>
200
21.names state$raw_n2<2>
220
23.names state$raw_n2<3>
240
25# non-blocking assignments for initial
26.names _n5<0>
270
28.names _n5<1>
290
30.names _n5<2>
310
32.names _n5<3>
330
34.names state<0> _n5<0> _n6<0>
35.def 0
360 1 1
371 0 1
38.names state<1> _n5<1> _n6<1>
39.def 0
400 1 1
411 0 1
42.names state<2> _n5<2> _n6<2>
43.def 0
440 1 1
451 0 1
46.names state<3> _n5<3> _n6<3>
47.def 0
480 1 1
491 0 1
50.names _n6<0> _n6<1> _n6<2> _n6<3> _n7
51.def 1
520 0 0 0 0
53.names _n7 _n4
540 1 
551 0 
56.names _n4  _n3
57.def 1
580 0
59.names _n9
601
61# j  == 1
62.names j _n9 _na
63.def 0
640 1 1
651 0 1
66.names _na _n8
670 1 
681 0 
69.names _n8 _nc
70- =_n8
71# state  = 3
72.names state$_n8_nd$true<0>
731
74.names state$_n8_nd$true<1>
751
76.names state$_n8_nd$true<2>
770
78.names state$_n8_nd$true<3>
790
80# p  = 0
81.names p$_n8_ne$true
820
83# q  = 1
84.names q$_n8_nf$true
851
86.names _n11
871
88# i  == 1
89.names i _n11 _n12
90.def 0
910 1 1
921 0 1
93.names _n12 _n10
940 1 
951 0 
96.names _n10 _n14
97- =_n10
98# state  = 5
99.names state$_n10_n15$true<0>
1001
101.names state$_n10_n15$true<1>
1020
103.names state$_n10_n15$true<2>
1041
105.names state$_n10_n15$true<3>
1060
107# p  = 1
108.names p$_n10_n16$true
1091
110# q  = 0
111.names q$_n10_n17$true
1120
113# state  = 1
114.names state$_n10_n18$false<0>
1151
116.names state$_n10_n18$false<1>
1170
118.names state$_n10_n18$false<2>
1190
120.names state$_n10_n18$false<3>
1210
122# p  = 1
123.names p$_n10_n19$false
1241
125# q  = 1
126.names q$_n10_n1a$false
1271
128# if/else (i  == 1)
129.names _n10 p$_n10_n16$true p$_n10_n19$false p$_n10$raw_n1e
130.def 0
1311 1 - 1
1320 - 1 1
133.names _n10 q$_n10_n17$true q$_n10_n1a$false q$_n10$raw_n20
134.def 0
1351 1 - 1
1360 - 1 1
137.names _n10 state$_n10_n15$true<0> state$_n10_n18$false<0> state$_n10$raw_n22<0>
138.def 0
1391 1 - 1
1400 - 1 1
141.names _n10 state$_n10_n15$true<1> state$_n10_n18$false<1> state$_n10$raw_n22<1>
142.def 0
1431 1 - 1
1440 - 1 1
145.names _n10 state$_n10_n15$true<2> state$_n10_n18$false<2> state$_n10$raw_n22<2>
146.def 0
1471 1 - 1
1480 - 1 1
149.names _n10 state$_n10_n15$true<3> state$_n10_n18$false<3> state$_n10$raw_n22<3>
150.def 0
1511 1 - 1
1520 - 1 1
153# if/else (j  == 1)
154.names _n8 p$_n8_ne$true p$_n10$raw_n1e p$_n8$raw_n30
155.def 0
1561 1 - 1
1570 - 1 1
158.names _n8 q$_n8_nf$true q$_n10$raw_n20 q$_n8$raw_n32
159.def 0
1601 1 - 1
1610 - 1 1
162.names _n8 state$_n8_nd$true<0> state$_n10$raw_n22<0> state$_n8$raw_n34<0>
163.def 0
1641 1 - 1
1650 - 1 1
166.names _n8 state$_n8_nd$true<1> state$_n10$raw_n22<1> state$_n8$raw_n34<1>
167.def 0
1681 1 - 1
1690 - 1 1
170.names _n8 state$_n8_nd$true<2> state$_n10$raw_n22<2> state$_n8$raw_n34<2>
171.def 0
1721 1 - 1
1730 - 1 1
174.names _n8 state$_n8_nd$true<3> state$_n10$raw_n22<3> state$_n8$raw_n34<3>
175.def 0
1761 1 - 1
1770 - 1 1
178.names _n41<0>
1791
180.names _n41<1>
1810
182.names _n41<2>
1830
184.names _n41<3>
1850
186.names state<0> _n41<0> _n42<0>
187.def 0
1880 1 1
1891 0 1
190.names state<1> _n41<1> _n42<1>
191.def 0
1920 1 1
1931 0 1
194.names state<2> _n41<2> _n42<2>
195.def 0
1960 1 1
1971 0 1
198.names state<3> _n41<3> _n42<3>
199.def 0
2000 1 1
2011 0 1
202.names _n42<0> _n42<1> _n42<2> _n42<3> _n43
203.def 1
2040 0 0 0 0
205.names _n43 _n40
2060 1 
2071 0 
208.names _n40  _n3f
209.def 1
2100 0
211# state  = 2
212.names state$_n3f_n44$true<0>
2130
214.names state$_n3f_n44$true<1>
2151
216.names state$_n3f_n44$true<2>
2170
218.names state$_n3f_n44$true<3>
2190
220# p  = 1
221.names p$_n3f_n45$true
2221
223# q  = 0
224.names q$_n3f_n46$true
2250
226.names _n49<0>
2270
228.names _n49<1>
2291
230.names _n49<2>
2310
232.names _n49<3>
2330
234.names state<0> _n49<0> _n4a<0>
235.def 0
2360 1 1
2371 0 1
238.names state<1> _n49<1> _n4a<1>
239.def 0
2400 1 1
2411 0 1
242.names state<2> _n49<2> _n4a<2>
243.def 0
2440 1 1
2451 0 1
246.names state<3> _n49<3> _n4a<3>
247.def 0
2480 1 1
2491 0 1
250.names _n4a<0> _n4a<1> _n4a<2> _n4a<3> _n4b
251.def 1
2520 0 0 0 0
253.names _n4b _n48
2540 1 
2551 0 
256.names _n48  _n47
257.def 1
2580 0
259# state  = 8
260.names state$_n47_n4c$true<0>
2610
262.names state$_n47_n4c$true<1>
2630
264.names state$_n47_n4c$true<2>
2650
266.names state$_n47_n4c$true<3>
2671
268# p  = 1
269.names p$_n47_n4d$true
2701
271# q  = 1
272.names q$_n47_n4e$true
2731
274.names _n51<0>
2751
276.names _n51<1>
2771
278.names _n51<2>
2790
280.names _n51<3>
2810
282.names state<0> _n51<0> _n52<0>
283.def 0
2840 1 1
2851 0 1
286.names state<1> _n51<1> _n52<1>
287.def 0
2880 1 1
2891 0 1
290.names state<2> _n51<2> _n52<2>
291.def 0
2920 1 1
2931 0 1
294.names state<3> _n51<3> _n52<3>
295.def 0
2960 1 1
2971 0 1
298.names _n52<0> _n52<1> _n52<2> _n52<3> _n53
299.def 1
3000 0 0 0 0
301.names _n53 _n50
3020 1 
3031 0 
304.names _n50  _n4f
305.def 1
3060 0
307# state  = 4
308.names state$_n4f_n54$true<0>
3090
310.names state$_n4f_n54$true<1>
3110
312.names state$_n4f_n54$true<2>
3131
314.names state$_n4f_n54$true<3>
3150
316# p  = 1
317.names p$_n4f_n55$true
3181
319# q  = 0
320.names q$_n4f_n56$true
3210
322.names _n59<0>
3230
324.names _n59<1>
3250
326.names _n59<2>
3271
328.names _n59<3>
3290
330.names state<0> _n59<0> _n5a<0>
331.def 0
3320 1 1
3331 0 1
334.names state<1> _n59<1> _n5a<1>
335.def 0
3360 1 1
3371 0 1
338.names state<2> _n59<2> _n5a<2>
339.def 0
3400 1 1
3411 0 1
342.names state<3> _n59<3> _n5a<3>
343.def 0
3440 1 1
3451 0 1
346.names _n5a<0> _n5a<1> _n5a<2> _n5a<3> _n5b
347.def 1
3480 0 0 0 0
349.names _n5b _n58
3500 1 
3511 0 
352.names _n58  _n57
353.def 1
3540 0
355# state  = 4
356.names state$_n57_n5c$true<0>
3570
358.names state$_n57_n5c$true<1>
3590
360.names state$_n57_n5c$true<2>
3611
362.names state$_n57_n5c$true<3>
3630
364# p  = 1
365.names p$_n57_n5d$true
3661
367# q  = 0
368.names q$_n57_n5e$true
3690
370.names _n61<0>
3711
372.names _n61<1>
3730
374.names _n61<2>
3751
376.names _n61<3>
3770
378.names state<0> _n61<0> _n62<0>
379.def 0
3800 1 1
3811 0 1
382.names state<1> _n61<1> _n62<1>
383.def 0
3840 1 1
3851 0 1
386.names state<2> _n61<2> _n62<2>
387.def 0
3880 1 1
3891 0 1
390.names state<3> _n61<3> _n62<3>
391.def 0
3920 1 1
3931 0 1
394.names _n62<0> _n62<1> _n62<2> _n62<3> _n63
395.def 1
3960 0 0 0 0
397.names _n63 _n60
3980 1 
3991 0 
400.names _n60  _n5f
401.def 1
4020 0
403.names _n65
4040
405# j  == 0
406.names j _n65 _n66
407.def 0
4080 1 1
4091 0 1
410.names _n66 _n64
4110 1 
4121 0 
413.names _n64 _n68
414- =_n64
415# state  = 6
416.names state$_n64_n69$true<0>
4170
418.names state$_n64_n69$true<1>
4191
420.names state$_n64_n69$true<2>
4211
422.names state$_n64_n69$true<3>
4230
424# p  = 1
425.names p$_n64_n6a$true
4261
427# q  = 1
428.names q$_n64_n6b$true
4291
430# state  = 2
431.names state$_n64_n6c$false<0>
4320
433.names state$_n64_n6c$false<1>
4341
435.names state$_n64_n6c$false<2>
4360
437.names state$_n64_n6c$false<3>
4380
439# p  = 1
440.names p$_n64_n6d$false
4411
442# q  = 0
443.names q$_n64_n6e$false
4440
445# if/else (j  == 0)
446.names _n64 p$_n64_n6a$true p$_n64_n6d$false p$_n64$raw_n72
447.def 0
4481 1 - 1
4490 - 1 1
450.names _n64 q$_n64_n6b$true q$_n64_n6e$false q$_n64$raw_n74
451.def 0
4521 1 - 1
4530 - 1 1
454.names _n64 state$_n64_n69$true<0> state$_n64_n6c$false<0> state$_n64$raw_n76<0>
455.def 0
4561 1 - 1
4570 - 1 1
458.names _n64 state$_n64_n69$true<1> state$_n64_n6c$false<1> state$_n64$raw_n76<1>
459.def 0
4601 1 - 1
4610 - 1 1
462.names _n64 state$_n64_n69$true<2> state$_n64_n6c$false<2> state$_n64$raw_n76<2>
463.def 0
4641 1 - 1
4650 - 1 1
466.names _n64 state$_n64_n69$true<3> state$_n64_n6c$false<3> state$_n64$raw_n76<3>
467.def 0
4681 1 - 1
4690 - 1 1
470.names _n83<0>
4710
472.names _n83<1>
4731
474.names _n83<2>
4751
476.names _n83<3>
4770
478.names state<0> _n83<0> _n84<0>
479.def 0
4800 1 1
4811 0 1
482.names state<1> _n83<1> _n84<1>
483.def 0
4840 1 1
4851 0 1
486.names state<2> _n83<2> _n84<2>
487.def 0
4880 1 1
4891 0 1
490.names state<3> _n83<3> _n84<3>
491.def 0
4920 1 1
4931 0 1
494.names _n84<0> _n84<1> _n84<2> _n84<3> _n85
495.def 1
4960 0 0 0 0
497.names _n85 _n82
4980 1 
4991 0 
500.names _n82  _n81
501.def 1
5020 0
503# state  = 7
504.names state$_n81_n86$true<0>
5051
506.names state$_n81_n86$true<1>
5071
508.names state$_n81_n86$true<2>
5091
510.names state$_n81_n86$true<3>
5110
512# p  = 0
513.names p$_n81_n87$true
5140
515# q  = 1
516.names q$_n81_n88$true
5171
518.names _n8b<0>
5191
520.names _n8b<1>
5211
522.names _n8b<2>
5231
524.names _n8b<3>
5250
526.names state<0> _n8b<0> _n8c<0>
527.def 0
5280 1 1
5291 0 1
530.names state<1> _n8b<1> _n8c<1>
531.def 0
5320 1 1
5331 0 1
534.names state<2> _n8b<2> _n8c<2>
535.def 0
5360 1 1
5371 0 1
538.names state<3> _n8b<3> _n8c<3>
539.def 0
5400 1 1
5411 0 1
542.names _n8c<0> _n8c<1> _n8c<2> _n8c<3> _n8d
543.def 1
5440 0 0 0 0
545.names _n8d _n8a
5460 1 
5471 0 
548.names _n8a  _n89
549.def 1
5500 0
551# state  = 8
552.names state$_n89_n8e$true<0>
5530
554.names state$_n89_n8e$true<1>
5550
556.names state$_n89_n8e$true<2>
5570
558.names state$_n89_n8e$true<3>
5591
560# p  = 1
561.names p$_n89_n8f$true
5621
563# q  = 1
564.names q$_n89_n90$true
5651
566.names _n93<0>
5670
568.names _n93<1>
5690
570.names _n93<2>
5710
572.names _n93<3>
5731
574.names state<0> _n93<0> _n94<0>
575.def 0
5760 1 1
5771 0 1
578.names state<1> _n93<1> _n94<1>
579.def 0
5800 1 1
5811 0 1
582.names state<2> _n93<2> _n94<2>
583.def 0
5840 1 1
5851 0 1
586.names state<3> _n93<3> _n94<3>
587.def 0
5880 1 1
5891 0 1
590.names _n94<0> _n94<1> _n94<2> _n94<3> _n95
591.def 1
5920 0 0 0 0
593.names _n95 _n92
5940 1 
5951 0 
596.names _n92  _n91
597.def 1
5980 0
599# state  = 9
600.names state$_n91_n96$true<0>
6011
602.names state$_n91_n96$true<1>
6030
604.names state$_n91_n96$true<2>
6050
606.names state$_n91_n96$true<3>
6071
608# p  = 0
609.names p$_n91_n97$true
6100
611# q  = 0
612.names q$_n91_n98$true
6130
614.names _n9b<0>
6151
616.names _n9b<1>
6170
618.names _n9b<2>
6190
620.names _n9b<3>
6211
622.names state<0> _n9b<0> _n9c<0>
623.def 0
6240 1 1
6251 0 1
626.names state<1> _n9b<1> _n9c<1>
627.def 0
6280 1 1
6291 0 1
630.names state<2> _n9b<2> _n9c<2>
631.def 0
6320 1 1
6331 0 1
634.names state<3> _n9b<3> _n9c<3>
635.def 0
6360 1 1
6371 0 1
638.names _n9c<0> _n9c<1> _n9c<2> _n9c<3> _n9d
639.def 1
6400 0 0 0 0
641.names _n9d _n9a
6420 1 
6431 0 
644.names _n9a  _n99
645.def 1
6460 0
647# state  = 9
648.names state$_n99_n9e$true<0>
6491
650.names state$_n99_n9e$true<1>
6510
652.names state$_n99_n9e$true<2>
6530
654.names state$_n99_n9e$true<3>
6551
656# p  = 0
657.names p$_n99_n9f$true
6580
659# q  = 0
660.names q$_n99_na0$true
6610
662# case (state )
663.names _n99 p$_n99_n9f$true p p$_n99$raw_na7
664.def 0
6651 1 - 1
6660 - 1 1
667.names _n99 q$_n99_na0$true q q$_n99$raw_na9
668.def 0
6691 1 - 1
6700 - 1 1
671.names _n99 state$_n99_n9e$true<0> state<0> state$_n99$raw_nab<0>
672.def 0
6731 1 - 1
6740 - 1 1
675.names _n99 state$_n99_n9e$true<1> state<1> state$_n99$raw_nab<1>
676.def 0
6771 1 - 1
6780 - 1 1
679.names _n99 state$_n99_n9e$true<2> state<2> state$_n99$raw_nab<2>
680.def 0
6811 1 - 1
6820 - 1 1
683.names _n99 state$_n99_n9e$true<3> state<3> state$_n99$raw_nab<3>
684.def 0
6851 1 - 1
6860 - 1 1
687.names _n91 p$_n91_n97$true p$_n99$raw_na7 p$_n91$raw_nb0
688.def 0
6891 1 - 1
6900 - 1 1
691.names _n91 q$_n91_n98$true q$_n99$raw_na9 q$_n91$raw_nb2
692.def 0
6931 1 - 1
6940 - 1 1
695.names _n91 state$_n91_n96$true<0> state$_n99$raw_nab<0> state$_n91$raw_nb4<0>
696.def 0
6971 1 - 1
6980 - 1 1
699.names _n91 state$_n91_n96$true<1> state$_n99$raw_nab<1> state$_n91$raw_nb4<1>
700.def 0
7011 1 - 1
7020 - 1 1
703.names _n91 state$_n91_n96$true<2> state$_n99$raw_nab<2> state$_n91$raw_nb4<2>
704.def 0
7051 1 - 1
7060 - 1 1
707.names _n91 state$_n91_n96$true<3> state$_n99$raw_nab<3> state$_n91$raw_nb4<3>
708.def 0
7091 1 - 1
7100 - 1 1
711.names _n89 p$_n89_n8f$true p$_n91$raw_nb0 p$_n89$raw_nc2
712.def 0
7131 1 - 1
7140 - 1 1
715.names _n89 q$_n89_n90$true q$_n91$raw_nb2 q$_n89$raw_nc4
716.def 0
7171 1 - 1
7180 - 1 1
719.names _n89 state$_n89_n8e$true<0> state$_n91$raw_nb4<0> state$_n89$raw_nc6<0>
720.def 0
7211 1 - 1
7220 - 1 1
723.names _n89 state$_n89_n8e$true<1> state$_n91$raw_nb4<1> state$_n89$raw_nc6<1>
724.def 0
7251 1 - 1
7260 - 1 1
727.names _n89 state$_n89_n8e$true<2> state$_n91$raw_nb4<2> state$_n89$raw_nc6<2>
728.def 0
7291 1 - 1
7300 - 1 1
731.names _n89 state$_n89_n8e$true<3> state$_n91$raw_nb4<3> state$_n89$raw_nc6<3>
732.def 0
7331 1 - 1
7340 - 1 1
735.names _n81 p$_n81_n87$true p$_n89$raw_nc2 p$_n81$raw_nd4
736.def 0
7371 1 - 1
7380 - 1 1
739.names _n81 q$_n81_n88$true q$_n89$raw_nc4 q$_n81$raw_nd6
740.def 0
7411 1 - 1
7420 - 1 1
743.names _n81 state$_n81_n86$true<0> state$_n89$raw_nc6<0> state$_n81$raw_nd8<0>
744.def 0
7451 1 - 1
7460 - 1 1
747.names _n81 state$_n81_n86$true<1> state$_n89$raw_nc6<1> state$_n81$raw_nd8<1>
748.def 0
7491 1 - 1
7500 - 1 1
751.names _n81 state$_n81_n86$true<2> state$_n89$raw_nc6<2> state$_n81$raw_nd8<2>
752.def 0
7531 1 - 1
7540 - 1 1
755.names _n81 state$_n81_n86$true<3> state$_n89$raw_nc6<3> state$_n81$raw_nd8<3>
756.def 0
7571 1 - 1
7580 - 1 1
759.names _n5f p$_n64$raw_n72 p$_n81$raw_nd4 p$_n5f$raw_ne6
760.def 0
7611 1 - 1
7620 - 1 1
763.names _n5f q$_n64$raw_n74 q$_n81$raw_nd6 q$_n5f$raw_ne8
764.def 0
7651 1 - 1
7660 - 1 1
767.names _n5f state$_n64$raw_n76<0> state$_n81$raw_nd8<0> state$_n5f$raw_nea<0>
768.def 0
7691 1 - 1
7700 - 1 1
771.names _n5f state$_n64$raw_n76<1> state$_n81$raw_nd8<1> state$_n5f$raw_nea<1>
772.def 0
7731 1 - 1
7740 - 1 1
775.names _n5f state$_n64$raw_n76<2> state$_n81$raw_nd8<2> state$_n5f$raw_nea<2>
776.def 0
7771 1 - 1
7780 - 1 1
779.names _n5f state$_n64$raw_n76<3> state$_n81$raw_nd8<3> state$_n5f$raw_nea<3>
780.def 0
7811 1 - 1
7820 - 1 1
783.names _n57 p$_n57_n5d$true p$_n5f$raw_ne6 p$_n57$raw_nf8
784.def 0
7851 1 - 1
7860 - 1 1
787.names _n57 q$_n57_n5e$true q$_n5f$raw_ne8 q$_n57$raw_nfa
788.def 0
7891 1 - 1
7900 - 1 1
791.names _n57 state$_n57_n5c$true<0> state$_n5f$raw_nea<0> state$_n57$raw_nfc<0>
792.def 0
7931 1 - 1
7940 - 1 1
795.names _n57 state$_n57_n5c$true<1> state$_n5f$raw_nea<1> state$_n57$raw_nfc<1>
796.def 0
7971 1 - 1
7980 - 1 1
799.names _n57 state$_n57_n5c$true<2> state$_n5f$raw_nea<2> state$_n57$raw_nfc<2>
800.def 0
8011 1 - 1
8020 - 1 1
803.names _n57 state$_n57_n5c$true<3> state$_n5f$raw_nea<3> state$_n57$raw_nfc<3>
804.def 0
8051 1 - 1
8060 - 1 1
807.names _n4f p$_n4f_n55$true p$_n57$raw_nf8 p$_n4f$raw_n10a
808.def 0
8091 1 - 1
8100 - 1 1
811.names _n4f q$_n4f_n56$true q$_n57$raw_nfa q$_n4f$raw_n10c
812.def 0
8131 1 - 1
8140 - 1 1
815.names _n4f state$_n4f_n54$true<0> state$_n57$raw_nfc<0> state$_n4f$raw_n10e<0>
816.def 0
8171 1 - 1
8180 - 1 1
819.names _n4f state$_n4f_n54$true<1> state$_n57$raw_nfc<1> state$_n4f$raw_n10e<1>
820.def 0
8211 1 - 1
8220 - 1 1
823.names _n4f state$_n4f_n54$true<2> state$_n57$raw_nfc<2> state$_n4f$raw_n10e<2>
824.def 0
8251 1 - 1
8260 - 1 1
827.names _n4f state$_n4f_n54$true<3> state$_n57$raw_nfc<3> state$_n4f$raw_n10e<3>
828.def 0
8291 1 - 1
8300 - 1 1
831.names _n47 p$_n47_n4d$true p$_n4f$raw_n10a p$_n47$raw_n11c
832.def 0
8331 1 - 1
8340 - 1 1
835.names _n47 q$_n47_n4e$true q$_n4f$raw_n10c q$_n47$raw_n11e
836.def 0
8371 1 - 1
8380 - 1 1
839.names _n47 state$_n47_n4c$true<0> state$_n4f$raw_n10e<0> state$_n47$raw_n120<0>
840.def 0
8411 1 - 1
8420 - 1 1
843.names _n47 state$_n47_n4c$true<1> state$_n4f$raw_n10e<1> state$_n47$raw_n120<1>
844.def 0
8451 1 - 1
8460 - 1 1
847.names _n47 state$_n47_n4c$true<2> state$_n4f$raw_n10e<2> state$_n47$raw_n120<2>
848.def 0
8491 1 - 1
8500 - 1 1
851.names _n47 state$_n47_n4c$true<3> state$_n4f$raw_n10e<3> state$_n47$raw_n120<3>
852.def 0
8531 1 - 1
8540 - 1 1
855.names _n3f p$_n3f_n45$true p$_n47$raw_n11c p$_n3f$raw_n12e
856.def 0
8571 1 - 1
8580 - 1 1
859.names _n3f q$_n3f_n46$true q$_n47$raw_n11e q$_n3f$raw_n130
860.def 0
8611 1 - 1
8620 - 1 1
863.names _n3f state$_n3f_n44$true<0> state$_n47$raw_n120<0> state$_n3f$raw_n132<0>
864.def 0
8651 1 - 1
8660 - 1 1
867.names _n3f state$_n3f_n44$true<1> state$_n47$raw_n120<1> state$_n3f$raw_n132<1>
868.def 0
8691 1 - 1
8700 - 1 1
871.names _n3f state$_n3f_n44$true<2> state$_n47$raw_n120<2> state$_n3f$raw_n132<2>
872.def 0
8731 1 - 1
8740 - 1 1
875.names _n3f state$_n3f_n44$true<3> state$_n47$raw_n120<3> state$_n3f$raw_n132<3>
876.def 0
8771 1 - 1
8780 - 1 1
879.names _n3 p$_n8$raw_n30 p$_n3f$raw_n12e p$_n3$raw_n140
880.def 0
8811 1 - 1
8820 - 1 1
883.names _n3 q$_n8$raw_n32 q$_n3f$raw_n130 q$_n3$raw_n142
884.def 0
8851 1 - 1
8860 - 1 1
887.names _n3 state$_n8$raw_n34<0> state$_n3f$raw_n132<0> state$_n3$raw_n144<0>
888.def 0
8891 1 - 1
8900 - 1 1
891.names _n3 state$_n8$raw_n34<1> state$_n3f$raw_n132<1> state$_n3$raw_n144<1>
892.def 0
8931 1 - 1
8940 - 1 1
895.names _n3 state$_n8$raw_n34<2> state$_n3f$raw_n132<2> state$_n3$raw_n144<2>
896.def 0
8971 1 - 1
8980 - 1 1
899.names _n3 state$_n8$raw_n34<3> state$_n3f$raw_n132<3> state$_n3$raw_n144<3>
900.def 0
9011 1 - 1
9020 - 1 1
903# conflict arbitrators
904.names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n152
905.def 0
906 1 1 - - - - - - - - - - - 1
907 1 0 1 - - - - - - - - - - 1
908 1 0 0 - - - - - - - - - - 1
909 0 - - 1 - - - - - - - - - 1
910 0 - - 0 1 - - - - - - - - 1
911 0 - - 0 0 1 - - - - - - - 1
912 0 - - 0 0 0 1 - - - - - - 1
913 0 - - 0 0 0 0 1 1 - - - - 1
914 0 - - 0 0 0 0 1 0 - - - - 1
915 0 - - 0 0 0 0 0 - 1 - - - 1
916 0 - - 0 0 0 0 0 - 0 1 - - 1
917 0 - - 0 0 0 0 0 - 0 0 1 - 1
918 0 - - 0 0 0 0 0 - 0 0 0 1 1
919.names _n152 p$_n3$raw_n140 p _n153
9201 0 - 0
9211 1 - 1
9220 - 0 0
9230 - 1 1
924.names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n154
925.def 0
926 1 1 - - - - - - - - - - - 1
927 1 0 1 - - - - - - - - - - 1
928 1 0 0 - - - - - - - - - - 1
929 0 - - 1 - - - - - - - - - 1
930 0 - - 0 1 - - - - - - - - 1
931 0 - - 0 0 1 - - - - - - - 1
932 0 - - 0 0 0 1 - - - - - - 1
933 0 - - 0 0 0 0 1 1 - - - - 1
934 0 - - 0 0 0 0 1 0 - - - - 1
935 0 - - 0 0 0 0 0 - 1 - - - 1
936 0 - - 0 0 0 0 0 - 0 1 - - 1
937 0 - - 0 0 0 0 0 - 0 0 1 - 1
938 0 - - 0 0 0 0 0 - 0 0 0 1 1
939.names _n154 q$_n3$raw_n142 q _n155
9401 0 - 0
9411 1 - 1
9420 - 0 0
9430 - 1 1
944.names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n156
945.def 0
946 1 1 - - - - - - - - - - - 1
947 1 0 1 - - - - - - - - - - 1
948 1 0 0 - - - - - - - - - - 1
949 0 - - 1 - - - - - - - - - 1
950 0 - - 0 1 - - - - - - - - 1
951 0 - - 0 0 1 - - - - - - - 1
952 0 - - 0 0 0 1 - - - - - - 1
953 0 - - 0 0 0 0 1 1 - - - - 1
954 0 - - 0 0 0 0 1 0 - - - - 1
955 0 - - 0 0 0 0 0 - 1 - - - 1
956 0 - - 0 0 0 0 0 - 0 1 - - 1
957 0 - - 0 0 0 0 0 - 0 0 1 - 1
958 0 - - 0 0 0 0 0 - 0 0 0 1 1
959.names _n156 state$_n3$raw_n144<0> state$_n3$raw_n144<1> state$_n3$raw_n144<2> state$_n3$raw_n144<3> state<0> state<1> state<2> state<3> -> _n157<0> _n157<1> _n157<2> _n157<3>
9601 - - - - - - - - =state$_n3$raw_n144<0> =state$_n3$raw_n144<1> =state$_n3$raw_n144<2> =state$_n3$raw_n144<3>
9610 - - - - - - - - =state<0> =state<1> =state<2> =state<3>
962# non-blocking assignments
963# latches
964.r p$raw_n0 p
9650 0
9661 1
967.latch _n153 p
968.r q$raw_n1 q
9690 0
9701 1
971.latch _n155 q
972.r state$raw_n2<0> state<0>
973.def 0
9741 1
975.r state$raw_n2<1> state<1>
976.def 0
9771 1
978.r state$raw_n2<2> state<2>
979.def 0
9801 1
981.r state$raw_n2<3> state<3>
982.def 0
9831 1
984.latch _n157<0> state<0>
985.latch _n157<1> state<1>
986.latch _n157<2> state<2>
987.latch _n157<3> state<3>
988# quasi-continuous assignment
989.end
Note: See TracBrowser for help on using the repository browser.