Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Diagrama de Estados

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 10

Diseo de circuitos secuenciales

Mario Medina C. mariomedina@udec.cl

Diseo de circuitos secuenciales sincrnicos


Diseo de contadores Diseo de circuitos generales Etapas
Construir tabla o diagrama de estados Determinar las ecuaciones de entrada y salida de los flip-flops a usar Construir el circuito secuencial

2008 Mario Medina

Contador Gray de 3 bits


Diagrama de estados para un contador en cdigo Gray de 3 bits Disear el contador con flip-flops J-K

Tabla de transiciones y del flipflop J-K


Estado actual Estado siguiente 000 001 011 010 110 111 101 100 001 011 010 110 111 101 100 000

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.

Contador binario irregular


Diagrama de estados para un contador binario irregular Disear el contador con flip-flops J-K Tiene 4 estados pero lo haremos con 3 flipflops

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

Detector de secuencia binaria


Mostraremos todas las etapas del diseo Construir un circuito secuencial que reciba una secuencia de 0s y 1s en la entrada X y genere salida Z=1 cuando los 3 ltimos bits de la secuencia sean 101
El circuito no se reinicializa
X=0011011001010100 Z=0000010000010100

Diagrama de estados para mquina de Mealy


Estado inicial es S0
Si X = 0, seguimos en S0 Si X = 1, vamos al siguiente estado S1

Desde S1
Si X = 0, siguiente estado es S2

Desde S2
Si X = 1, volvemos a S1

Completando el diagrama de estados


Desde S1
Entrada X = 1 genera salida Z=0 Siguiente estado es S1

Tabla de estados

Desde S2
Entrada X = 0 genera salida Z=0 Siguiente estado es S0

Re-rotulando los estados

Mario Medina C.

Tablas de excitacin flip-flops D

Diseo de circuito sincrnico (Mquina de Mealy)

Construccin de diagramas de estado


Permiten resumir el comportamiento deseado del circuito
Alternativamente, se puede usar un diagrama de tiempo
Representa todos los posibles estados del circuito

Diagrama de estados (Mquina de Moore)


Estado inicial es S0
Si X = 0, seguimos en S0 con salida 0 Si X = 1, estado siguiente es S1

Desde S1
Si X = 0, vamos a S2 con salida 0

Desde S2
Si X = 1, vamos a S3

Mquinas de Mealy o Moore


Repetir ejercicio anterior, ahora como mquina de Moore

Completando el diagrama de estados


Desde S2
Entrada X = 0 regresa a S0 y genera salida Z = 0 Entrada X = 1 va a S3 y genera salida Z = 1

Tablas de estado y transicin


Ecuaciones de excitacin para flipflops D
DA = ABX + ABX + ABX DB = AB + AB + AX Z = AB

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.

Realizacin con flip-flops D


Flip-flops D construidos con flip-flops J-K

Ejemplo: detector de secuencia (Mquina de Mealy)


Construir un circuito secuencial que reciba como entrada X una secuencia de 0s y 1s y genere salida Z=1 si la secuencia de entrada es 010 1001
El circuito no se reinicializa
X=00101001000100110 Z=00010101100010100

Construyendo un diagrama de estados (Mquina de Mealy)


Primero, trabajar con secuencia 010
S0: Inicializacin S1: Se recibi 0 S2: Se recibi 01 S3: Se recibi 010

Completando diagrama de estados


Agregar deteccin de 1001
S0: Inicializacin S1: Se recibi 0 (pero no 10) S2: Se recibi 01 S3: Se recibi 10 S4: Se recibi 1 (pero no 01) S5: Se recibi 100

Diagrama de estados final


El diagrama completo
S0: Inicializacin S1: Se recibi 0 (pero no 10) S2: Se recibi 01 S3: Se recibi 10 S4: Se recibi 1 (pero no 01) S5: Se recibi 100

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.

Recomendaciones para asignacin de estados


