Circuiti Sequenziali
Tabelle di transizione
Grafo di transizione
macchina M = < A , B , Q , o , s >
Dove:
- A input
- Q stato
- B output
- o funzione di output
- s funzione di stato
Le transizioni~
sono scandite da un Clock
o :
Macchina di Mealy
A x Q –> B
Macchina di Moore
Q –> B
s :
A x Q –> Q
Latch
- ingresso i
- controllo b
- uscita o
- stato s
Quando b = 1 store: s' = i Quando b = 0 hold: s' = s
Latch SR
-
INPUT
S, R
-
OUTPUT
Q, NOT(Q)
Lo stato S=R=1 e' instabile
Latch D sincronizzato
-
INPUT
D, CK
-
OUTPUT
Q, NOT(Q)
Risolve l’ambiguita' dello stato S=R=1
Il latch e' trasparente
in quanto la sua uscita rappresenta il suo stato istante per istante
Campionamento
Memorizzo il contenuto di D solo al livello alto del clock
- cosi' mi assicuro che D sia
stabile
quando vado a campionare
Flip-FLop
[CK AND NOT(CK)]
-
In quanto l’invertitore comporta un
ritardo
il campionamento avverra' solo quando il risultato sara' alto, quindi alfronte di clock
- qui si sovrappongono CK e NOT(CK)
Perde la trasparenza del latch