Analisi di circuiti sequenziali sincroni
Stato presente al tempo (t) → presente in un array di FF
Stato futuro al tempo (t+1) è funzione booleana di stato presente e input
Outputs al tempo (t) → funzione booleana di stato e (non sempre) input
A(t+1) = A(t) x(t) + x(t)B(t)
B(t+1) = A(t) x(t)
Y(t) = x(t) (A(t) + B(t))
Costruzione tabella stati
| PS | Input | Next State | Output | ||
|---|---|---|---|---|---|
| A(t) | B(t) | x(t) | A(t+1) | B(t+1) | Y(t) |
| 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 0 |
Costruzione tabella stati alternativa: Ordine gl
Stati presenti in Codice Gray.
| PS | FS | Output |
|---|---|---|
| A(t) B(t) | x = 0 A(t+1) B(t+1) | x = 1 A(t+1) B(t+1) | x = 0 y(t) | x = 1 y(t) |
| 0 0 | 0 0 | 0 1 | 0 | 0 |
| 0 1 | 0 1 | 1 1 | 1 | 0 |
| 1 1 | 0 1 | 1 0 | 1 | 0 |
| 1 0 | 1 0 | 1 1 | 1 | 0 |
Rappresentazione sottoforma di diagramma degli Stati
Con: Cerchio: 1 per ogni stato presente.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.