La presentazione è in caricamento. Aspetta per favore

La presentazione è in caricamento. Aspetta per favore

Progetto Rete Sequenziale Asincrona Torsello Marco Donato 0000587966.

Presentazioni simili


Presentazione sul tema: "Progetto Rete Sequenziale Asincrona Torsello Marco Donato 0000587966."— Transcript della presentazione:

1 Progetto Rete Sequenziale Asincrona Torsello Marco Donato 0000587966

2 Testo Si vuole realizzare una rete sequenziale asincrona che controlli il traffico all'interno di un tunnel stradale molto stretto. In particolare, il (suddetto) tunnel è percorribile in un solo verso e da un solo automezzo per volta. Si vuole conoscere il verso in cui il mezzo transita e perciò sono posizionati due sensori, sia all'ingresso, sia all'uscita della galleria. Questi sensori sono ad una distanza maggiore del mezzo più lungo che può attraversare il tunnel. Si realizzi quindi una rete asincrona che permetta di conoscere se il tunnel è libero oppure occupato ed in che verso è percorso dal mezzo. Gli ingressi della rete sono composti da due sensori (S1 e S2) i quali si attivano nel momento in cui vengono attraversati. Le uscite sono V1, V2 e L. In particolare: - V1 sarà attivo se il tunnel è percorso passando prima dalla posizione del sensore 1; - V2 viene attivato nel caso duale; - L è attivo se il tunnel è libero. Torsello Marco Donato 0000587966 Sensore1Sensore2 Verso 1 Verso 2

3 Diagramma degli stati Torsello Marco Donato 0000587966 A,001 B,100C,010D,100 F,100 E,010 G,010 00 10 01 10 01 10 00 01

4 Tabella degli stati Ingressi(S1,S2)Uscite 0,00,11,11,0V1V2L StatiAAC-B001 BD--B100 CEC--010 DDF--100 EE--G010 FAF--100 GA--G010 Torsello Marco Donato 0000587966

5 Tabella Triangolare Torsello Marco Donato 0000587966 B C D- E- FDA GEA ABCDEF Classi di compatibilità così ottenute: α=[A],β=[BD],γ=[CE],δ=[F],ε=[G]

6 Assegnazione 00011110 γαγ--100 ββγ-β ααδ-β001 δδδ-ε010 εα--ε Torsello Marco Donato 0000587966 Decido di assegnare ad α lo stato 011 per evitare possibili corse 00011110 000011000--100 001 000-001100 011 010-001 010 -110010 110011--110010 Devo risolvere le due corse(in rosso)

7 Risoluzione Corse Torsello Marco Donato 0000587966 00011110 000100000--100 001 000-001100 011 010-001 010 -110010 110111--110010 111011--- 101111--- 100 --

8 Sintesi uscite Torsello Marco Donato 0000587966 00011110 000100000--100 001 000-001100 011 010-001 010 -110010 110111--110010 111011--- 101111--- 100101--- L=!y2y1y0 V1=!y2!y1 V2=y1!yo

9 Sintesi Variabili di stato Y2=0Y2=1 0001111000011110 00100000--00101--- 01001000-00101111--- 11011010-00111011--- 10010 -11010111--110 Torsello Marco Donato 0000587966 Y2=!S2!Y1!Y0+Y2!Y1+Y2!Y0+S1!Y0 Y1=!S1Y1+Y1!Y0+Y2Y0 Y0=Y0!S2+Y2!S1

10 Realizzazione VHDL Torsello Marco Donato 0000587966

11 Realizzazione a Schematico Torsello Marco Donato 0000587966

12 Test Torsello Marco Donato 0000587966

13 Simulazione Behavioral VHDL Torsello Marco Donato 0000587966 Un mezzo attraversa il tunnel da sinistra a destra Un mezzo attraversa il tunnel da destra a sinistra

14 Simulazione Post-Route VHDL Torsello Marco Donato 0000587966 Ritardi per raggiungere lo stato voluto causati dalle transizioni multiple

15 Simulazione Behavioral Schematico Torsello Marco Donato 0000587966 Un mezzo attraversa il tunnel da sinistra a destra Un mezzo attraversa il tunnel da destra a sinistra

16 Simulazione Post-Route Schematico Torsello Marco Donato 0000587966 Ritardi per raggiungere lo stato voluto causati dalle transizioni multiple


Scaricare ppt "Progetto Rete Sequenziale Asincrona Torsello Marco Donato 0000587966."

Presentazioni simili


Annunci Google