UNIVERSIDAD DEL CALLAO Facultad de Ingeniera Elctrica y Electrnica

MAQUINAS DE ESTADO
Laboratorio de Sistemas Digitales
Alvarez Huerta Elvis Julio 1023220601

14

MAQUINAS DE ESTADO

17 de febrero de 2014

Los circuitos secuenciales se clasifican dentro de una categora conocida como mquinas de estado, de la cual se distinguen comnmente dos tipos:

Mquinas de estado Mealy: En esta mquina de estados las salidas se encuentran determinadas por el estado interno del sistema y por las entradas no sincronizadas con el circuito. El diagrama de bloques representativo de esta mquina se muestra en la figura siguiente donde se observa que las salidas del sistema son tanto sincrnicas como asincrnicas.

Mquinas de estado Moore: Las salidas solo dependen del estado interno y de cualquier entrada sincronizada con el circuito, como se observa en la figura siguiente donde las salidas del sistema son nicamente sincrnicas. Un ejemplo de este tipo de mquinas de estado son los contadores.

Los circuitos secuenciales se caracterizan por tener una etapa combinacional y otra de memoria conformada por flip-flops. En la figura siguiente se puede observar un ejemplo particular de este tipo de circuitos, el cual corresponde a una Maquina de estado de tipo Mealy. Observe que hay salidas que dependen de la etapa de memoria y hay una salida que depende directamente de la etapa combinatoria

MAQUINAS DE ESTADO

17 de febrero de 2014

Con base en el circuito de la figura se dar una descripcin de las herramientas bsicas que son empleadas para el Anlisis y Diseo de Circuitos Secuenciales. Entre estas herramientas se encuentran las ecuaciones lgicas, las los diagramas de estado, las tablas de estado, las tablas de transicin y los mapas de Karnaugh. Ecuaciones Lgicas Las ecuaciones lgicas son funciones que definen la relacin existente entre los estados de entrada y los estados de salida del sistema. Para determinar las ecuaciones lgicas de la mquina de estados de la figura inicialmente se deben identificar los estados siguientes. Estos estados corresponden a aquellos que ocurren despus de una transicin en la seal de reloj de los flip-flops. Recuerde que para los flip-flops tipo D el estado siguiente es igual al estado de la entrada D. Teniendo en cuenta lo anterior las ecuaciones lgicas para los flipflops A y B del circuito de la figura seran las siguientes: A = DA = AX + BX B = DB= AX La salida Y esta dada por: Y = (A + B) X Observando esta ltima ecuacin se concluye que la salida (Y) es funcin del estado presente del sistema (A y B) y de la entrada asincrnica (X). Las ecuaciones lgicas en los circuitos secuenciales tienen una estructura formada por dos clases de estados:

Los estados siguientes, los cuales se agrupan al lado izquierdo de la expresin y representan las variables dependientes del sistema. El estado de estas variables cambia en el momento que ocurra una transicin en la seal de reloj. Los estados actuales y entradas del sistema. Agrupados al lado derecho de la expresin, constituyen las variables independientes, las cuales pueden o no cambiar en sincrona con el sistema.

MAQUINAS DE ESTADO

17 de febrero de 2014

Cuando las ecuaciones de estado contienen varios trminos, se pueden simplificar empleando metodologas de reduccin de trminos como Algebra de Boole, Mapas de Karnaugh, o mediante el Algoritmo de Quine-McCluskey. Tablas de Estado Una tabla de estado es un listado que contiene la secuencia de los estados de entradas, estados internos y salidas del sistema, considerando todas las posibles combinaciones de estados actuales y entradas. Las tablas de estado por lo general se dividen en tres partes: estados actuales, estados siguientes y salidas, tal como se muestra en la tabla.

Estados actuales

Entrada

Estados siguientes

Salida

La tabla de estado para un circuito secuencial con m flip-flops y n entradas tiene filas. El estado siguiente tiene m columnas, y el nmero de columnas depende del nmero de salidas. Existe una forma ms conveniente de organizar la informacin en la tabla de estado, la cual se muestra en la siguiente tabla, donde los estados se agrupan de tal modo que la tabla se puede traducir a un diagrama de estados. Al igual que la tabla anterior esta tiene tres secciones:

MAQUINAS DE ESTADO

17 de febrero de 2014

estados actuales, estados siguientes y salidas, sin embargo los estados se agrupan dependiendo del valor de las entradas. La seccin de estados actuales agrupa los estados que ocurren antes de una transicin en la seal de reloj, la seccin de estados siguientes lista aquellos que ocurren despus de la transicin del reloj y la seccin de salidas rene los estados que se dan en el mismo instante de los estados actuales.

Estado Siguiente Estado Actual X=0 X=1

Salida

X=0 X=1

AB

AB

AB

00

00

01

01

00

11

10

