source: vis_dev/vis-2.3/models/transition/testons.mv @ 38

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

exemples de test

File size: 7.2 KB
Line 
1.model concret
2.root concret
3.inputs i
4.latch _nc5<0> state<0>
5.reset state$raw_n2<0> ->state<0>
6.default 0
71 1
8.latch _nc1 p
9.reset p$raw_n0 ->p
100 0
111 1
12.latch _nc3 q
13.reset q$raw_n1 ->q
140 0
151 1
16.latch _nc5<1> state<1>
17.reset state$raw_n2<1> ->state<1>
18.default 0
191 1
20.table ->p$raw_n0
210
22.table ->q$raw_n1
230
24.table ->state$raw_n2<0>
250
26.table ->state$raw_n2<1>
270
28.table ->_n5<0>
290
30.table ->_n5<1>
310
32.table state<0> _n5<0> ->_n6<0>
33.default 0
340 1 1
351 0 1
36.table state<1> _n5<1> ->_n6<1>
37.default 0
380 1 1
391 0 1
40.table _n6<0> _n6<1> ->_n7
41.default 1
420 0 0
43.table _n7 ->_n4
440 1
451 0
46.table _n4 ->_n3
47.default 1
480 0
49.table ->_n9
501
51.table i _n9 ->_na
52.default 0
530 1 1
541 0 1
55.table _na ->_n8
560 1
571 0
58.table _n8 ->_nc
59-   =_n8 
60.table ->state$_n8_nd$true<0>
611
62.table ->state$_n8_nd$true<1>
630
64.table ->p$_n8_ne$true
650
66.table ->q$_n8_nf$true
671
68.table ->state$_n8_n10$false<0>
690
70.table ->state$_n8_n10$false<1>
711
72.table ->p$_n8_n11$false
731
74.table ->q$_n8_n12$false
750
76.table _n8 p$_n8_ne$true p$_n8_n11$false ->p$_n8$raw_n16
77.default 0
781 1 -  1
790 -  1 1
80.table _n8 q$_n8_nf$true q$_n8_n12$false ->q$_n8$raw_n18
81.default 0
821 1 -  1
830 -  1 1
84.table _n8 state$_n8_nd$true<0> state$_n8_n10$false<0> ->state$_n8$raw_n1a<0>
85.default 0
861 1 -  1
870 -  1 1
88.table _n8 state$_n8_nd$true<1> state$_n8_n10$false<1> ->state$_n8$raw_n1a<1>
89.default 0
901 1 -  1
910 -  1 1
92.table ->_n25<0>
931
94.table ->_n25<1>
950
96.table state<0> _n25<0> ->_n26<0>
97.default 0
980 1 1
991 0 1
100.table state<1> _n25<1> ->_n26<1>
101.default 0
1020 1 1
1031 0 1
104.table _n26<0> _n26<1> ->_n27
105.default 1
1060 0 0
107.table _n27 ->_n24
1080 1
1091 0
110.table _n24 ->_n23
111.default 1
1120 0
113.table ->_n29
1141
115.table i _n29 ->_n2a
116.default 0
1170 1 1
1181 0 1
119.table _n2a ->_n28
1200 1
1211 0
122.table _n28 ->_n2c
123-   =_n28 
124.table ->state$_n28_n2d$true<0>
1251
126.table ->state$_n28_n2d$true<1>
1270
128.table ->p$_n28_n2e$true
1290
130.table ->q$_n28_n2f$true
1311
132.table ->state$_n28_n30$false<0>
1331
134.table ->state$_n28_n30$false<1>
1351
136.table ->p$_n28_n31$false
1371
138.table ->q$_n28_n32$false
1391
140.table _n28 p$_n28_n2e$true p$_n28_n31$false ->p$_n28$raw_n36
141.default 0
1421 1 -  1
1430 -  1 1
144.table _n28 q$_n28_n2f$true q$_n28_n32$false ->q$_n28$raw_n38
145.default 0
1461 1 -  1
1470 -  1 1
148.table _n28 state$_n28_n2d$true<0> state$_n28_n30$false<0> ->state$_n28$raw_n3a<0>
149.default 0
1501 1 -  1
1510 -  1 1
152.table _n28 state$_n28_n2d$true<1> state$_n28_n30$false<1> ->state$_n28$raw_n3a<1>
153.default 0
1541 1 -  1
1550 -  1 1
156.table ->_n45<0>
1570
158.table ->_n45<1>
1591
160.table state<0> _n45<0> ->_n46<0>
161.default 0
1620 1 1
1631 0 1
164.table state<1> _n45<1> ->_n46<1>
165.default 0
1660 1 1
1671 0 1
168.table _n46<0> _n46<1> ->_n47
169.default 1
1700 0 0
171.table _n47 ->_n44
1720 1
1731 0
174.table _n44 ->_n43
175.default 1
1760 0
177.table ->_n49
1781
179.table i _n49 ->_n4a
180.default 0
1810 1 1
1821 0 1
183.table _n4a ->_n48
1840 1
1851 0
186.table _n48 ->_n4c
187-   =_n48 
188.table ->state$_n48_n4d$true<0>
1890
190.table ->state$_n48_n4d$true<1>
1911
192.table ->p$_n48_n4e$true
1931
194.table ->q$_n48_n4f$true
1950
196.table ->state$_n48_n50$false<0>
1971
198.table ->state$_n48_n50$false<1>
1991
200.table ->p$_n48_n51$false
2011
202.table ->q$_n48_n52$false
2031
204.table _n48 p$_n48_n4e$true p$_n48_n51$false ->p$_n48$raw_n56
205.default 0
2061 1 -  1
2070 -  1 1
208.table _n48 q$_n48_n4f$true q$_n48_n52$false ->q$_n48$raw_n58
209.default 0
2101 1 -  1
2110 -  1 1
212.table _n48 state$_n48_n4d$true<0> state$_n48_n50$false<0> ->state$_n48$raw_n5a<0>
213.default 0
2141 1 -  1
2150 -  1 1
216.table _n48 state$_n48_n4d$true<1> state$_n48_n50$false<1> ->state$_n48$raw_n5a<1>
217.default 0
2181 1 -  1
2190 -  1 1
220.table ->_n65<0>
2211
222.table ->_n65<1>
2231
224.table state<0> _n65<0> ->_n66<0>
225.default 0
2260 1 1
2271 0 1
228.table state<1> _n65<1> ->_n66<1>
229.default 0
2300 1 1
2311 0 1
232.table _n66<0> _n66<1> ->_n67
233.default 1
2340 0 0
235.table _n67 ->_n64
2360 1
2371 0
238.table _n64 ->_n63
239.default 1
2400 0
241.table ->_n69
2421
243.table i _n69 ->_n6a
244.default 0
2450 1 1
2461 0 1
247.table _n6a ->_n68
2480 1
2491 0
250.table _n68 ->_n6c
251-   =_n68 
252.table ->state$_n68_n6d$true<0>
2530
254.table ->state$_n68_n6d$true<1>
2551
256.table ->p$_n68_n6e$true
2571
258.table ->q$_n68_n6f$true
2590
260.table ->state$_n68_n70$false<0>
2611
262.table ->state$_n68_n70$false<1>
2631
264.table ->p$_n68_n71$false
2651
266.table ->q$_n68_n72$false
2671
268.table _n68 p$_n68_n6e$true p$_n68_n71$false ->p$_n68$raw_n76
269.default 0
2701 1 -  1
2710 -  1 1
272.table _n68 q$_n68_n6f$true q$_n68_n72$false ->q$_n68$raw_n78
273.default 0
2741 1 -  1
2750 -  1 1
276.table _n68 state$_n68_n6d$true<0> state$_n68_n70$false<0> ->state$_n68$raw_n7a<0>
277.default 0
2781 1 -  1
2790 -  1 1
280.table _n68 state$_n68_n6d$true<1> state$_n68_n70$false<1> ->state$_n68$raw_n7a<1>
281.default 0
2821 1 -  1
2830 -  1 1
284.table _n63 p$_n68$raw_n76 p ->p$_n63$raw_n89
285.default 0
2861 1 -  1
2870 -  1 1
288.table _n63 q$_n68$raw_n78 q ->q$_n63$raw_n8b
289.default 0
2901 1 -  1
2910 -  1 1
292.table _n63 state$_n68$raw_n7a<0> state<0> ->state$_n63$raw_n8d<0>
293.default 0
2941 1 -  1
2950 -  1 1
296.table _n63 state$_n68$raw_n7a<1> state<1> ->state$_n63$raw_n8d<1>
297.default 0
2981 1 -  1
2990 -  1 1
300.table _n43 p$_n48$raw_n56 p$_n63$raw_n89 ->p$_n43$raw_n90
301.default 0
3021 1 -  1
3030 -  1 1
304.table _n43 q$_n48$raw_n58 q$_n63$raw_n8b ->q$_n43$raw_n92
305.default 0
3061 1 -  1
3070 -  1 1
308.table _n43 state$_n48$raw_n5a<0> state$_n63$raw_n8d<0> ->state$_n43$raw_n94<0>
309.default 0
3101 1 -  1
3110 -  1 1
312.table _n43 state$_n48$raw_n5a<1> state$_n63$raw_n8d<1> ->state$_n43$raw_n94<1>
313.default 0
3141 1 -  1
3150 -  1 1
316.table _n23 p$_n28$raw_n36 p$_n43$raw_n90 ->p$_n23$raw_na0
317.default 0
3181 1 -  1
3190 -  1 1
320.table _n23 q$_n28$raw_n38 q$_n43$raw_n92 ->q$_n23$raw_na2
321.default 0
3221 1 -  1
3230 -  1 1
324.table _n23 state$_n28$raw_n3a<0> state$_n43$raw_n94<0> ->state$_n23$raw_na4<0>
325.default 0
3261 1 -  1
3270 -  1 1
328.table _n23 state$_n28$raw_n3a<1> state$_n43$raw_n94<1> ->state$_n23$raw_na4<1>
329.default 0
3301 1 -  1
3310 -  1 1
332.table _n3 p$_n8$raw_n16 p$_n23$raw_na0 ->p$_n3$raw_nb0
333.default 0
3341 1 -  1
3350 -  1 1
336.table _n3 q$_n8$raw_n18 q$_n23$raw_na2 ->q$_n3$raw_nb2
337.default 0
3381 1 -  1
3390 -  1 1
340.table _n3 state$_n8$raw_n1a<0> state$_n23$raw_na4<0> ->state$_n3$raw_nb4<0>
341.default 0
3421 1 -  1
3430 -  1 1
344.table _n3 state$_n8$raw_n1a<1> state$_n23$raw_na4<1> ->state$_n3$raw_nb4<1>
345.default 0
3461 1 -  1
3470 -  1 1
348.table _n3 _nc _n23 _n2c _n43 _n4c _n63 _n6c ->_nc0
349.default 0
3501 1 -  -  -  -  -  -  1
3511 0 -  -  -  -  -  -  1
3520 -  1 1 -  -  -  -  1
3530 -  1 0 -  -  -  -  1
3540 -  0 -  1 1 -  -  1
3550 -  0 -  1 0 -  -  1
3560 -  0 -  0 -  1 1 1
3570 -  0 -  0 -  1 0 1
358.table _nc0 p$_n3$raw_nb0 p ->_nc1
3591 0 -  0
3601 1 -  1
3610 -  0 0
3620 -  1 1
363.table _n3 _nc _n23 _n2c _n43 _n4c _n63 _n6c ->_nc2
364.default 0
3651 1 -  -  -  -  -  -  1
3661 0 -  -  -  -  -  -  1
3670 -  1 1 -  -  -  -  1
3680 -  1 0 -  -  -  -  1
3690 -  0 -  1 1 -  -  1
3700 -  0 -  1 0 -  -  1
3710 -  0 -  0 -  1 1 1
3720 -  0 -  0 -  1 0 1
373.table _nc2 q$_n3$raw_nb2 q ->_nc3
3741 0 -  0
3751 1 -  1
3760 -  0 0
3770 -  1 1
378.table _n3 _nc _n23 _n2c _n43 _n4c _n63 _n6c ->_nc4
379.default 0
3801 1 -  -  -  -  -  -  1
3811 0 -  -  -  -  -  -  1
3820 -  1 1 -  -  -  -  1
3830 -  1 0 -  -  -  -  1
3840 -  0 -  1 1 -  -  1
3850 -  0 -  1 0 -  -  1
3860 -  0 -  0 -  1 1 1
3870 -  0 -  0 -  1 0 1
388.table _nc4 state$_n3$raw_nb4<0> state$_n3$raw_nb4<1> state<0> state<1> ->_nc5<0> _nc5<1>
3891 -  -  -  -   =state$_n3$raw_nb4<0>   =state$_n3$raw_nb4<1> 
3900 -  -  -  -   =state<0>   =state<1> 
391.end
Note: See TracBrowser for help on using the repository browser.