8.3.

Automate sincrone cu comportament asincron

Metoda general de sintez :
pornind de la tema de proiectare se determin un mod de
reprezentare formal (graf de stri, tabel de tranziii)
se face o reducere a numrului de stri
se face codificarea binar a strilor
se face sinteza funciilor binare de excitaie i de ieire
se implementeaz schema logic a circuitului

exemplu: se face sinteza discriminatorului de sens de rotaie :

CLK

x2
x1 y
y=0
0
1
0 1
y =1
Fig. 8.14 Caietul de sarcini pentru discriminatorul de sens
10/1
x 1 x 2 /y
Q 5
11/1 10/1 00/0 10/1
CLK 1
00/0 01/0
x1 11/1 10/0 00/0 00/1 00/1
6 4 10/0 01/0 2 8
x2 11/0 01/0
11/1
10/0 11/0
y 3
01/1 01/1 00/1
11/0
7
1 2 3 4 1 5 6 7 8
01/1

Fig. 8.15 Forme de und i diagrama strilor

ASSN-9 1
 frecvena semnalului de ceas CLK este mult mai mare dect
frecvena de modificare a intrrilor x1 i x2 (viteza arborelui)
un sistem cu comportament asincron este un sistem secvenial
sincron n care ieirea y nu depinde de duratele intrrilor x1 i
x2 ci numai de ordinea n care acestea se modific
tranziia de la o stare stabil la alta se face dup modificarea
intrrilor, sincron cu frontul activ al ceasului, dup cel mult o
perioad a semnalului de ceas
problema metastabilitii
x1 x 2 Q+, y x1 x2 Q+, y
Q 00 01 11 10 Q 00 01 11 10
1 1,0 2,0 -,- 5,1 1 1,0 2,0 4,1 1,1
2 8,1 2,0 3,0 -,- 2 2,1 2,0 3,0 1,1
3 -,- 7,1 3,0 4,0 3 2,1 3,1 3,0 4,0
4 1,0 -,- 6,1 4,0 4 1,0 3,1 4,1 4,0
5 1,0 -,- 6,1 5,1
6 -,- 7,1 6,1 4,0 stri echivalente: 1=5 1
7 8,1 7,1 3,0 -,- 2=8 2
8 8,1 2,0 -,- 5,1 3=7 3
4=6 4
Fig. 8.16 Tabelul tranziiilor i reducerea strilor

codificm strile n conformitate cu regula 1 de codificare

(strile care au aceiai succesori pentru aceleai intrri primesc
coduri adiacente): 1 = 00, 2 = 01, 3 = 11, 4 = 10

x1 x 2 Q+1Q 2+, y
Q 1Q 2 00 01 11 10
00 00,0 01,0 10,1 00,1
01 01,1 01,0 11,0 00,1
11 01,1 11,1 11,0 10,0
10 00,0 11,1 10,1 10,0
Fig. 8.17 Tabelul tranziiilor dup codificarea strilor
ASSN-9 2
 descompunem tabelul n 3 diagrame Veitch-Karnaugh i
obinem urmtoarele forme minime:
Q1+ = D1 = x1 x 2 + x 2 Q1 + x1Q1 , Q2+ = D2 = x1 x2 + x1Q2 + x2 Q2 ,
y = x1Q1Q2 + x2 Q1Q2 + x1Q1Q2 + x2 Q1Q2
x1
x1 x1 Q1
x2 x2 Q2
x2
x2 x1 Q1
D Q Q1 Q D Q Q2 Q2
Q1 2 y
x1 1 x2 x1
2 Q1
Q1 Q2 Q2
CLK Q Q1 CLK Q Q2
x2
Q1
CLK Q2

Fig. 8.18 Schema logic

codarea 1 prin m : nu este minimal, dar permite obinerea unor
structuri iterative. Prin alegerea urmtoarelor coduri: 1 = 0001,
2 = 0010, 3 = 0100, 4 = 1000, obinem tabelul:
+ + + +
x1 x2 Q 1Q 2Q 3Q 4 , y
Q 1Q 2Q 3Q 4 00 01 11 10
0001 0001,0 0001,0 1000,1 0001,1
0010 0010,1 0010,1 0100,0 0001,1
0100 0010,1 0100,1 0100,0 1000,0
1000 0001,0 0100,1 1000,1 1000,0
Fig. 8.19 Tabelul tranziiilor pentru codul 1 prin m
Prin minimizarea pe diagrame Veitch-Karnaugh a funciilor
de excitaie pentru bistabile D i a ieirii se obin expresiile:
Q1+ = D1 = x1 x2 (Q1 + Q4 ) + x1 x2 (Q1 + Q2 )
Q2+ = D2 = x1 x2 (Q1 + Q2 ) + x1 x2 (Q2 + Q3 )
Q3+ = D3 = x1 x2 (Q2 + Q3 ) + x1 x2 (Q3 + Q4 )
Q4+ = D4 = x1 x2 (Q1 + Q4 ) + x1 x2 (Q3 + Q4 )

