RETE ASINCRONA Una rete sequenziale asincrona prende in ingresso due segnali X2 e X1 emessi da un telecomando e, in base alle combinazioni successive di questi ultimi, controlla l’apertura e la chiusura di una serranda automatica, fornendo la giusta configurazione delle uscite Z2 e Z1 : 01 - la serranda deve muoversi verso la completa apertura o, se vi è già, mantenere tale stato. 10 - la serranda deve muoversi verso la completa chiusura o, se vi è già, mantenere tale stato. 00 - la serranda deve rimanere ferma nella posizione corrente, indipendentemente da quale questa sia.

La configurazione delle uscite dipende dal verificarsi o meno dei seguenti eventi, considerando come condizione di partenza una situazione di stabilità con serranda ferma (00) ed ingressi disattivi (00) : La pressione di X1 deve far muovere la serranda verso la completa apertura e, se raggiunta, mantenerla in tale stato. La pressione di X2 deve far muovere la serranda verso la completa chiusura e, se raggiunta, mantenerla in tale stato. Se i pulsanti sono premuti in modo alternato, ossia, fintantoché non viene attivato per due volte consecutive lo stesso ingresso, nella fase di passaggio in cui entrambi i pulsanti sono disattivi la serranda deve rimanere ferma, indipendentemente dal fatto che sia completamente aperta, completamente chiusa o in posizione intermedia. Se un pulsante viene premuto due o più volte consecutivamente, a partire dalla seconda attivazione la rete deve conservare l’uscita fino alla pressione del segnale opposto, il quale interrompe il movimento della serranda e, al suo rilascio, riporta la rete nella condizione iniziale. Poiché i pulsanti non possono essere premuti o rilasciati in perfetta contemporaneità, la variazione simultanea di due variabili d’ingresso non può mai verificarsi. Quando uno dei due pulsanti è attivo, l’altro, seppur premuto, rimane disattivo. In altre parole la configurazione 11 degli ingressi è impossibile, mentre il passaggio da 01 a 10 (e viceversa) deve avvenire necessariamente transitando per 00. Un segnale di RESET riporta la rete della condizione di partenza.

Diagramma degli stati Ingressi: X2,X1 Uscite : Z2,Z1

Tabella degli stati (in evidenza gli stati stabili)

Riduzione degli stati

Codifica degli stati (in rosso le corse critiche)

Eliminazione delle corse critiche (in blu le transizioni multiple)

Sintesi di Y1 e Y2

Sintesi di Y3 e Y4

Sintesi di Z1 e Z2

VDHL l’ingresso di RESET, non presente nella sintesi formale precedente, quando viene attivato riporta la rete nello stato A (0000)

Simulazione Behavioral

Simulazione Post-Route(1/3) Quando RESET va a 0, la rete si trova nella condizione di partenza, con ingressi ed uscite disattivi. Alla prima pressione di X2 la serranda viene portata in chiusura (Z2=1). Al suo rilascio la serranda viene fermata (Z2 torna a 0). Alla seconda pressione consecutiva di X2, l’uscita corrispondente Z2 viene riattivata, tornando a 0 soltanto alla pressione dell’ingresso opposto X1. Al rilascio di quest’ultimo la rete si trova nuovamente nella condizione di partenza.

Simulazione Post-Route(2/3) 7 ns 18 ns Da notare i ritardi di differenti entità che si riscontrano nelle uscite La simulazione mostra come, a partire dalla condizione iniziale (stato A della rete), la pressione alternata di X2 e X1 faccia attivare in modo altrettanto intervallato le due uscite corrispondenti Z2 e Z1.

Simulazione Post-Route(3/3) Dalla condizione di partenza, con ingressi ed uscite disattivi, alla prima pressione di X1 la serranda viene portata in apertura (Z1=1). Al suo rilascio la serranda viene fermata (Z1 torna a 0). Alla seconda pressione consecutiva di X1, l’uscita corrispondente Z1 viene riattivata, tornando a 0 soltanto alla pressione dell’ingresso opposto X2. Al rilascio di quest’ultimo la rete si trova nuovamente nella condizione di partenza.