Diagramma degli stati
Tabella degli stati
Stati compatibili Le classi di compatibilità che soddisfano copertura e chiusura sono: [A, C] - α [B, G] - β [D, F] - γ [E, H] - δ [I, L] - ε
Tabella degli stati La tabella degli stati, quindi, diventa:
Mappe di Karnaugh (In rosso le corse critiche) Risolvendo le corse
Mappe di Karnaugh Y3 = Y2!Y1A!B + Y3A Y2 = Y1!B + Y2B + !Y3Y2A Y1 = !Y2Y1 + Y1!B + !Y3!Y2A P = Y2!Y1 Q = Y1
Schematico
Nota: il segnale di reset è stato inserito per poter inizializzare la rete allo stato 000
Simulazione Behavioural
Simulazione Post-Route