Vous êtes sur la page 1sur 8

Cours "Systmes logiques" Info et SysCom 1re anne

Exercices sur les systmes squentiels


Eduardo Sanchez - EPFL
2008
1. Supposez le compteur de la figure ci-dessous. Quelle est la squence de
comptage ? (les variables sont donnes dans lordre y1y2)
a) 0  1  2  3
b) 0  3  2  1
c) 0  2  1  3
d) 0  3  1  2
y1

CK

y2

2. Supposez que la machine squentielle ci-dessous est initialise


Q4Q3Q2Q1=0000. Analyser la machine squentielle et donner sa squence de
comptage en dcimale si les variables sont donnes dans lordre Q4Q3Q2Q1.

3. Donnez la squence de comptage de la machine squentielle du point 2 si elle est


initialise ltat Q4Q3Q2Q1=1111.

4. La machine squentielle ci-dessous peut tre initialise ltat Q4Q3Q2Q1=0000


ou ltat Q4Q3Q2Q1=1111 via les signaux asynchrones RESET et PRESET (ces
signaux ne sont pas montrs dans le schma logique pour simplifier son illustration).
Analysez la machine squentielle et donnez les squences de comptage en dcimale
pour le deux cas dinitialisation (les variables sont donnes dans lordre Q4Q3Q2Q1).

5. Analysez la machine squentielle de la figure suivante. Indiquez si cest une


machine de Mealy ou de Moore, trouvez sa table dtats et son graphe des tats.

6. Analysez la machine squentielle de la figure suivante. Indiquez si cest une


machine de Mealy ou de Moore, trouvez sa table dtats et les quations qui
dcrivent sa ralisation matrielle.

7. Un systme squentiel ralise la squence de comptage 0  3  1  2, trouvez


son schma logique laide des bascules D.
8. Un systme squentiel ralise la squence de comptage 111101110011
00011000010000101001110001101011010110101101
11101111, etc.., trouvez son schma logique laide des bascules D.
9. Supposez une machine squentielle dcrite par les quations suivantes :
Y1+(X1,X2,Y1,Y2) = X1 Y2 + X1Y2
Y2+(X1,X2,Y1,Y2) = X2Y1 + X2Y1
Z(X1,X2,Y1,Y2) = Y2(X1  Y2) + Y2(X2  Y1)

Indiquez si cest une Machine de Mealy ou de Moore, trouvez sa table dtats et son
graphe des tats.
10. Supposez une machine squentielle dcrite par le graphe dtats de la figure cidessous. Indiquez si cest une machine de Mealy ou de Moore, trouvez sa table
dtats et les quations qui dcrivent sa ralisation matrielle.

11. Les palindromes sont des mots ou des groupes de mots qui peuvent tre lus
indiffremment de gauche droite ou de droite gauche. Exemples: Elu par cette
crapule, Esope reste ici et se repose, gag, kayak, radar, t.
On peut dire ainsi que 1000001 et 01000010 sont des squences binaires
palindromes 8 bits.
Un systme squentiel comporte une tte de lecture lisant chaque instant dhorloge
un nouveau bit. Ralisez le graphe des tats qui permet la conception de ce systme
squentiel pour dtecter si une squence de 3 bits est palindrome ou non.
12. L'ADN est une norme molcule forme dune chane de centaines de milliers de
molcules plus petites appeles nuclotides. Il y a dans l'ADN quatre sortes de
nuclotides que l'on dsigne respectivement par les lettres A, C, G et T.
Un systme squentiel comporte une tte de lecture lisant chaque instant dhorloge
un nouveau nuclotide. Ralisez le graphe des tats qui permet la conception dun tel
systme squentiel pour dtecter des squences A*GnT
Le symbole * la deuxime position de la squence veut dire qu'on accepte
n'importe lequel des nuclotides et lexposant n la troisime position de la
squence indique qu'on accepte un nombre non dtermin du mme nuclotide.
Exemples de squences A*GnT : ACGT, AAGGT, ACGGGGGT, ATGGGGT, AGGGGGT

