Riassunto Rete Vi sono dunque due ingressi (X1,X2) e ununica uscita; X1 e X2 non cambiano mai contemporaneamente Luscita va a 1 se viene rispettata la combinazione: – 10 Altrimenti permane a 0
Codice VHDL Nel codice si è inserito un Reset che si è rivelato necessario per il corretto funzionamento della rete Tale reset ha la funzione di inizializzare i valori della rete a 0 Nella simulazione Post-Route senza tale reset alcuni valori rimangono indefiniti o sconosciuti per tutta la durata della simulazione
Diagramma degli Stati (Moore) , ,
Tabella Stati Notiamo come X1,X0 non variano mai contemporaneamente e ciò causi delle indifferenze
Compatibilità fra stati Abbiamo riscontrato solo la compatibilità fra A e F [A,F] Questa rappresenta una classe massima di compatibilità. Insieme alle classi massime [B], [C], [D], [E] otteniamo copertura e chiusura
Assegnazione [A,F] α [B] β [C] γ [D] δ [E] ε
Codifica In Rosso sono evidenziate le corse critiche. Tali corse sono risolte nella slide successiva.
Dopo aver risolto le corse critiche Y2 = 0Y2 = 1 Z = Y2 Y2 = Y1X1!X0 + Y2X1!X0 = X1!X0(Y1 + Y2); Y1 = Y0!X1X0 + !Y2Y1!X0; Y0 = Y1Y0X0 + !Y1Y0!X1 + !Y2!X1!X0!Y1 = !X1!Y1(Y0 + !Y2!X0) + Y1X0Y0;
VHDL
Codice Simulazione
Simulazione Behavioral
Note … Nella simulazione Behavioral possiamo vedere il comportamento della rete Notiamo che luscita va a 1 precisamente nel momento in cui la combinazione arriva al suo termine (10) Vediamo ora i ritardi introdotti dalla tecnologia…
Simulazione Post-Route (1)
Simulazione Post-Route (2)
Note … Notiamo immediatamente di come luscita sia in ritardo rispetto alla simulazione Behavioral Osserviamo infatti che a seconda della velocità scelta per la tecnologia, sussistono dei ritardi di qualche ns