no descripcion modelado testeo simulacion si

sintesis
mapeado tecnologico

idea

correcto?

extraccion de propiedades

no simulacion correcto? si fabricacion testeo depurado

no funciona? si producto acabado

sistema

nivel alto (Top)

nivel bajo (Down)

U1:A
S 1 3 2 5 4

U1:B
6 Q

7400

7400

ENA

U1:D
12 11 R 13

U1:C
9 8 10 Q*

7400

7400

u0 selec nosel

u1 ax u3 salida

u2 bx

Inicializacin Ejecucin Instruccin concurrente Actualiza drivers Genera nuevos eventos

Evento activo? no T
(fijado por el prximo evento)

no

Fin tiempo? s Fin

ent

sal (inercial) sal (transportado) 20 40 60 80 100 t(ns) 20 40 60 80 100 120 t(ns)

c 0

c
Mux d e b a

Latch

d e a

color centrifuga start jabon_listo vacio lleno clk

jabon llenar vaciar lento rapido direccion

Segundos Minuto 10

Marcha

Controlador de

Calentar

Stop Reset Clk Puerta

Microondas

Luz

Alarma

100-50-25-5 Falta dinero

CHIP a sintetizar error moneda_clk moneda total(7:0)

1 3 5

2 4 6

Tecla(6:1) cambio_clk sin_azucar cambio(7:0) listo tipo(2:0) azucar

Cambio

Teclado

Sin azucar Hace cafe