Dressez aussi la table dtats du systme.


SOLUTIONS
1. b) 0  3  2  1
2. 0,10,13,6,11,15,15,15...
3. 15,15,15...
4. a) 0,11,7,0...
b) 15,6,2,3,1,1...
5.
y1+ = x1x2y1y2
y2+ = x1x2y1y2 + x1x2
z = x1x2y1
Cest une machine Mealy parce que la sortie dpend des entres x1 et x2.
Table dtats :
Y2+ y1+ / z
0 0
0 1
1 0
1 1
y2 y1

x2=0, x1=0
10/0
10/0
10/0
10/0

x2=0, x1=1
00/0
00/1
00/0
00/1

x2=1, x1=0
00/0
00/0
11/0
00/0

x2=1, x1=1
00/0
00/0
00/0
00/0

6.Cest une machine de Moore.


y1+ = x1x2y1y2
y2+ = y1 + x1x2
y3+ = y2
y4+ = y4
z = y3y2y1
Y4+ Y3+ Y2+ y1+ / z x2=0, x1=0
0 0 0 0
0110/0
0 0 0 1
0110/0
0 0 1 0
0010/0
0 0 1 1
0010/1
0110/0
0 1 0 0
0110/0
0 1 0 1
0 1 1 0
0010/0
0 1 1 1
0010/0
1 0 0 0
1110/0
1110/0
1 0 0 1
1010/0
1 0 1 0
1010/1
1 0 1 1
1110/0
1 1 0 0
1110/0
1 1 0 1
1 1 1 0
1010/0
1 1 1 1
1010/0
y4 y3 y2 y1

x2=0, x1=1
0100/0
0110/0
0000/0
0010/1
0100/0
0110/0
0000/0
0010/0
1100/0
1110/0
1000/0
1010/1
1100/0
1110/0
1000/0
1010/0

x2=1, x1=0
0100/0
0110/0
0001/0
0010/1
0100/0
0110/0
0001/0
0010/0
1100/0
1110/0
1001/0
1010/1
1100/0
1110/0
1001/0
1010/0

x2=1, x1=1
0100/0
0110/0
0000/0
0010/1
0100/0
0110/0
0000/0
0010/0
1100/0
1110/0
1000/0
1010/1
1100/0
1110/0
1000/0
1010/0

7. Cest le mme schma que celui de la question 1 avec les variables donnes dans
lordre y2y1
8.

9. Cest une machine de Mealy (la sortie dpend de lentre x)


Y2+ y1+ / z
0 0
0 1
1 0
1 1
y2 y1

x2=0, x1=0
00/0
10/1
01/1
11/1

x2=0, x1=1
01/0
11/1
00/0
10/0

x2=1, x1=0
10/1
00/0
11/1
01/1

10. Cest une machine de Mealy (la sortie dpend de lentre x)


Y1+ y2+ / z1 z2
0 0
0 1
1 0
1 1
y1 y2
y1+ = y1 x + x y2
y2+ = x y2 + x y2
z1 = y1 y2
z2 = x + y2

x=0
00/00
01/01
10/00
11/11

x=1
11/01
00/01
11/01
00/11

x2=1, x1=1
11/1
01/0
10/0
00/0

11.

12. Graphe des tats :

Table dtats :
Supposez quon utilise les variables x2x1 pour coder les entres, la variable z code la
sortie, et les variables dtats sont y2 et y1, alors :
A = 00, C=01, G=10, T=11 et les tats a = 00, b = 01, c = 10, d = 11
y2+ y1+ / z
0 0
0 1
1 0
1 1
y2 y1

x2=0, x1=0
01/0
10/0
01/0
01/0

x2=0, x1=1
00/0
10/0
00/0
00/0

X2=1, x1=0
00/0
10/0
11/0
11/0

x2=1, x1=1
00/0
10/0
00/0
00/1