Specifiche di Sistema

Diagramma degli Stati – Modello Mealy

Tabella degli Stati Primitivax1 x0 00 01 11 10

A B,-0 -,- E,0- A,00

B B,10 C,10 -,- -,-

C -,- C,10 D,10 -,-

D -,- -,- D,10 A,-0

E -,- F,01 E,01 -,-

F G,0- F,01 -,- -,-

G G,00 -,- -,- A,00

S*, Z1Z0

Tabella Triangolare delle implicazioni

B -,-

C -,-

D -,- -,-

E -,-

F BG -,- -,-

G BG BG -,- -,- -,- -,-

A B C D E F

Individuazione Classi di Compatibilità

[AB] -> 00

[CDG]-> 01[EF] -> 11

[-,-] -> 10

X1X0y1y0

00 01 11 10

00 00,10 01,10 11,0- 00,00

01 01,00 01,10 01,10 00,00

11 01,0- 11,01 11,01 -,-

10 -,- -,- -,- -,-

Corsa Critica

Y1*Y0* , Z1Z0

Eliminazione Corse e Sintesi di Y1

Y1 = x1x0!y0 + x0y1y0 + x1x0y1

X1X0y1y0

00 01 11 10

00 0 0 1 0

01 0 0 0 0

11 0 1 1 -

10 - - 1 -

Y1*

Sintesi di Y0X1X0

y1y000 01 11 10

00 0 1 0 0

01 1 1 1 0

11 1 1 1 -

10 - - 1 -

Y0 = !X1X0 + !X1Y0 + X0Y0 + X0Y1

Y0*

Sintesi di Z1 – Z0

Z1 = !x1!y0 + x0!y1y0Z0 = y1y0

X1X0y1y0

00 01 11 10

00 10 10 0- 00

01 00 10 10 00

11 0- 01 01 --

10 -- -- 0- --

Z1Z0

Schematico XilinxAggiunta 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