Specifiche di Sistema
Diagramma degli Stati – Modello Mealy
Tabella degli Stati Primitiva x1 x0 00 01 11 10 A B,-0 -,- E,0- A,00 B B,10 C,10 C D,10 D A,-0 E F,01 E,01 F G,0- G G,00 S*, Z1Z0
Tabella Triangolare delle implicazioni -,- C D E F BG G A
Individuazione Classi di Compatibilità Corsa Critica [AB] -> 00 [CDG]-> 01 [EF] -> 11 [-,-] -> 10 X1X0 y1y0 00 01 11 10 00,10 01,10 11,0- 00,00 01,00 01,0- 11,01 -,- Y1*Y0* , Z1Z0
Eliminazione Corse e Sintesi di Y1 X1X0 y1y0 00 01 11 10 1 - Y1* Y1 = x1x0!y0 + x0y1y0 + x1x0y1
Sintesi di Y0 1 - 00 01 11 10 Y0* Y0 = !X1X0 + !X1Y0 + X0Y0 + X0Y1 1 - Y0* Y0 = !X1X0 + !X1Y0 + X0Y0 + X0Y1
Sintesi di Z1 – Z0 0- -- 00 01 11 10 Z1Z0 Z1 = !x1!y0 + x0!y1y0 X1X0 y1y0 00 01 11 10 0- -- Z1Z0 Z1 = !x1!y0 + x0!y1y0 Z0 = y1y0
Schematico Xilinx Aggiunta del tasto Reset per inizializzare la macchina. Reset = 1 => y1y0 = 01
TESTBENCH- BEHAVIORAL - 1 Inizializzazione della macchina con il tasto Reset
TESTBENCH – BEHAVIORAL - 2
TESTBENCH – BEHAVIORAL - 3
TESTBENCH – BEHAVIORAL - 4
TESTBENCH – POST-ROUTE Ritardi dovuti alla tecnologia utilizzata, intorno ai 7,3 ns