Progetto RSA Analisi di un progetto di una rete per la direzione dei veicoli negli opportuni parcheggi in base alla loro lunghezza Cappa Francesca 0000469838
Testo Esercizio Un rete sequenziale asincrona gestisce l’accesso due parcheggi, un parcheggio adibito a veicoli di lunghezza inferiore a 4m (P1), l’altro per veicoli di grandezze superiori (P2). Per smistare le auto abbiamo due sensori A e B posti ad una d=4m e due sbarre S1 ed S2. Se la macchina è di dimensione idonee entra nel primo parcheggio P1 (S1=1) altrimenti entra nel secondo parcheggio P2 (S2=1). Cappa Francesca 0000469838
Diagramma degli stati Cappa Francesca 0000469838
Tabella degli stati primitiva 00 01 11 10 z1z2 A B - E C D F Cappa Francesca 0000469838
Tabella triangolare B AE C - D E DF F A Cappa Francesca 0000469838
Stati compatibili In accordo con la tabella precedente si ricavano i seguenti stati compatibili: [AB][AC][AE][BC][BE][D][F] Da cui si ottengono le classi di compatibilità [AE] α [BC] β [D] δ [F] γ Che verificano le condizioni di copertura e chiusura Cappa Francesca 0000469838
Assegnazione 00 01 11 10 α β - γ δ 00 01 11 10 - Mi si presenta una corsa non critica in quanto per ingresso 00 tutti gli stati Si portano nello stato 00, ma per scrupolo utilizziamo una transizione multipla Cappa Francesca 0000469838
Risoluzione corsa 00 01 11 10 - Cappa Francesca 0000469838
Sintesi con retroazione diretta 00 01 11 10 - y1=x1!x2 00 01 11 10 - y2=y1y2+x2+!y1y2x1 z1=y1y2 z2=y1!y2 Cappa Francesca 0000469838
Schematico Xilinx Cappa Francesca 0000469838
Simulazione Behavioral simulo prima l’ingresso di un auto di lunghezza superiore ai 4m simulo prima l’ingresso di un auto di lunghezza superiore ai 4m simulo prima l’ingresso di un auto di lunghezza superiore ai 4m Poi simulo l’ingresso di un auto di lunghezza inferiore ai 4m Cappa Francesca 0000469838
Simulazione Post-Route Nella simulazione Post-Route sono state testate le stesse condizioni della simulazione Behavioral. Il comportamento è il medesimo, a parte il ritardo nel passaggio da uno stato all’altro e conseguentemente anche nell’uscita. Il ritardo della rete è di circa 7 ns. Cappa Francesca 0000469838
Codice VHDL Cappa Francesca 0000469838
Simulazione Behavioral simulo prima l’ingresso di un auto di lunghezza superiore ai 4m Poi simulo l’ingresso di un auto di lunghezza inferiore ai 4m Cappa Francesca 0000469838
Simulazione Post-Route Anche in questo caso il ritardo nella simulazione è di circa 7 ns. Cappa Francesca 0000469838