y = x1 x2 (Q2 + Q3 ) + x1 x2 (Q1 + Q2 ) + x1 x2 (Q1 + Q4 ) + x1 x2 (Q3 + Q4 )

ASSN-9 3
 0 0 Q1 0 0

Q1
0 1
Q Q1 Q2
1
Q Q2
MUX D MUX D
Q2
2
Q2
0 2
Q1 3 21 20 1 Q3
3 21 20 2
Q4 CLK Q Q1 CLK Q Q2
x1 x2 x1 x2
Q2 CLK CLK
Q3 Q1
0 0
Q3 Q4
Q4
1
Q Q3 Q3
0 1
Q Q4
MUX D MUX D
0 2 2
Q4
0 3 21 20 3 0 3 21 20 4
CLK Q Q3 CLK Q Q4
x1 x2 x1 x2
CLK CLK

Fig. 8.20 O implementare cu MUX cu 2 intrri de selecie

realizai o implementare cu bistabile D i DMUX cu 2 intrri de

selecie
coduri distincte genereaz structuri distincte care sunt ns
reprezentate prin grafuri sau tabele identice

8.4. Automate sincrone cu comportament sincron

metoda general de sintez este aceeai ca la sistemele cu
comportament asincron
exemplu: sistem de recunoatere a cuvintelor care se termin cu
literele s, prin analiza textului, caracter cu caracter:
CLK
x1 x2 semnificaia
x2 s-a citit caracterul "s" (s)
0 0
x1 y 0 1 s-a citit caracterul "" (a)
1 1 alt caracter, inclusiv cratima (l)
1 0 semn de punctuaie (p)
cap citire

v r e a u s - m i d a i o m a s ;

Fig. 8.21 Caietul de sarcini pentru detectorul de secven

ASSN-9 4
 a, l, p /0
x1 x2 /y
CLK Q 1
a, l, p/0
l s a p l s a a p l, p /0 s /0
s /0
x1 2
x2 s /0 a/0
a, l /0
y s /0 3
p/1
1 2 3 4 1 2 3 1 1 4

Fig. 8.22 Forme de und i diagrama strilor

un sistem cu comportament sincron este un sistem secvenial

sincron n care intrrile se modific n sincronism cu semnalul
de ceas i ieirea depinde de duratele intrrilor i de ordinea
de succesiune a lor (secvenele s a a a a p sau
s a a p nu corespund caietului de sarcini i produc
y = 0)

x1 x 2 Q+, y x1 x2 Q+ , y
Q 00 01 11 10 Q 00 01 11 10
1 2,0 1,0 1,0 1,0 1 2,0 1,0 1,0 1,0
2 2,0 3,0 1,0 1,0 2 2,0 3,0 1,0 1,0
3 2,0 1,0 1,0 4,1 3 2,0 1,0 1,0 1,1
4 2,0 1,0 1,0 1,0 stri echivalente: 1 = 4
Fig. 8.23 Tabelul tranziiilor i reducerea strilor

tabelului redus i corespunde o diagram redus a strilor

codificm binar minimal strile: 1 = 00, 2 = 01, 3 = 11 i
obinem expresiile: Q1+ = D1 = x1 x2 Q1Q2 , Q2+ = D2 = x1 x2 + x1 x2 Q1Q2 ,
i y = x1 x2 Q1
utilizarea codului 1 prin 3 i implementarea schemei logice cu
bistabile D i MUX/DMUX
ASSN-9 5
 implementarea cu registre de deplasare:
o succesiune de k stri de intrare este o secven de intrare
determinant de lungime k, dac ieirea generat de aceast
secven este independent de starea intern iniial a
sistemului secvenial sincron cu comportament sincron
sistemul secvenial are memorie finit dac orice secven
de intrare de lungime egal sau mai mare dect k este
determinant
In exemplul considerat k = 3 i orice secven de intrare
terminat prin s a p sau x1 x2 = 00 01 10 produce la
ieire y = 1, indiferent de starea intern iniial a sistemului.
Metoda de sintez a schemei logice:
se pune n eviden secvena de intrare determinant de
lungime k care produce y = 1
pentru un sistem cu n intrri, se introduc n paralel n
registre de deplasare de k-1 bii fiecare
se implementeaz CLC-ul care genereaz ieirea
x1 (t + 2) x1 (t + 1) x1 (t)
D Q D Q

CLK CLK Q CLK CLK Q

x2 (t + 2) x2 (t + 1) x2 (t)
D Q D Q

CLK CLK Q CLK CLK Q

y (t + 2)
Fig. 8.24 O soluie cu registre de deplasare
ASSN-9 6