Sintesi dei circuiti sequenziali
Dalla specifica verbale all’automa Codifica degli stati e scelta dei FF Tabella Stati Futuri Ricavare funzioni booleane degli output del blocco combinatorio Espressioni booleane minime e schema circuitale END
Supponiamo eseguito il passo 1
Codifica degli stati e scelta dei FF Scegliamo FF di tipo JK Codifica stati S0 Q1=0Q0=0 S1 Q1=0Q0=1 S2 Q1=1Q0=0 S3 Q1=1Q0=1 Nota: in questo modo Q1 e Q2 coincidono con il valore dell’output!!
Tabella Stati Futuri Q1Q0X (t) J1K1 J0K0 Q1Q0=Y1Y0 (t+1) 000 00 001 01 010 10 011 100 101 11 110 111
Tabella delle transizioni dei FF JK Q(t) Q(t+1) J(t) K(t) 0 0 0 X 0 1 1 X 1 0 X 1 1 1 X 0
Ricavare funzioni booleane degli output del blocco combinatorio Q1Q0X (t) J1K1 J0K0 Q1Q0=Y1Y0 (t+1) 000 00 001 01 010 10 011 100 101 11 110 111 0X 0X 0X 1X 1X X1 0X X0 X0 0X X0 1X X0 X0 X1 X1
Espressioni booleane minime X Q1Q0 1 00 01 11 10 J1 K1 J0 K0
..e schema circuitale
SINTESI DI UN CONTATORE
TABELLA STATI FUTURI 0X 0X 1X 0X 1X X1 0X X0 1X 1X X1 X1 X0 X0 1X Q2Q1Q0 (t) J2K2 J1K1 J0K0 Q2Q1Q0=Y2Y1Y0 (t+1) 000 001 010 011 100 101 110 111 0X 0X 1X 0X 1X X1 0X X0 1X 1X X1 X1 X0 X0 1X X0 1X X1 X0 X0 1X X1 X1 X1
Mappe e Espressioni booleane J0 = K0 = 1 J1 = K1 = Q0 J2 = K2 = Q1*Q0
Schema circuitale
Un esercizio un po’ più complesso
1. Dalla specifica all’automa
2. Automa e codifica stati 0 / 1 0 / 0 1 / 0 1 / 1 Associamo lo stato S0 con la configurazione Q1 Q0 = 00 dei FF, S1 con Q1 Q0 = 01 e S2 con Q1 Q0 = 10 (la configurazione Q1 Q0 = 11 non è usata).
3. Tabella stati futuri
4.Espressioni booleane minime
5.Schema circuitale x z T1 T0