Anda di halaman 1dari 5

Diagrama ASM (Algorithmic State Machine).

Los Diagramas de Estados y tablas de Estado Presente y Siguiente son convenientes para describir el comportamiento de las MSS que tienen pocas entradas y salidas. Para las MSS ms grandes los diseadores a menudo utilizan una forma diferente de representacin llamada el Diagrama Algortmico de la Mquina de Estado (ASM). Un Diagrama ASM es un tipo de diagrama de flujo que puede ser usado para representar las transiciones de estados y las salidas generadas por una MSS. Un Diagrama ASM utiliza tres tipos de elementos: 1. Bloque de Estado Es un rectngulo que es equivalente a un valo del Diagrama de Estado. Dentro del bloque de estado se indican todas las salidas que debe generar la MSS en este estado que dependen solo de los valores de variables de Estado Presente, es decir, las salidas incondicionales (tipo MOORE). No es necesario indicar Clr = 1, es suficiente solo escribir Clr.

108

2. Bloque de decisin El diamante indica que en un determinado estado la MSS pregunta por el valor de una de sus entradas y dependiendo del valor de esta entrada elije cual ser el estado siguiente.

0 (Falso)

Expresin de condicin

1 (Verdadero)

3. Bloque de salida condicional Este valo indica las seales de salida condicional (modelo Mealy). Estas salidas dependen de los valores de las variables de Estado Presente y de las entradas de la MSS. La condicin que determina si tales salidas son generadas, se especifican en el bloque de decisin

Salidas condicionales (Tipo Mealy)

109

Analizaremos la equivalencia entre el Diagrama de Estados y el Diagrama ASM que describen el funcionamiento de la misma MSS.

Para implementar: 1) Asignamos los cdigos de estados.


y1 0 y0 0 1
0

1
2

a
1

d
3

b
110

2) Elaboramos la tabla de estados presentes y siguientes.

3) Implementamos los mapas para las variables de estado siguiente Y1 y Y0 y las Out1 y Out2.
y1y0 00 In 0 1
0

y1y0 01
2

11
6

10
4

00

01
0 2

11
6

10
4

0
1

0
3

1
7

0
5

Y 1 = y1. y 0 + y1. y 0.In

In 0 1

0
1

0
3

0
7

0
5

Out1 = y1. y 0.In

y1y0 00 In 0 1
0

y1y0 01
2

11
6

10
4

00

01
0 2

11
6

10
4

1
1

0
3

0
7

0
5

Y 0 = y1. y 0

In 0 1

0
1

0
3

0
7

1
5

Out 2 = y1. y 0

111

Para implementar: 1). Asignamos los mismos cdigos de estado.


y1 0 y0 0 1
0

1
2

Ta
1

Td
3

Tc

Tb
112

2) Implementamos los mapas del Decodificador de Estado Siguiente. Para llenar los mapas del Decodificador de Estado Siguiente se debe analizar los cambios de variables de cada bit de estado en cada estado del Diagrama ASM. Es aconsejable llenar al mismo tiempo las celdas correspondientes al mismo estado en todos los mapas.
Y1: y1 0 y0 0 1
0

Y0:
1
2

y1 0 y0 0 1
0

1
2

In
1

0
3

1
1

0
3

3) Escribimos las ecuaciones de salida. Tenemos dos salidas de las cuales la salida Out1 es condicional y la salida Out2 es incondicional. Simplemente en el diagrama ASM verificamos la condicin necesaria para que se acttive cada salida.

Out1 = Ta..In = y1. y 0.In Out 2 = Td = y1. y 0


113

4) Implementacin con Multiplexores 4 a 1 para el Decodificador de Estado Siguiente y puertas lgicas para el Decodificador de salida:

114

Ejemplo: Reconsideremos la MSS modelo MEALY vendedora de caramelos. Se pide encontrar el diagrama ASM equivalente Formato : D,N / C
00/0

S1
00

01/0 01/1 00/0 01/0

10/1

S3
01

10/0

10/1

S2
11

00/0

115

Diagrama ASM :
S1 00

D
F F

N
V

S3 C
V

01

D
F

C S2

N
V

11

y1
D
F

0 y0 0
F
0

1
2

S1
1

S3

S2

116