00

10

11

00

10

Haciendo un anlisis de la operacin del circuito de la figura se puede observar lo siguiente: Cuando la variable X=0 los estados actuales A y B cambian a 0 despus de la transicin de reloj, y cuando X=1, los estados de las salidas se comportan tal como se resume en la tabla. Diagramas de Estado Un diagrama de estados es una representacin grfica que indica la secuencia de los estados que se presentan en un circuito secuencial, teniendo en cuenta las entradas y salidas. El diagrama se forma con crculos y lneas. Los crculos representan los estados del circuito secuencial y cada uno de ellos contiene un nmero que identifica su estado. Las lneas indican las transiciones entre estados y se marcan con dos nmeros separados por un (/), estos dos nmeros corresponden a la entrada y salida presentes antes de la transicin. A manera de ejemplo observe la lnea que une los estados 00 y 01 en el diagrama de estado de la figura. Esta lnea marcada como 1/0 indica que el circuito secuencial se encuentra en el estado 00 mientras la entrada X=0 y la salida Y=0, y que despus de que ocurra una transicin en la seal de reloj el estado cambia a 01.

MAQUINAS DE ESTADO

17 de febrero de 2014

Mapas de Karnaugh Generalmente las tablas de estado y de transicin de los flip-flops se fusionan en una sola para agrupar la informacin de tal forma que permitan construir los Mapas de Karnaugh para simplificar las funciones lgicas. La tabla siguiente corresponde a una tabla de estado de un contador de tres bits con flip-flops JK. Observe que esta tabla incluye las entradas J y K para cada una de la transiciones (estado actual a estado siguiente). Las regiones sombreadas en la tabla indican que el estado Qi cambia estando presentes las entradas Ji y Ki correspondientes despus de una transicin del reloj.

Estado Actual Estado Siguiente Entradas de los flip-flop

Q2

Q1

Q0

Q2

Q1

Q0

J2 K2

J1 K1

J0 K0

MAQUINAS DE ESTADO

17 de febrero de 2014

IMPLEMENTACION:
1. Para el circuito mostrado. Desarrollar: a) Anlisis. b) Mapa de estados desarrollados. c) Mapa de estados simplificado. d) Mapa de transiciones. e) Mapa de funcin de salida.

U3:A
1 3 2 74LS08

U2:A

0 0

1 3 J CLK 2 74LS86 1 3 2 74LS00 4

U1:A
Q 15

U4:A
1 3 2 74LS32

U5:A

1 16

D1
LED-GREEN

14

74LS76

R1
10k

Solucin: a) ANALISIS: * + * * + * + * * + Funciones lgicas: + +

MAQUINAS DE ESTADO
b) MAPA DE ESTADOS (COMPLETO): EST A 0 0 0 1 0 0 2 0 1 3 0 1 4 1 0 5 1 0 6 1 1 7 1 1

17 de febrero de 2014

B 0 1 0 1 0 1 0 1

0 1 1 0 0 1 1 0

1 1 1 0 1 1 1 0

0 1 1 0 0 0 0 1

S 0 0 0 1 1 1 1 1

c) MAPA DE ESTADOS (SIMPLIFICADO): Entradas 00 Estados

01

10

11

/1 d) MAPA DE TRANSICIONES: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) e) MAPA DE FUNCIONES DE SALIDA: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 2. Para el circuito mostrado. Desarrollar: a) Anlisis. b) Mapa de estados desarrollados. c) Mapa de estados simplificado. d) Mapa de transiciones. e) Mapa de funcin de salida.

MAQUINAS DE ESTADO

17 de febrero de 2014

U4:A
1 3 2 74LS08 1 3 2

U5:A

0 0

1 3 2 74LS86 1 3 2 74LS00 4 J CLK

74LS04
2

J CLK

15

U6:A

9 6 12

U1:A

U3:A

74LS32

U1:B
Q 11

U2:A

1 16

D1
8 R

14

10

LED-GREEN

74LS76

74LS76

R1
330

Solucin: a) ANALISIS: * + * * + * * + Funciones lgicas: + + * +

b) MAPA DE ESTADOS (COMPLETO): EST A 0 0 0 0 1 0 0 0 2 0 0 1 3 0 0 1 4 0 1 0 5 0 1 0 6 0 1 1 7 0 1 1 8 1 0 0 9 1 0 0 10 1 0 1 11 1 0 1 12 1 1 0 13 1 1 0 14 1 1 1 15 1 1 1

B 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

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

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

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

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

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

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

S 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

MAQUINAS DE ESTADO
c) MAPA DE ESTADOS (SIMPLIFICADO): Entradas 00 01 Estados

17 de febrero de 2014

10

11 0 0 1 1

d) MAPA DE TRANSICIONES: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) e) MAPA DE FUNCIONES DE SALIDA: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )