Cassaforte di Mealy
La cassaforte (dotata di una doppia tastiera - due ingressi) si apre
solo se gli ingressi hanno assunto NEL TEMPO
le configurazioni 00-01-11.
L’apertura della cassaforte si ha quando l’uscita è 1. Ogni violazione
della sequenza riporta il sistema nello stato iniziale.
Le classi di compatibilità che soddisfano
copertura e chiusura sono:
[A, B] - α
[C] - β
[D, E, F] - γ
Le mappe di Karnaugh
quindi diventano:
Y1=!X1y2+y1y2+X1!X2
Y2= X2y2+X1X2 +X1y1+X1y2
Z = !y1y2
Se il reset è a ‘1’ la rete si porta nello stato “11” cioè al di fuori dalla sequenza corretta.
Se il reset è a ‘0’ il NOR ed il NAND di Y1 sono equivalenti ad un OR in quanto
!((!(A+B+C)).1) = !(!(A+B+C)) = A+B+C
Simulazione Behavioural
Simulazione Post-Route