Diagrama de Estados
Diagrama de Estados
Diagrama de Estados
Q 0 0 1 1
Q+ 0 1 0 1
J 0 1 X X
K X X 1 0
Mapas de excitacin
Circuito a implementar
Mario Medina C.
Tabla de transiciones
Estados no vlidos (0, 3, 4 y 6) pueden ser estados indiferentes en el diseo
Estado actual Estado siguiente 001 010 101 111 010 101 111 001 Q 0 0 1 1 Q+ 0 1 0 1 J 0 1 X X K X X 1 0
Mapas de excitacin
Circuito a implementar
Anlisis del circuito muestra que un estado no vlido siempre transita a un estado vlido
03 4 7 6 1
Contador ascendente/descendente
Diagrama de estados para un contador ascendente/descende nte Controlado por seal UP/DOWN
Tabla de transiciones
Estado actual Estado siguiente Estado siguiente UP/DOWN=1 UP/DOWN=0 000 001 011 010 110 111 101 100 100 000 001 011 010 110 111 101 001 011 010 110 111 101 100 000
Mario Medina C.
Mapas de excitacin
Circuito a implementar
Desde S1
Si X = 0, siguiente estado es S2
Desde S2
Si X = 1, volvemos a S1
Tabla de estados
Desde S2
Entrada X = 0 genera salida Z=0 Siguiente estado es S0
Mario Medina C.
Desde S1
Si X = 0, vamos a S2 con salida 0
Desde S2
Si X = 1, vamos a S3
Desde S3
Entrada X = 1 va a S1 y genera salida Z = 0 Entrada X = 0 va a S2 y genera salida Z = 0
Mario Medina C.
Tabla de estados
Est. actual S0 S1 S2 S3 S4 S5 Est. siguiente X=0 S1 S1 S3 S5 S3 S1 Est. siguiente X=1 S4 S2 S4 S2 S4 S2 Salida X=0 0 0 1 0 0 0 Salida X=1 0 0 0 0 0 1
Mario Medina C.
Asignacin de estados
Asignacin usando hipercubo de dimensin 3 (nmero de variables) Se asigna el 000 al estado inicial S0 Estados no utilizados
Quedar como superfluos Forzar trnsito a estado inicial
S0 000
110 111
S5 S1 010 S2
100 011
101
S3 S4
001
Tabla de transicin
Est. actual 000 001 010 011 100 101 110 111 Est. siguiente X=0 010 101 010 101 XXX 111 XXX 010 Est. siguiente X=1 001 001 001 001 XXX 011 XXX 011 Salida X=0 0 0 0 1 X 0 X 0 Salida X=1 0 0 0 0 X 0 X 1
Diagrama de estados
Detectar paridad impar es fcil Dos estados:
S0: se ha recibido un nmero par de 1s
Consideramos el 0 como nmero par
Mario Medina C.
Diagrama de estados
Agregar estados para contar los 0s consecutivos
S0: Estado inicial nmero par de 1s S1: Nmero impar de 1s S2: Nmero par de 1s y termina en 0 S3: Nmero par de 1s y se ha recibido 00 S4: Se ha recibido 00 y nmero impar de 1s
Diagrama de estados
Diagrama final
S0: Estado inicial 1s par S1: 1s impar S2: 1s par y termina en 0 S3: 1s par y se ha recibido 00 S4: 1s impar y se ha recibido 00 S5: 1s impar y termina en 0
Tabla de estados
Est. actual S0 S1 S2 S3 S4 S5 Est. siguiente X=0 S2 S5 S3 S3 S4 S4 Est. siguiente X=1 S1 S0 S1 S4 S3 S0 Salida 0 0 0 0 1 0
Asignacin de estados
Asignacin usando hipercubo de dimensin 3 (nmero de variables) Se asigna el 000 al estado inicial S0
Facilita inicializacin con CLR
S0 000 S3
110 111
S4 S2 010
011
100
101
S5 S1
001
Tabla de transicin
Est. actual 000 001 010 011 100 101 110 111 Est. siguiente X=0 010 101 110 XXX XXX 111 110 111 Est. siguiente X=1 011 000 001 XXX XXX 000 111 110 Salida 0 0 0 X X 0 0 1
Mario Medina C.
Tabla de estados
Est. actual S0 S1 S2 S3 S4 S5 S6 Est. siguiente X=0 S1 S5 S3 S4 S0 S6 S0 Est. siguiente X=1 S2 S3 S5 S6 S0 S6 S0 Salida X=0 0 0 0 0 0 0 0 Salida X=1 0 0 0 0 1 0 0
Tabla de transicin
Est. actual 000 001 010 011 100 101 110 111 Est. siguiente X=0 001 101 011 100 000 110 000 XXX Est. siguiente X=1 010 011 101 110 000 110 000 XXX Salida X=0 0 0 0 0 0 0 0 X Salida X=1 0 0 0 0 1 0 0 X
Mario Medina C.
Mario Medina C.
Descripcin de estados
Estado depende de entrada anterior
S0: Salida 0 y entrada anterior es 00 11 S1: Salida 1 y entrada anterior es 00 11 S2: Salida 0 y entrada anterior es 01 S3: Salida 1 y entrada anterior es 01 S4: Salida 0 y entrada anterior es 10 S5: Salida 1 y entrada anterior es 10
Tabla de estados
Est. Salida Est. Siguiente Est. Siguiente Est. Siguiente Est. Siguiente actual Z X1X2 = 00 X1X2 = 01 X1X2 = 11 X1X2 = 10 S0 S1 S2 S3 S4 S5 0 1 0 1 0 1 S0 S1 S0 S1 S0 S1 S2 S3 S2 S3 S3 S2 S0 S1 S0 S0 S1 S1 S4 S5 S4 S5 S4 S5
Diagrama de estados
Mario Medina C.
10