Analyse et synthse des

systmes squentiels
Profs. Pea & Perez-Uribe & Starkier
Bas sur le cours du Prof. E. Sanchez
Analyse des machines
squentielles
Dterminer les fonctions d'tat futur et de sortie, de faon
pouvoir prdire le comportement de la machine
La spcification du comportement est faite l'aide de deux
types de reprsentation:

la table dtats
le graphe des tats
Exemple: machine de Mealy
Equations du systme:
Les quations des entres des bascules sont:
En remplaant l'quation caractristique des bascules D
(Q
+
= D), on obtient les quations des variables d'tat futur:
L'quation de la sortie est:
!
D0 = Q0 E + Q0 E
D1= Q1 E + Q1Q0 E + Q1Q0 E
!
Q0
+
= Q0 E + Q0 E
Q1
+
= Q1 E + Q1Q0 E + Q1Q0 E
!
M = Q1Q0 E
Mode de reprsentation: la table dtats
chaque ligne de la table reprsente un tat prsent
chaque colonne de la table reprsente une combinaison des entres
a chaque case de la table on introduit l'tat futur et la sortie
correspondante
Pour notre exemple, on obtient:







Pour une machine de Moore, la table est plus simple: il y a une seule
valeur de sortie par tat, c'est--dire par ligne
E
0 1
00 00,0 01,0
01 01,0 10,0
10 10,0 11,0
11 11,0 00,1
Q1Q0
Mode de reprsentation: le graphe des tats
chaque tat est reprsent par le sommet d'un graphe orient
les changements d'tat sont reprsents par des flches
sur les flches on indique les valeurs des entres qui produisent
le changement d'tat et les valeurs des sorties
Pour notre exemple, on obtient:
00 01
11 10
0/0
1/0
0/0
0/0
1/0
1/1
0/0
1/0
Mode de reprsentation: le chronogramme











les tats changent seulement avec le flanc montant de l'horloge
les sorties peuvent changer tout moment, avec le changement d'un
tat ou d'une entre (dans une machine de Moore, les sorties
changent uniquement avec le changement d'un tat)
CK
E
Q1
Q0
M
Dans cet exemple on peut voir le dsavantage d'une machine de
Mealy par rapport une machine de Moore: la dure de la
sortie M est toujours infrieure une priode d'horloge et son
changement (passage 0 ou passage 1) peut survenir
n'importe quel moment, en fonction des changements de
l'entre E
Si la sortie d'une machine squentielle sert contrler une
action externe, la dure du signal est un facteur trs important
Exemple: machine de Moore
Equations du systme
Q
2
+
=Q2Q0 + Q0Q1
Q
1
+
= Q2Q0 + Q0Q1
Q
0
+
= Q2Q1 + Q2Q1
Z = Q2Q1Q0
Exemple: machine de Moore (2)
Equations du systme

Q
2
+
=Q2Q0 + Q0Q1
Q
1
+
= Q2Q0 + Q0Q1
Q
0
+
= Q2Q1 + Q2Q1
Z = Q2Q1Q0
Q
2
+
Q
1
+
Q
0
+
/z
0 0 0 0 0 1 /0
0 0 1 0 1 1 /0
0 1 0 1 1 0 /0
0 1 1 0 1 0 /0
1 0 0 0 0 0 /1
1 0 1 1 0 0 /0
1 1 0 1 1 1 /0
1 1 1 1 0 1 /0
Q2Q1Q0
Table dtats
Exemple: machine de Moore (3)
Q
2
+
Q
1
+
Q
0
+
/z
0 0 0 0 0 1 /0
0 0 1 0 1 1 /0
0 1 0 1 1 0 /0
0 1 1 0 1 0 /0
1 0 0 0 0 0 /1
1 0 1 1 0 0 /0
1 1 0 1 1 1 /0
1 1 1 1 0 1 /0
Q2Q1Q0
Table dtats
Q2Q1Q0/z
Compteur Gray 3 bit
Synthse des systmes squentiels
cahier des charges
reprsentation formelle
graphe des tats table d'tats
rduction de la table d'tats
codage de la table d'tats
calcul des fonctions d'excitation des bascules
et des fonctions de sortie
logigramme
Codage
Le rsultat de synthse dune machine squentielle est
fonction du codage des tats de la machine.
Codage binaire: pour un systme squentiel 2
n
tats,
on code les tats en utilisant une combinaison binaire
de n-bits. Le rsultat est un systme n bascules, une
pour chaque bit dtat.
Codage 1 parmi M ou one-hot: pour un systme
squentiel n tats, on code les tats en utilisant des
squences de n-bits o un seul bit du code est 1, par
exemple: 1000, 0100, 0010, 0001 (si la machine na que
4 tats possibles).

