Specifiche di Sistema.

Presentazione sul tema: "Specifiche di Sistema."— Transcript della presentazione:

1 Specifiche di Sistema

2 Diagramma degli Stati – Modello Mealy

3 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

4 Tabella Triangolare delle implicazioni
-,- C D E F BG G A

5 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

6 Eliminazione Corse e Sintesi di Y1
X1X0 y1y0 00 01 11 10 1 - Y1* Y1 = x1x0!y0 + x0y1y0 + x1x0y1

7 Sintesi di Y0 1 - 00 01 11 10 Y0* Y0 = !X1X0 + !X1Y0 + X0Y0 + X0Y1
1 - Y0* Y0 = !X1X0 + !X1Y0 + X0Y0 + X0Y1

8 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

9 Schematico Xilinx Aggiunta del tasto Reset per inizializzare la macchina. Reset = 1 => y1y0 = 01

10 TESTBENCH- BEHAVIORAL - 1
Inizializzazione della macchina con il tasto Reset

11 TESTBENCH – BEHAVIORAL - 2

12 TESTBENCH – BEHAVIORAL - 3

13 TESTBENCH – BEHAVIORAL - 4

14 TESTBENCH – POST-ROUTE
Ritardi dovuti alla tecnologia utilizzata, intorno ai 7,3 ns