Cassaforte Asincrona di Mealy
Descrizione della Rete
Una cassaforte asincrona di Mealy è una rete che
riconosce una sequenza di n coppie di bit poste agli
ingressi X1,X2 e che al ricevimento di tale sequenza
pone ad 1 l’uscita Z della rete.
La rete dispone anche di un pulsante di Reset, necessario
per poter riportare lo stato della rete ad una
configurazione conosciuta.
Essendo una rete di Mealy l’uscita è condizionata non solo
dallo stato ma da entrambi gli stati e gli ingressi.
La combinazione di apertura di questa implementazione è
la seguente: 11-01-00-10-00
Tabella degli stati
A
B
C
D
E
F
00
A/0
A/0
D/0
D/0
F/1
F/1
01
A/0
C/0
C/0
A/0
A/0
A/0
11
B/0
B/0
B/0
B/0
B/0
B/0
10
A/0
A/0
A/0
E/0
E/0
A/0
Passaggio alla codifica binaria:
A=000
B=001
C=011
D=010
E=110
F=111
000
001
011
010
110
111
00
000/0
000/0
010/0
010/0
111/1
111/1
01
000/0
011/0
011/0
000/0
000/0
000/0
11
001/0
001/0
001/0
001/0
001/0
001/0
10
000/0
000/0
000/0
110/0
110/0
000/0
Eliminazione delle corse critiche
000
001
011
010
110
111
101
100
00
000/0
000/0
010/0
010/0
111/1
111/1
-
01
000/0
011/0
011/0
000/0
111/0
101/0
100/0
000/0
11
001/0
001/0
001/0
011/0
010/0
110/0
-
10
000/0
000/0
001/0
110/0
110/0
101/0
100/0
000/0
In questa versione della tabella degli stati sono state eliminate le corse critiche
lasciando inalterato il comportamento della rete.
Codifica in VHDL
Per realizzare la rete è stato necessario codificare una
descrizione di tipo “behavioural” attraverso lo statement
“process”.
La “sensitivity list” del process è costituita dai segnali:
• Reset
Segnale necessario al reset del circuito (prioritario)
• X[0..1]
Bus di ingresso utilizzato per inserire la combinazione di
apertura.
• Stato[0..2]
Segnale dichiarato all’interno del process che
rappresenta lo stato della rete.
TestBench – 1° parte
Segnale di reset
Inserimento della sequenza
esatta (11-01-00-10-00)
Corse
Inizio di una nuova
combinazione (errata).
Di seguito la combinazione
esatta
Apertura della cassaforte
TestBench – 2° parte
Nuova apertura
della cassaforte
Sequenza errata
Sequenza esatta,
apertura cassaforte