No siempre se puede cumplir con todas ellas
Estados con el mismo estado siguiente para una entrada dada deberan estar adyacentes Estados que sean estados siguientes de un mismo estado deberan estar adyacentes Estados con la misma salida para una entrada dada deberan estar adyacentes

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

Facilita inicializacin con CLR

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

Circuito diseado con flipflops D


DA = XAB + XAC DB = A + XC DC = XAB + XAC +X Z = XABC + XAB

Ejemplo: detector de secuencias (Mquina de Moore)


Construir un circuito secuencial que reciba como entrada X una secuencia de 0s y 1s y genere salida Z=1 si la secuencia de entrada tiene un nmero impar de 1s y se han recibido al menos 2 0s consecutivos
El circuito no se reinicializa
X= 10110011 Z = (0) 0 0 0 0 0 1 0 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

S1: Se ha recibido un nmero impar de 1s

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

Implementacin con flip-flops T


TA = XAC + XAB + XAB TB = XAC + XAB + BC TC = X Z = BC

Mario Medina C.

Ejemplo: detector de secuencias con reinicializacin


Construir un circuito secuencial que reciba como entrada X una secuencia de 0s y 1s y genere salida Z=1 si la secuencia de entrada es 0101 1001
El circuito se reinicializa cada 4 bits
X=0101 0010 1001 0100 Z=0001 0000 0001 0000

Diagrama de estados (Mquina de Mealy)


Agregar estados para las secuencias que producen salida 1
S0: Reinicializacin S1: 0 S2: 1 S3: 01 10 S4: 010 100

Diagrama de estados (Mquina de Mealy)


Diagrama completo
S0: Reinicializacin S1: 0 S2: 1 S3: 01 10 S4: 010 100 S5: Dos entradas recibidas, salida no puede ser 1 S6: Tres entradas recibidas, salida no puede ser 1

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

Ejemplo: circuito con 2 salidas


Un circuito secuencial recibe una entrada X y genera salida Z1 = 1 si en la secuencia de entrada aparece 100, siempre que no haya aparecido nunca la secuencia 010. Asimismo, la salida Z2 es 1 cada vez que se completa la secuencia 010
X =1001100101010010110100 Z1 = 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Z2 = 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0

Mario Medina C.

Diagramas de estado iniciales

Diagramas de estados iniciales


Descripcin de estados
S0: Estado inicial S1: Reconoce 1 de 100 S2: Reconoce 10 de 100 0 de 010 S3: Reconoce 0 de 010 S4: Reconoce 1 de 100 01 de 010 Qu pasa si en S4 se recibe un 0?
Nuevo estado!

An no se ha reconocido la secuencia 010

Diagrama de estados final

Diagrama de estados final


Descripcin de estados
S0: Estado inicial S1: Reconoce 1 de 100 S2: Reconoce 10 de 100 0 de 010 S3: Reconoce 0 de 010 S4: Reconoce 1 de 100 01 de 010 S5: Reconoce 0 de 010 (010 ya reconocido) S6: Reconoce 01 de 010 (010 ya reconocido) S7: Estado inicial reconocimiento 010

Tabla de estados final


Est. actual S0 S1 S2 S3 S4 S5 S6 S7 Est. siguiente Est. siguiente X=0 X=1 S3 S1 S2 S3 S3 S5 S5 S5 S5 S1 S4 S4 S1 S6 S7 S7 Salida X=0 00 00 10 00 01 00 01 00 Salida X=1 00 00 00 00 00 00 00 00

Ejemplo: dos entradas y salida constante


Un circuito secuencial recibe dos entradas X1 y X2, y genera una salida Z, que tiene nivel constante hasta que se recibe alguna de las siguientes secuencias de entrada:
Si X1X2 = 01, 11, entonces Z es 0 Si X1X2 = 10, 11, entonces Z es 1 Si X1X2 = 01, 10, entonces Z se invierte Realice un diagrama de estados como mquina de Moore

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

También podría gustarte