APE 2012
Compteur binaire modulo 6
Graphe des tats:
Avec trois bits dtat: Q
2
Q
1
Q
0

Exemple du codage binaire
APE 2012
Compteur binaire modulo 6 (2)
Q
2
+
Q
1
+
Q
0
+

0 0 0 0 0 1
0 0 1 0 1 0
0 1 0 0 1 1
0 1 1 1 0 0
1 0 0 1 0 1
1 0 1 0 0 0
Q2Q1Q0
Table dtats:
0 0 1
0 1 0
Q2
Q1
Q0
Q
2
+
Q
2
+
= Q1Q0 + Q2Q0

APE 2012
Compteur binaire modulo 6 (3)
Table dtats:
0 1 0
1 0 0
Q2
Q1
Q0
Q
1
+
Q
1
+
= Q1Q0+Q2Q1Q0

1 1 1
0 0 0
Q2
Q1
Q0
Q
0
+
Q
0
+
= Q0

Q
2
+
Q
1
+
Q
0
+

0 0 0 0 0 1
0 0 1 0 1 0
0 1 0 0 1 1
0 1 1 1 0 0
1 0 0 1 0 1
1 0 1 0 0 0
Q2Q1Q0
APE 2012
Compteur binaire modulo 6 (4)
APE 2012
Compteur binaire modulo 6
Graphe des tats:
Avec six bit dtat: Q
0
Q
1
Q
2
Q
3
Q
4
Q
5

Exemple du codage 1 parmi M
100000 010000
001000 000100 000010 000001
APE 2012
Compteur binaire modulo 6 (one-hot)
100000 010000
001000 000100 000010 000001
Q
5

Q
0
Q
0
+
= Q
5
100000 010000
001000 000100 000010 000001 Q
0

Q
1
Q
1
+
= Q
0
Q
1
Q
2
Q
2
+
= Q
1
100000 010000
001000 000100 000010 000001
100000 010000
001000 000100 000010 000001
Q
3
+
= Q
2
Q
4
+
= Q
3
Q
5
+
= Q
4
Equations:
APE 2012
Sorties du compteur: Z
2
Z
1
Z
0
Compteur binaire modulo 6 (one-hot)
Etat (Q
0
Q
1
Q
2
Q
3
Q
4
Q
5
) Sorties (Z
2
Z
1
Z
0
)
100000 000
010000 001
001000 010
000100 011
000010 100
000001 101
Z
2
= Q
5
+ Q
4


Z
1
= Q
3
+ Q
2


Z
0
= Q
1
+ Q
3

APE 2012
Compteur binaire modulo 6 (one-hot)
APE 2012
Compteur binaire modulo 6 (one-hot)
APE 2012
Compteur binaire
bidirectionnel modulo 6
Si x==1 alors cpt = cpt + 1
sinon cpt = cpt - 1
Graphe des tats:
Q0Q1Q2Q3Q4Q5
X
100000
x x x x x
x
x' x' x' x' x'
x'
010000 001000 000100 000010
000001
APE 2012
100000
x
x'
Compteur binaire modulo 6 (one-hot)
Equations:
100000
x x x x x
x
x' x' x' x' x'
x'
010000 001000 000100 000010
000001
Q
0
Q
5
Q
1
x
x'
010000
Q
1
Q
0
Q
2
Q
0
+
= Q
5
x + Q
1
x

Q
1
+
= Q
o
x + Q
2
x

Q
2
+
= Q
1
x + Q
3
x

Q
3
+
= Q
2
x + Q
4
x

Q
4
+
= Q
3
x + Q
5
x

Q
5
+
= Q
4
x + Q
0
x

APE 2012
Compteur binaire modulo 6 (one-hot)
Z
2
= Q
5
+ Q
4


Z
1
= Q
3
+ Q
2


Z
0
= Q
1
+ Q
3

Q
2
+
= Q
1
x + Q
3
x

Q
3
+
= Q
2
x + Q
4
x

Q
4
+
= Q
3
x + Q
5
x

Q
5
+
= Q
4
x + Q
0
x

Q
0
+
= Q
5
x + Q
1
x

Q
1
+
= Q
o
x + Q
2
x

APE 2012