RETE ASINCRONA Una rete sequenziale asincrona prende in

RETE ASINCRONA Una rete sequenziale asincrona prende in ingresso due segnali X 2 e X 1 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 Z 2 e Z 1 : • 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 X 1 deve far muovere la serranda verso la completa apertura e, se raggiunta, mantenerla in tale stato. • La pressione di X 2 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: X 2, X 1 Uscite : Z 2, Z 1

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 Y 1 e Y 2

Sintesi di Y 3 e Y 4

Sintesi di Z 1 e Z 2

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 X 2 la serranda viene portata in chiusura (Z 2=1). Al suo rilascio la serranda viene fermata (Z 2 torna a 0). Alla seconda pressione consecutiva di X 2, l’uscita corrispondente Z 2 viene riattivata, tornando a 0 soltanto alla pressione dell’ingresso opposto X 1. 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 differentità che si riscontrano nelle uscite La simulazione mostra come, a partire dalla condizione iniziale (stato A della rete), la pressione alternata di X 2 e X 1 faccia attivare in modo altrettanto intervallato le due uscite corrispondenti Z 2 e Z 1.

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