Circuitos Digitales I Diseo de circuitos secuenciales Mquinas de estado

Sesin 16

Ecuaciones del estado siguiente

Para determinar J y K utilizando le ecuacin del estado siguiente: 1. Determinar la ecuacin para simplificada para Q+ 2. Evaluar Q+ en Q=0 y Q=1

Contador ascendente/descendente utilizando un FF JK

Solucin 1: 6 mapas de Karnaugh de 4 variables (Ja, Ka, Jb, Kb, Jc, Kc) Solucin 2: si

Q JQ' K ' Q

Y evaluando Q en 0 y 1 se obtiene:

Q Q

Q 0 Q 1

J K'

Solo se requieren 4 mapas de Karnaugh

Procedimiento utilizando la ecuacin del estado siguiente

1. 2. Diagrama de estado Tabla de excitacin (con base en el diagrama de estado). 3. Codificacin de estados (con N FFs se pueden representar hasta 2N estados). 4. Mapa de Karnaugh para cada estado siguiente 5. A la ecuacin simplificada de cada estado, evaluarla con la ecuacin del estado siguiente, del FF a utilizar. Para un FF tipo D, es la misma ecuacin (Q+=D). Para un FF tipo JK, evaluar la ecuacin en Q=0 para obtener la ecuacin de J, y en Q=1 para obtener K. No aplica para FF T y SR.

Utilizando un FF JK
Para el caso de Qa+:
QbQc

Qa

Qa 0

Ja

XQa 00

00

01

11

10

X X X X

0 1 0 1

1 0 1 0

X X X X

Qa

Qa 1
Qa 0

Ka '
Ja

01 11 10

Qa

La evaluacin de la funcin tambin se puede realizar, al subdividir el mapa de Karnaugh en donde Qa=0 y Qa=1

Utilizando un FF JK
Para el caso de Qa+:
QbQc
XQa

00

01

11

10

Qa

Qa 0

J a x' Qb xQb' x Qb
K a ' x' Qb ' xQb ( x Qb )'

00 01 11

X 0 1 X X 1 0 X X 0 1 X X 1 0 X

Qa

Qa 1

10

Solucin evaluando la ecuacin

Solucin agrupando en el mapa de Karnaugh

Utilizando un FF JK
Para el caso de Qb+:
QbQc XQa 00 00 01 01 11 10

Kb '
X X X X 1 1 1 1 0 0 0 0 X X X X

Qb
Qb

Qb 0
Qb 1

Jb 1

Kb ' 0 Kb 1

11
10

Solucin evaluando la ecuacin

Jb

Solucin agrupando en el mapa de Karnaugh

Utilizando un FF JK
Para el caso de Qc+:
QbQc
Qb 0

Kc '
00 00 01 11 10 01 11 10

Qb

Jb X 0

XQa

Qc

Qc 1

X X X X

1 1 1 1

1 1 1 1

X X X X

Kc ' 1 Kc 0

Solucin evaluando la ecuacin

Solucin agrupando en el mapa de Karnaugh

Jc

Jc

Tipos de mquina de estado

Mealy:
Xi Inputs Combinational Logic for Outputs a nd Ne xt State Zk Outputs

State Regis te r

Clock

State Fe edback

Las salidas dependen del estado y las entradas. Un cambio en la entrada causa un cambio inmediato en la salida

Tipos de mquina de estado

Moore
State Register Xi Inputs Combinational Logic for Next State (Flip-flop Inputs) Clock Comb. Logic for Outputs Zk Outputs

state feedback

Las salidas son funcin nicamente del estado actual. Las salidas cambian de manera sncrona con el cambio de los estados.

Diagramas de estado
Mealy
La salida puede cambiar en la transicin
Inputs/outputs Next State

Moore
La salida solo cambia en los estados
Inputs
Next State Present State outputs outputs

Present State

Transicin de estados (flanco de subida o bajada)

Ejemplo: Mquina Mealy

Contador de 3 bit, con seal de entrada X, para habilitar el conteo. Se requiere adems una seal de salida (Z) que indique cuando el conteo vuelve a cero, solo si X=1(cuenta).

Solucin: Mealy
Estado actual
Q Qa 0 Qb 0 Qa 0

Estado siguiente
X=0 Qb 0 Qa 0 X=1 Qb 1 Z 0

Salida
X=0 X=1 Z 0

0
1 1

1
0 1

0
1 1

1
0 1

1
1 0

0
1 0

0
0 0

0
0 1

Qb Db Qb x Qa Da x(Qa Qb) Qa x' z x Qa Qb

La salida Z depende de la entrada X y los estados

Implementacin Mealy
Lgica de salida

Lgica del estado siguiente

Solucin: Moore
E.A. E.S. Salida

Q
Qa 0 0 1 Qb 0 1 0 Qa 0 0 1

X=0
Qb 0 1 0 Qa 0 1 1

X=1
Qb 1 0 1 Y 0 0 0

Qb Db Qb x Qa Da x(Qa Qb) Qa x' y Qa Qb

La salida Z solo depende de los estados

Implementacin Moore
Lgica de salida

Lgica del estado siguiente

Diagramas de tiempos: Mealy y Moore para el ejemplo del contador

Mealy Moore La salida cambia de forma inmediata cuando la entrada cambia( Mealy)

Aplicacin: Detector de secuencias

Disear un sistema para la deteccin de una serie de nmeros que se presenten en la entrada de una mquina de estado.
000101001
Entrada serial
1

Detector de secuencia

00000100
1 Salida serial

Los datos entran de forma serial al detector (1 bit por cada ciclo de reloj)

Ejemplo detector de secuencias

Z=1 donde sea que aparezca la secuencia 101.
Con solapamiento de la secuencia
CLK 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

X Z

0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0

Solucin detector de secuencia 101

Moore Mealy

Estado

X
Estado

X/Z

Interpretacin de los estados

Moore S0:Estado inicial. No se ha detectado el primer uno (1) de la secuencia. S1: Se detecta el primer uno de la secuencia. Si aparece otro uno, seguir siendo el primer uno de la secuencia. S2: Se detecta la secuencia 10. Si aparece un cero, debe volver a empezar. S3: Se detecta la secuencia 101, por lo tanto se activa la salida Z. Al ser la secuencia con solapamiento, un cero en este estado puede servir como parte de una nueva secuencia detectada (salto a S2). En el caso de que se presente un 1, puede ser el primer uno de otra secuencia (salto a S1).