universite joseph fourier - grenoble i

 !
!
" Æ #
$ % ! & ' ' & !
( !
) )
'% # !"#$ " %
" *+, - - .
- -
/
0 " " &'( & 12+&3 4 .
0 " )* + ,
12+&3 4 .
0 " -* , . ,*
12+&3 4 .
0 ) # 55 2 555 1 556 ! 56 7 58 7 65 & 655 )
66 # 665 # 666 # 68 3 685 3 686 # 688 ?@A &B 69 85 C
86 , 865 2
866 4 88 + 89 8: #
8D 5
5
6
8
9
:
:
;
<
=
5>
55
56
59
5:
5D
5;
5<
5=
5=
68
6:
6D
!
95 1 !
6;
96 # 6<
98 8>
&&&
"# $ 5 ,! &B 6 ,! #), 8 ,! &1
65
66
68
69
6:
6D
6;
85
86
88
89
8:
8D
8;
8<
8=
95
96
98
99
9:
2
! # ! 3 3 2
2 2
! +
# &Æ 3
2( Æ 1 !
E # 2 @ F 2 C 1
;
<
5>
55
56
58
59
5;
5<
6>
65
66
68
69
6:
6D
6<
6<
6=
6=
86
G
%H 3
!
C
& ;>I !
@ !
@ J @ # !
" @
# + K?=< ?>> $=D ,)>5 4=8L
@ / * 1#,& K?=DL
# * ( !
# @ E 3 , 5
@ !
" &?3 M
C'C
,!
N8=>O KP#,=: P=:L C 3 K?Q=DL 3C: K3,=:L 3:P<D K3P#=DL # /*,
( 0
/*,
( 2 C !
C KP3=5L % @ C 7 M K$=DLO 12+&3 4 5==: 2 ( C C', ? C'C &?3 ) K43=DL
, 3 !
)
0 ! ! @
# !
"# $ "
6
J # 86 ;; 5> 5> 6 9 < 5> K?>>L
@ C
0 M#O K=<
3%>6 >5 4#=< ,!==L # ,) 2 E !
# ,) !
* & @
,) !
# @ !
!
C !
@
*
3
- # !
+)# @ 3
% ! * !
! 3@
! ,) %
# #
& & !
8
+ *
# # !
" Æ * # ! 7 # 2 ! , * 1 ) * &B # * 2 @
! Æ
# * 3 & @
( ! !
* !
$ 9
* # KQ=;L ! !
K =>L # # # C R # K?=<L
% & ' ()
4 # 5
6 4 0 M O 5
6 6 6 6 4 *( 7
* 6 4 +
0 ( * 0
+ 5 M O S M M O O 5
:
6 ! + 6 / 7 @ S M O
% & '"* ()
4 M O 8 *( % M O M O M O 7 0 0 0 + M O
M O S M M O O 5
6 M O M M OO M O
6 M O M R O M R O S Ï # # /
/ # @ # ( C
/ S !
( # S ! '
J / S @ ! +
2 Æ ! ( '
J !
!
# !
% & ' ", ()
9M O % S /
S M O 0 5
D
6 S 6 S 6 M O S M O S M O 5 6
5
6 MM O M OO 6 MM O M OO 6 MM O M OO S MM O M OO
6 MM O M OO S MM O M OO
!
/
% & ' - *)
4 0 S M O 5
6 : ; ( <
6
0 =
6 +
0
( * 0 : ;0
< +
5 M O
M O 65 /
S S M O M O M O M O M O M O M O M O
S S M O S M O S M O S M O
65 0 2
!
;
K,?3>8L - !
Æ
# /
Cin
Cin
Cout
Cin
Cout
Cin
Cout
Cout
Cout
Global
66 0 # 66 M O C ( 7 >: D>I & ( ( J KBB4 CL
<
( *
K #>6L #F K >8L
# ! J > "
KL , @ ( ) # + >? K,>>L " 3,
K
L C
)
K,!==L
# ,B # , ,B
M O M O /
* C # @ 0 F
@ 0 /
,B
$$ '
( ' # $" & & & $"$
& )*+,+-+./+ $"$ )*+,+-/
0
=
, 2 ,C&2 ! /
@
@
/
(
( 2 @ 2 ! /
% & ' - * )
4 0 S M O 5
6 M O 0
6 +
0
( * 0 : 0
0 > @A K L
Ý
½ ݽ
Ý
¾ ݾ
Þ
Þ
½ Þ½
¾ Þ¾
68 0 ! 65 * E $ ( $ $
5>
!
) K3C=:L
C GH GH
K L K L ) 69
! " Ý !
Ý $#%$
#" !
$#%$
#" Ý " Ý 69 0 ( # > 5 > 5 S MMOO MO # # M>
5 O
/
0 - ( 0 J 655 M O
@
K L 55
6: )
J S M M OO
( M O * # ( @ ! /
, 69
$ && ''
"
"
$ & & ''
#$ %
"
"
$ && '' & ' & '
"
"
6: 0 3 * Æ ) @ Æ " # ( !
* # 56
68 6D ( @
( * @ M O
! ) . 10010
-x1:[0,0]
−x1:[0,0]
[10,30]
x1=1
y1=0
[10,50]
00010
+x2:[0,0]
01010
[20,40]
+x2:[0,0]
y1 Excitation:[0,0]
z=0
x2=0
00010
y2 Excitation:[0,0]
y2=1
01010
y1 Excitation:[0,0]
+x2:[0,0]
01010
y1 Excitation:[0,0]
y2 Excitation:[0,0]
01010
Entrée
Circuit
time
01010
time
-y2:[20,30]
y2=~x2 and C<40
"eager"
01000
time
+y1:[10,30]
01110
Regret
+y1:[20,30]
Stable
y2 = x2
C:=0
"eager"
-y2:[20,30]
01100
Excité
Exitation
z Excitation:[10,30]
01110
time
time
01110
-y2:[20,30]
time
y2=~x2 and 20<C and C<=40
"delayable"
Basculement
01100
y1=~x1 and C<30
"eager"
time
+z:[20,40]
01111
-y2:[20,40]
time
01100
z Regret:[20,30]
Regret
-y2:[20,40]
−x1:[0,0]
Stable
y1 = x1
C:=0
"eager"
01100
Excité
01101
Exitation
+x2:[0,0]
01100
z Regret:[20,40]
z Excitation:[20,40]
y1=~x1 and 10<C and C<=30
"delayable"
01100
time
Basculement
01101
time
z=x1 /\ x2 and C<50
"eager"
time
Regret
Stable
z = x1 /\ x2
C:=0
"eager"
01100
01101
time
time
Excité
-z:[30,90]
Exitation
time
01100
z=x1 /\ x2 and 10<C and C<=50
"delayable"
time
Basculement
01100
Entrée
Circuit
time
SIGNAUX
x1 ; x2 ; y1 ; y2 ; z
6D 0 58
# ( C &B ! #$% &'
# ( 6;
6; 0 2
#
/
0 7 / !
2 @ ! 0 0 7 + / !
/
0 ! M O C M O
0 ! " 0 / # 0 7 0
!+ #), &BMO # #), 1 !
& #
59
# MO
C * !
"
* &B 2
!+ #), @ # @ " & # ! % (
$ 2
5:
B,3 ! # $
C ( * 68 S >
S > S > S > S 5 S >
# C 2 )
M5> O
9
56D
;6
<
5>;9
55>
56
<5;6
<=;
5D
58;:9<
6D;:5
6> R8 D5> R9
85 0 2 * 6> # 5D
:56! "
3 85
1000000
Nombre des états
100000
10000
1000
100
Durée de génération
du graphe
(en ms)
10
4
8
12
16
20
nombre des portes
85 0 2 @
@ #
&
M !
O # % * %
#Æ % !
5;
) ! * 0 ! * C () 86
348+6,7
368+:;7
369+:;7
345+567
348+6,7
368+:;7
369+:;7
345+567
86 0 2
!
C E ( 88 $ * # 5>9; 59=<
M2 + ?
2
O
@ ! @ M$ * # O
C 0 2 ( ! 88 *
E @
# M $ * & O 3 @ M $ * - O @
#
5<
@
@ 88 $ * # $ *
& $ * - $ * # !
$ * # $ * &
$ * - # F $ * # @
@
$ * & $ * - 2 ( 7 !
/ $ * # M5>R6 O $ * &
M @
$ * - O
*
# J & * ! # C # E * & $
C , M $ * & 88O 3 5=
00
+x2 :[32,63]
+x1 :[10,25]
10
11
Première partition
Circuit à traiter
Génération du
graphe
60
00
61
00
62
00
69
00
70
00
74
00
89
10
113
10
116
10
87
10
115
10
90
10
91
10
92
10
93
10
94
10
75
00
53
00
58
00
112
10
57
00
86
10
110
10
84
10
152
00
47
01
52
00
88
10
16
00
114
10
111
10
105
10
83
10
109
10
85
10
103
10
14
10
80
10
42
00
17
00
8
10
108
10
0
10
1
10
2
10
3
10
4
10
5
10
161
10
12
10
100
10
11
10
119
10
128
00
158
10
124
10
123
10
122
10
121
10
120
10
159
10
125
10
160
10
126
10
-x11 :[96,104]
129
01
41
01
140
00
-x11 :[96,104]
156
00
31
01
30
11
25
11
141
01
149
01
38
11
+x11 :[145,158]
29
01
28
01
+x12 :[107,117]
+x12 :[107,117]
127
00
+x12 :[107,117]
139
00
130
01
+x12 :[107,117]
24
11
157
10
graphe
118
10
10
10
99
10
150
00
101
10
81
10
78
10
107
10
18
01
131
01
27
01
+x11 :[145,166]
39
01
40
01
+x12 :[107,125]
133
01
136
01
137
01
146
00
573
11
568
11
569
11
572
01
570
01
571
01
567
11
+z1 :[202,274]
147
00
148
00
145
11
138
01
590
01
574
01
575
01
561
01
563
01
562
01
589
01
576
01
584
01
588
01
585
01
564
01
565
01
583
11
582
11
+z1 :[202,274]
587
11
586
01
566
01
+z1 :[202,282]
142
01
+x12 :[107,125]
143
01
+x11 :[145,166]
144
01
+x12 :[107,125]
+x12 :[107,125]
135
01
134
01
581
11
577
01
578
01
+z1 :[202,274]
580
01
579
01
280
01
282
01
281
01
279
01
204
01
278
01
203
01
206
01
209
01
205
01
208
01
199
01
195
01
210
01
207
01
593
01
560
01
592
01
226
01
225
01
289
11
328
11
292
11
230
11
556
01
557
01
201
01
743
01
742
01
224
01
330
11
325
11
552
01
553
01
191
01
193
01
554
01
22
01
555
01
202
01
186
01
190
01
741
01
320
01
548
01
612
01
606
01
547
01
608
01
611
01
609
01
545
01
533
01
24
01
211
01
20
01
21
01
131
01
235
11
271
11
184
01
182
01
181
01
532
01
550
01
187
01
189
01
232
11
236
11
272
11
237
11
273
11
274
11
268
11
233
11
192
01
551
01
23
01
188
01
275
11
269
11
270
11
185
01
276
11
294
11
549
01
610
01
132
01
130
01
546
01
7
01
604
01
540
01
748
01
115
01
111
01
112
01
26
01
530
01
601
01
8
01
749
01
683
01
529
01
537
01
538
01
599
01
14
01
15
01
536
01
528
01
544
01
607
01
16
01
17
01
526
01
133
01
527
01
535
01
605
01
183
01
334
01
534
01
18
01
541
01
602
01
531
01
19
01
25
01
83
01
84
01
234
11
297
01
298
01
296
01
-z1 :[182,199]
295
01
+z1 :[230,261]
261
01
254
01
253
01
322
01
-z1 :[182,199]
263
01
264
01
323
11
307
01
309
01
255
01
321
01
319
01
310
01
262
01
308
01
315
01
256
01
257
01
312
01
311
01
+z1 :[230,253]
259
11
01
0
01
1
01
2
01
3
01
4
01
5
01
6
01
594
01
543
01
682
01
13
01
598
01
9
01
85
01
299
01
303
01
116
01
301
01
113
01
613
01
539
01
12
01
542
01
846
01
679
01
680
01
597
01
678
01
676
01
614
01
615
01
596
01
128
11
126
11
243
01
247
11
251
11
104
01
244
01
628
01
627
01
836
01
843
01
619
01
618
01
617
01
616
01
844
01
620
01
841
01
842
01
90
11
834
01
212
01
664
01
630
01
658
01
222
01
169
01
47
11
666
01
665
01
641
01
171
11
42
01
82
11
168
01
221
01
631
01
219
01
648
01
646
01
645
01
647
01
657
01
632
01
28
01
213
01
218
01
216
01
214
01
217
01
633
01
220
01
27
01
634
01
215
01
635
01
80
11
74
11
34
11
62
11
110
11
638
11
637
01
726
11
705
01
740
01
699
11
739
01
821
01
690
01
737
01
822
01
735
01
733
01
10
-x11 :[96,104]
824
01
825
01
826
01
525
01
524
01
335
01
337
01
340
01
339
01
338
01
336
01
341
11
348
11
347
11
342
11
397
11
391
11
375
11
376
11
768
11
767
11
451
01
452
01
453
01
787
11
392
11
459
11
460
11
461
11
792
01
817
01
759
01
761
01
763
01
762
01
760
01
378
11
401
11
393
11
790
11
403
11
788
11
+z1 :[134,145]
764
01
765
11
766
11
402
11
405
11
448
11
786
11
458
11
400
11
377
11
379
11
818
01
793
01
+z1 :[134,145]
450
11
449
11
406
11
407
11
791
11
789
11
455
11
794
01
454
11
457
11
456
11
795
11
+z1 :[134,145]
522
11
507
11
523
11
521
11
506
11
814
11
496
11
497
11
816
11
798
11
799
11
801
11
800
11
802
11
508
11
771
11
509
11
772
11
510
11
511
11
518
11
770
11
410
11
408
11
409
11
803
11
445
11
769
11
773
11
404
11
394
11
512
11
810
11
809
11
808
11
807
11
806
11
785
11
779
11
484
10
482
10
+z2 :[242,282]
485
10
-z2 :[193,220]
780
11
781
10
782
10
359
10
486
11
483
10
481
10
491
11
479
11
796
11
797
11
470
11
478
11
499
11
489
11
490
11
-z2 :[193,220]
480
11
784
11
805
11
360
10
783
11
775
11
519
11
420
01
419
01
778
11
777
11
411
11
776
11
446
11
514
11
462
11
515
11
349
11
516
01
804
11
517
01
774
11
413
11
520
11
416
01
415
01
414
11
513
11
381
11
412
11
390
11
382
11
447
11
388
11
463
11
383
11
389
11
350
11
465
11
386
10
421
01
358
10
361
10
+z1 :[241,282]
+z2 :[242,295]
422
11
418
01
-z1 :[182,199]
466
11
-z1 :[182,199]
467
11
380
11
468
11
417
01
367
10
366
10
365
10
357
10
-z2 :[193,220]
429
01
487
11
425
01
369
11
424
11
423
11
+z2 :[242,282]
428
11
+z1 :[241,274]
-z2 :[193,220]
427
01
368
11
363
11
498
11
492
11
503
11
813
11
811
11
495
11
494
11
815
11
493
11
502
11
501
11
812
11
473
11
474
11
472
11
500
11
471
11
475
11
476
11
477
11
504
11
505
11
graphe
11
63
11
01
11
-z1 :[182,199]
10
11
+z2 :[242,295]
SIGNAUX
z1 ; z2
+z1 :[230,282]
-z2 :[193,220]
+z1 :[134,145] +z1 :[134,145]
01
101
11
100
11
83
01
64
11
62
11
102
11
65
11
81
01
82
01
61
11
97
11
104
11
98
11
103
11
66
11
76
01
70
01
68
01
122
11
129
11
74
01
128
11
75
11
26
11
41
11
40
11
27
11
127
11
120
11
126
11
121
11
112
11
113
11
3
01
5
01
4
01
0
01
1
01
2
01
6
01
7
01
8
01
12
01
11
01
10
01
9
01
15
01
132
01
131
01
130
01
109
11
14
01
+z1 :[134,145]
123
11
110
11
17
01
13
01
52
01
50
01
18
01
+z1 :[202,282]
33
01
16
01
32
01
115
01
48
01
19
01
28
01
116
01
34
01
37
01
46
01
42
01
43
01
+z1 :[230,240]
38
01
29
01
47
01
49
01
51
01
36
01
35
01
53
01
54
01
56
01
55
01
57
01
58
01
Minimisation
59
11
107
11
108
11
124
11
30
01
39
11
+z1 :[230,240]
44
01
31
11
+z1 :[230,240]
114
01
-z1 :[182,186]
111
11
125
11
45
11
+z1 :[230,248]
117
01
20
01
-z1 :[182,186]
119
11
118
01
21
01
22
01
23
01
24
01
25
11
SIGNAUX
z1 ; z2
+z1 :[230,269]
73
01
72
01
71
01
95
01
-z1 :[182,207]
-z1 :[182,207]
99
11
60
11
105
11
67
11
96
11
94
01
80
01
77
01
69
01
92
01
+z1 :[230,261]
91
11
+z1 :[230,261]
78
01
79
11
93
01
89
01
88
01
84
01
90
01
87
11
+z1 :[230,261]
85
01
86
01
106
11
Comportement
de {z1,z2}
-z1 :[182,207]
Génération du
Minimisation
Deuxième partition
362
11
385
11
384
11
469
11
426
01
488
11
364
11
371
11
356
11
374
11
387
11
353
11
355
11
442
01
444
01
352
11
430
01
438
01
439
01
437
11
441
11
+z1 :[241,274]
440
01
370
11
354
11
713
01
714
01
436
11
+z1 :[241,274]
443
01
372
11
719
01
435
01
434
01
433
01
432
01
373
11
464
11
431
01
351
11
715
01
399
11
+z1 :[134,145]
827
01
398
11
828
01
823
01
829
01
343
11
396
11
344
11
718
01
346
11
345
11
395
11
730
11
732
11
830
11
725
11
831
11
724
11
712
01
711
01
731
11
+z1 :[134,145]
+z1 :[134,145]
736
01
688
01
686
01
687
01
734
01
685
01
738
01
689
01
691
01
692
01
693
11
694
11
695
11
696
11
723
11
729
11
700
11
728
11
701
11
722
11
56
01
-z1 :[183,207]
710
01
716
01
720
01
57
01
64
01
717
01
69
01
59
01
58
01
+z1 :[231,261]
61
11
60
01
65
01
67
11
+z1 :[231,261]
66
01
68
01
721
01
-z1 :[183,207]
698
11
727
11
+z1 :[134,145]
166
01
704
01
703
01
702
01
697
11
639
11
55
01
164
01
165
01
+z1 :[231,253]
109
01
163
01
167
01
706
01
35
11
33
11
32
11
+z1 :[134,145]
636
01
76
11
29
01
77
11
162
01
159
01
36
11
30
01
73
11
31
11
649
01
37
11
650
01
150
01
160
01
651
01
75
11
+z1 :[134,145]
38
11
78
11
41
01
54
01
70
01
707
01
108
01
+z1 :[231,269]
708
01
161
01
-z1 :[183,207]
39
11
40
01
151
01
709
11
+z1 :[231,261]
152
01
81
11
640
01
79
11
652
11
660
01
655
01
661
01
44
01
158
01
-z1 :[183,207]
72
11
141
11
654
01
656
01
653
11
140
11
142
11
71
01
149
01
45
01
153
11
+z1 :[231,269]
46
01
+z1 :[231,261]
52
01
51
01
43
01
-z1 :[183,199]
143
11
662
01
172
11
174
11
139
11
+z1 :[134,145]
53
11
107
01
48
11
170
11
145
11
144
11
173
11
175
11
138
11
176
11
178
11
137
11
136
01
177
11
179
11
154
01
155
01
157
11
+z1 :[231,253]
156
01
50
01
-z1 :[183,199]
146
01
147
01
148
01
135
01
180
11
659
01
663
01
223
01
670
01
833
01
623
01
840
01
832
01
624
01
622
01
621
01
820
01
839
01
669
01
674
01
91
11
89
11
+z1 :[134,145]
95
01
49
11
102
11
+z1 :[231,253]
98
01
118
01
-z1 :[183,199]
92
11
120
11
644
11
643
11
642
01
671
01
629
01
838
01
625
01
845
01
835
01
626
01
88
11
123
11
121
11
96
01
101
01
100
01
97
01
117
01
-z1 :[183,199]
134
01
94
11
93
11
122
11
124
11
87
11
667
01
675
01
684
01
127
11
125
11
119
11
99
01
103
01
106
01
+z1 :[230,269]
245
01
105
01
246
11
+z1 :[230,261]
242
01
250
01
673
01
86
11
837
01
668
01
672
01
11
01
758
01
129
11
+z1 :[134,145]
819
01
10
01
595
01
-z1 :[182,207]
267
11
249
01
305
01
+z1 :[230,253]
306
11
-z1 :[182,207]
239
01
266
01
241
01
248
01
240
01
677
01
304
01
238
11
603
01
600
01
681
01
252
01
265
01
300
01
+z1 :[231,253]
302
11
+z1 :[230,261]
114
11
63
11
SIGNAUX
z1 ; z2
Graphe A
00
+x12 :[107,125] +x11 :[144,158]
10
+x11 :[144,166] +x12 :[155,179]
11
SIGNAUX
x11 ; x12
+x12 :[116,179]
(1498 transitions , 1047 états)
+z1 :[230,253]
314
11
260
11
258
01
316
01
318
11
313
01
317
01
277
11
+z1 :[134,145]
326
11
333
11
231
11
747
11
746
01
745
01
744
01
293
11
332
11
+z1 :[134,145]
196
01
558
01
591
01
197
01
324
11
331
11
229
01
750
01
198
01
559
01
751
01
228
01
227
01
752
01
194
01
200
01
756
11
757
11
288
11
291
11
329
11
+z1 :[134,145]
755
01
753
01
+z1 :[134,145]
754
01
285
01
327
11
284
01
287
11
290
11
283
01
286
11
Minimisation
132
01
33
01
34
01
35
01
36
01
37
01
+x11 :[145,158]
32
01
Génération du
117
10
102
10
19
01
151
00
23
01
+x12 :[107,117]
154
00
6
10
98
10
104
10
13
10
155
00
+x12 :[107,117]
7
10
82
10
9
10
79
10
20
01
+x12 :[107,125]
22
01
21
01
+x12 :[107,117]
+x12 :[107,125]
+x12 :[107,125]
+x12 :[107,117]
44
00
43
00
-x11 :[96,104]
77
10
15
10
106
10
76
00
-x11 :[96,104]
51
00
45
00
+x11 :[144,166]
48
01
+x12 :[107,125]
46
00
+x12 :[107,125]
49
11
+x11 :[144,158]
153
01
73
00
+x12 :[116,179]
95
11
96
11
97
11
59
00
68
00
55
01
+x12 :[107,125]
54
01
+x11 :[144,158]
56
11
+x12 :[155,179]
50
11
26
11
6>
SIGNAUX
x1;x2
Comportement
de l’entrée
00
+x2 :[32,63]
+x1 :[10,25]
10
11
SIGNAUX
x1;x2
63
00
71
10
72
10
67
11
Graphe C
66
11
(225 transitions , 133 états)
+x12 :[155,179]
+x11 :[144,158]
64
10
65
10
Graphe B
SIGNAUX
x11 ; x12
(304 transitions , 162 états)
88 0 +
!
$ C $ $ /
0 $ $ 0 $ / $ M O
E E $ $ / # $ $ !
@
$ M O M O K L $ & MO 89 K L 2 2 89 MO @ ( K R R L # 8: &'
&'
89 0 # ) @ C C T /
% $ $ $ + $#
$ $ 65
0
10
1
10
2
10
3
10
4
10
5
10
6
10
7
10
114
10
115
10
89
10
88
10
116
10
90
10
112
10
91
10
86
10
87
10
111
10
84
10
98
10
9
10
108
10
109
10
110
10
92
10
8
10
85
10
113
10
117
10
105
10
106
10
83
10
80
10
103
10
93
10
161
10
118
10
107
10
99
10
81
10
10
10
104
10
82
10
78
10
79
10
119
10
100
10
101
10
102
10
120
10
11
10
12
10
121
10
158
10
13
10
122
10
159
10
14
10
123
10
160
10
94
10
124
10
125
10
+x12 :[116,179]
95
11
15
10
126
10
-x11 :[96,104]
96
11
16
00
-x11 :[96,104]
77
10
127
00
157
10
-x11 :[96,104]
97
11
76
00
-x11 :[96,104]
17
00
128
00
156
00
+x12 :[107,117]
57
00
42
00
154
00
+x12 :[107,117]
18
01
139
00
+x12 :[107,117]
75
00
58
00
51
00
43
00
155
00
19
01
150
00
73
00
52
00
44
00
31
01
20
01
74
00
68
00
53
00
+x12 :[107,125]
61
00
69
00
54
01
152
00
45
00
+x12 :[107,125]
153
01
46
00
41
01
141
01
32
01
133
01
55
01
70
00
63
00
47
01
40
01
+x12 :[107,117]
33
01
134
01
147
00
+x12 :[107,117]
21
01
27
01
39
01
34
01
135
01
148
00
+x11 :[144,158]
56
11
64
10
28
01
149
01
35
01
136
01
144
01
+x11 :[145,166]
+x11 :[144,166]
23
01
29
01
+x11 :[145,166]
36
01
37
01
72
10
24
11
+x12 :[155,179]
30
11
50
11
+x11 :[145,158]
38
11
+x12 :[155,179]
66
11
137
01
145
11
+x11 :[145,158]
49
11
65
10
143
01
+x12 :[107,125]
22
01
48
01
71
10
142
01
+x12 :[107,125]
+x11 :[144,158]
+x11 :[144,158]
25
11
67
11
26
11
SIGNAUX
x11 ; x12
8: 0 ,
66
138
01
+x12 :[107,125]
131
01
+x12 :[107,125]
62
00
146
00
+x12 :[107,117]
+x12 :[107,125]
+x12 :[107,125]
132
01
+x12 :[107,125]
151
00
+x12 :[107,117]
60
00
140
00
130
01
+x12 :[107,125]
59
00
129
01
+x12 :[107,117]
Æ £ Æ £
Æ M O
7 MÆ O % + K?B4 =5L M O 8D
* ! GR / K59: 5:<LH GR / K59: 5DDLH
GR / K599 5:<LH GR / K599 5DDLH C M O
C ( /
£ Æ Æ £ Æ ¼ M O
# J MÆ UO U Æ M 8;O # @A 8D M?O 10
10
-x11 :[96,104]
-x11 :[96,104]
00
00
+x12 :[107,117]
01
+x11 :[145,166]
01
+x11 :[145,158]
+x12 :[107,125]
+x12 :[107,125]
01
+x12 :[107,125]
01
+x11 :[145,166] +x11 :[144,166]
+x11 :[144,158]
+x11 :[144,158]
10
+x12 :[155,179]
+x12 :[107,125] +x11 :[144,158]
+x12 :[116,179]
01
+x12 :[116,179]
10
+x11 :[144,166] +x12 :[155,179]
11
11
SIGNAUX
x11 ; x12
SIGNAUX
x11 ; x12
(A)
(B)
8D 0 M O 3
. M?O 3
) * !
' $( C 85 # 68
[7,13]
[15,23]
[7,23]
[8,18]
[14,17]
8; 0 3
86 C 4 3
)
9
8>9
:
>:< <
588
D
56< 5D
9><>
55
869 6>
6D=>
5D
:58 69 659=<
8>
5595 6< :>:98
8=
6=9; 86 ;8:>6
9<
8=:; 8D =:D5=
:;
5 :8D< 9> 55;;8D
DD
8 56>5 99 58=<:8
;:
: >;68 9< 5D5=;>
<9
; 85:8 :6 5<9><;
=8
5> >9<6 :D 6>D6>9
5>6
59 95:; D> 66<865
555
6> 8<98 D9 6:>98<
56>
6< 59=8 D< 6;6:::
56=
8; 9::< ;6 6=9D;6
58<
9= 8:6; ;D 85D;<=
59;
5 >9 >8:< <> 88<=>D
5:D
5 65 9;<< <9 8D5>68
5D:
5 96 :<D< << 8<859>
5;9
5 :< ::96 =6 9>:6:;
5<8
6 8> 8>< =D
V
V
R5> 55 D;9 86 0 # 69
J 6> 5>> 3 8<
1000000
1000000
Sans abstraction
Sans abstraction
100000
Avec abstraction
10000
Temps (ms)
Nombre des états
100000
1000
1000
100
100
10
10
8
24
40
56
nombre des portes
72
88
Avec abstraction
10000
8
24
40
56
nombre des portes
72
88
8< 0 * ! )
$( + 86 * 7 8 M O 68 5<8
C @A Æ M 86O
# /
0 # @
6:
M 8= O
0 # @ (
Æ
10
10
10
10
y1
10
-y1 :[48,62]
00
[48,62]
[35,54]
-y1 :[48,62]
00
y2
00
00
+y2 :[83,116]
+y2 :[83,116]
01
01
01
0
SIGNAUX
y1 ; y2
01
x
SIGNAUX
y1 ; y2
+x :[0,0]
1
SIGNAUX
x
11
y1
[48,62]
11
11
11
11
-y2 :[35,54]
-y1 :[48,54]
11
10
y2
[35,54]
01
11
-y2 :[35,54]
10
-y1 :[48,54]
01
-y1 :[48,54]
10
00
-y1 :[48,62]
-y2 :[48,54]
-y2 :[48,54]
00
-y1 :[48,62]
SIGNAUX
y1 ; y2
00
00
00
SIGNAUX
y1 ; y2
8= 0 2( @
C C
*
"
( !
! # ( ( 6D
& @
( ! !
!
+ ,-
95 !
/
5 # M O 6 J 8 J 9 J 85 ( S > S >
) : J C ! # !
& E 96 6;
.blif
Les sigaux
à analyser
.sdf
Etat initial
à traiter
...
Fichier.aca
(circuit)
Comportement réduit
des signaux à superviser,
décrit en LTS
Système
Description de
l’entrée globale
du circuit
Nombre de portes
par partition
95 0 1 !
E
& & .input {x1;x2}
.output {z1;z2}
[38,41]
x1
[48,62]
z1
y1
[49,62]
[35,54]
y2
x2
y1 = [40,62] ~x1*x2 + x1*~x2
y2 = [35,54] x1 * x2
z1 = [38,41] ~x1 + ~y1
z2 = [49,62] y1 + y2
z2
(circuit)
96 0 # (fichier.aca)
) & '( @ !
.
2 & 8 = ( M 98O
C 88
( C @ 6<
S1
S2
98 0 2 @ F
Les signaux
à analyser
Etat initial
du circuit
Partie du circuit
concernée par
le traitement
Extraction du
cone d’influence
description
du circuit
(.aca)
Partition 1
(.aca)
Etat initial
Partition 2
(.aca)
Partition 3
(.aca)
Etat initial
Nombre de portes
par partition
Partitionnement
... ... ...
Etat initial
Partition n
(.aca)
Etat initial
99 0 2 3 ! ! ( 9: /
5 . $ /
&B # GH 9: 6 . 0$ &B GH # 6=
8
9
C !
( 88 # G4H 88 G3
H 9:
, 10 2
/
3- 2 , 2 ( 9: M( O C @
!?
2 ( 9: 99 T # 1 9: ! 2 ( GH # 1 # 8: !
"
( ( ( /
0 # @ F !
0 # 0 # !?
0 # !?
0 # M3 + O
0 # 0 # 8>
) !
85
Entrée
global
...
aca2if
Minimisation
Partition finale
Circuit vu comme un ensemble de partitions
Partition i+1
(.aca)
Partition (i)
Partition i
(.aca)
aca2if
Circuit.if
( i+1 )
Entrée.if
( i+1 )
Global.if
Circuit.if
(i)
aut2if
Etat initial
( i+1 )
Entrée.if
(i)
Global.if
Modified
if.open
Global.aut
(LTS)
Modified
if.open
Minimised.aut
(LTS)
...
Comportement
réduit à
superviser
( LTS )
86
Etat initial
(i)
Minimisation
Global.aut
(LTS)
aut2ps
Global.ps
(visuel)
aut2ps
Minimised.ps
(visuel)
aut2ps
Global.ps
(visuel)
9: 0 C / # # 2 ! # !
2 ! @A 2 ! C
/
0 # * 0 &B E ! 7 /
@ ! 0 # !
MO 88
K =>L
+ !
7 . - ( 221/22A 5==>
K P=:L C " P
B
' B
( + * ! ! -+/
- >
(;!-->CA< B ( DC/E3 7 5==:
K #>6L 4 33 # &F 7 B ! 6>>6
K >8L 4 # ( (
-"%
*(
+ 0 C J C D 6>>8
K?=<L 3 ?% ) F/
*(
! 5==<
K?>>L # ?% # B " -*,
( # * 4
( ? /
-*, C J! 2
2 6>>>
K?B4 =5L ? - B" , 4 +" - ,%
,! B !-#7BCG 7.- AGH
, 5==5
K?=DL ?% !! (
- 5==D
K?=<L , ? > -
C - B 5==<
K?>>L ? J !
#* ? #
/
> 7(
6>>>
K?Q=DL +, ?! Q Q '!
) + * #-" - 5==D
K43 =DL 4 W 4 # 3 * )' B X
, ' / ' B
( +
?% IBCJ 5==D
K
L
3 4 !
3 !
/NN'''
N
KCL
- X C & ! ! 4-7# - > /
7 #( -# CHHCA - !
K,)>5L 2 ! Y , , ) B
!
2 2 6>>5
K$=DL 23 % -3 $ B
/ , -"4/-/CJ/GDE 5==D
KL
!3 *
! ! /NN%%N NN!
K>5L 3 )
.%K!# 6>>5
K4#=<L P ! 4 3 # W ! 4
B
" -
5==<
K=<L P ! > C J C 1& 5==<
KBB4L
? B" B" 4 Æ
$/%"%.
"
K4=8L
4 B
' / ! *
+ - - (
" 4
5==8
KP#,=:L
P
C # , 1! !&" ) +
* > 5==:
KP3=5L +C P P# 33 ! !
! -/#
>/
( GHG2AH/G2DG 5==5
K3P#=DL - , 3 3 P
) #! ! % :%<D F 5==D
K3C=:L 7 3 C )
! ! B - ,
( ;< B
-# "CA7.- CEDGEC/1HA , 5==:
K3,=:L ,C 3 3 , B
: F,* !
/(* ? *
0 B ( 1/GJ 5==:
K3%>6L + 3% , - >
.*@ 4
6>>6
K,?3>8L +? , 3 ?" 7 3 7 ! 3! 6>>8
K,>>L , 7 ) &222 ,! C59=; ! MO #
. !
/
- 6>>>
K,!==L
KQ=;L
,!! J, B
4 $
5 # ( #
5===
, Q 3 % 5==;
/
'
%, /
!! !! " # $ $ $ " #
%
& ' & ! () ( ) ( ) * +
'
%, ' 0%
# GH #), " #
" ,, -- #
'
%, ! ! .
.
/
" # 0