Carta ASM

FACULTAD DE INGENIERÍA
Cartas ASM
M.I. Norma Elva Chávez Rodríguez
Carta ASM es el algoritmo de una máquina de estados

representado en forma gráfica.
Las cartas ASM son una forma de diagrama de flujo,

con la diferencia que las Cartas ASM cambian de
estado en cada pulso de reloj (son síncronas) y un
diagrama de flujo cambia de proceso cuando termina la
tarea correspondiente (son asíncronos )

NOTACIÓN DE LA
CARTA ASM

REPRESENTACIÓN DE ESTADOS
El estado de una máquina de estados es la

memoria de la historia pasada, suficiente
para determinar las condiciones futuras.

En la siguiente figura se muestra la representación

del estado. Un estado se representa con un
rectángulo y con su nombre simbólico en el extremo
superior, encerrado en un círculo.

REPRESENTACIÓN DE DECISIONES
Las decisiones permiten seleccionar el camino

que el algoritmo de la máquina de estados
debe tomar de acuerdo a la variable o
variables de entrada evaluadas

Las decisiones se representan mediante un
rombo con el nombre de la variable de
entrada a sensar o una función que evalúe el
conjunto variables de entrada.

REPRESENTACIÓN DE SALIDAS
Salidas NO condicionales.
Sirven para indicar la activación de una variable

de salida. Para representarlas, se escriben
dentro del rectángulo de estado, únicamente los
nombres de las variables de salida que se
activan en ese estado

Salidas NO condicionales.
Las salidas no condicionales no dependen de
las variables de entrada, sólo dependen del
estado actual. La siguiente figura muestra la
activación de las salidas no condicionales
VAR1 y VAR2 en el estado EST1.

Salidas condicionales.
Estas salidas se presentan solamente cuando
ciertas condiciones de entrada existen. Se
representan con un óvalo y los nombres de las
salidas condicionales dentro de él.

Carta ASM
Las cartas ASM son una forma de diagrama de flujo, con la
diferencia que las Cartas ASM cambian de estado en cada
pulso de reloj (son síncronas) y un diagrama de flujo
cambia a otro estado cuando termina la tarea
correspondiente (son asíncronos )

EJEMPLOS DE CARTAS ASM

EJEMPLO 1
ESPECIFICACIONES
Diseñe un dispositivo que genere cierta
secuencia binaria sólo cuando la variable
INICIO sea igual a uno. Además esta secuencia
dependerá del valor de la entrada X.

Si X=0 la secuencia binaria que se genera

es la siguiente: 11, 10, 01,
por el contrario, si X=1 la secuencia binaria

es: 01, 10, 11.
Considere que cada pareja binaria se

genera con un ciclo de reloj de diferencia.

Diagrama de bloques

Carta ASM

EJEMPLO 2
Especificaciones:
Convertir el siguiente código en lenguaje ‘C’
a una carta ASM.
for (x = a; x ≤ b; x = x + c) { var1 = 1; var2 =

0; } var1 = 0;

Diagrama de bloques

Se utiliza un contador para cargar el valor

inicial de X o incrementar su valor en C
unidades. La activación de la señal CARGA
inicializará el valor de X con A, mientras que
la activación de la señal INCREMENTA
incrementará el valor de X en C unidades.

También se cuenta con un comparador que

evalúa la condición X ≤ B. Si X es menor o
igual a B, el resultado es la activación de la
señal MENOR, en caso contrario, la señal
MENOR permanece en cero.

En el estado EST0 se activa la señal CARGA

con el fin de cargar en el contador el valor
inicial de X. En el estado EST1 se pregunta
por la variable de entrada MENOR, si ésta es
igual a cero, la condición X ≤ B es falsa. Si
MENOR es igual a uno, la condición es
verdadera y por tanto, son activadas las
señales INCREMENTA y VAR1 como salidas
condicionales.
Carta ASM

EJEMPLO 3
Especificaciones:
a una carta ASM.
while( x==0 ) { var5 = 1; var2 = 1;

if( z==0 ) { x = 1; var5 = 0; } } var5 = 0;
var2 = 0;

En este ejemplo el valor de la variable X

puede ser modificado por la lógica externa
o por la máquina de estados. Por ello, para
representar a X, utilizaremos un flip-flop
cuyo valor será puesto a uno ó a cero
dependiendo de las señales internas y
externas.

Diagrama de bloques

Carta ASM

EJEMPLO 4
Especificaciones:
a una carta ASM
if ( x==n ) { var1 = 1; var2 = 0; } else

{ var1 = 0; var2 = 1; }
var1 = 0; var2 = 0;

En este ejemplo las variables de entrada x

y n están definidas como variables de un
sólo bit.
Para hacer la comparación de las
variables x y n se usa la función lógica
XOR, que valdrá cero cuando x y n sean
iguales, y uno, cuando sean diferentes


Diagrama de bloques

Carta ASM

Análisis mediante
diagrama de tiempos
de salidas no
condicionales y
condicionales

El diagrama de tiempos para la carta ASM1

cuando la entrada X = cero, idéntico al de la
carta ASM2.

El diagrama de tiempos para las cartas ASM1

y ASM2, cuando la entrada X = 1

Ejemplo 7:
Diseñar la carta ASM y el circuito lógico del
control de un tren eléctrico utilizando
decodificadores y fli-flop’s D

Especificaciones:
Se deberá controlar el movimiento de un tren que
se desplace de este a oeste y viceversa, dentro de
tres estaciones, las cuales contarán con sensores
SA para la estación A, SB para la estación B, SC
para la estación C, con el fin de detectar si el tren
se encuentra o no, en cada estación.
El control manipulará el motor del tren, mediante
un driver enviando las señales de enable del
motor ME y la dirección del motor MD


Carta ASM

Carta ASM

Asignación Binaria a los Estados

Tabla de transición de estados codificada.

Circuito lógico.

Ejemplo 7:
control de un tren eléctrico utilizando memoria
y registros de corrimiento

Especificaciones:
Se deberá controlar el movimiento de un tren que
se desplace de este a oeste y viceversa, dentro de
tres estaciones, las cuales contarán con sensores
SA para la estación A, SB para la estación B, SC
para la estación C, con el fin de detectar si el tren
se encuentra o no, en cada estación.
El control manipulará el motor del tren, mediante
un driver enviando las señales de enable del
motor ME y la dirección del motor MD


Carta ASM

Carta ASM

Asignación Binaria a los Estados

Contenido de la memoria.

Circuito lógico.

Ejemplo 7:
control de un tren eléctrico utilizando memoria
y registros de corrimiento.

Ejemplo 7 :
control de un tren eléctrico

Especificaciones:
Diseñar un sistema digital, usando máquinas de
estados, que mueva al tren de derecha a izquierda
sobre la línea. En cada estación hay unos
sensores que detectan la entrada de un tren, de
manera que cuando arriba a una de ellas, hace
una parada de dos minutos. Además, existe un
botón de emergencia en los vagones que hace
que el tren se detenga un minuto extra en la
estación, si así se requiriera.

Diagrama de bloques

En el diagrama se observa que los sensores

que detectan la presencia del tren en la
estación están conectados a una compuerta
OR. La salida de la compuerta OR, llamada
ESTACIÓN, indica si un tren ha entrado en
una estación, sin importar a qué estación
entró. Sólo interesa saber a qué estación entra
si se trata de las estaciones terminales S1 y
SN, con el fin de cambiar la dirección de
movimiento del tren.
Además, se tiene un módulo que genera una

señal de salida de 2 minutos cuando la señal
ALTO2 es activada. De manera similar, se tiene
otro módulo que genera una señal de 1 minuto
cuando ocurre una emergencia, es decir, se
activa la señal ALTO1.

Ambas señales de espera están

conectadas a una compuerta OR.
La salida de esta compuerta,
llamada ALTO, se encarga de
detener al tren durante el tiempo
necesario. La salida ALTO también
se retroalimenta a la máquina de
estados para saber si el tren
continúa parado.

También se tienen dos flip-flops, uno indica la

dirección de movimiento del tren, y el otro la
activación de la señal de emergencia. El flip-
flop de emergencias es puesto a uno cuando
se oprime el botón de emergencia en el tren,
por ello, se conecta la línea del botón de
emergencia en el SET del flip-flop.

La salida de este flip-flop, denominada

EMERGENCIA, entra a la máquina de
estados.
El flip-flop de emergencias debe ser puesto
a cero nuevamente para permitir otra
emergencia, esto se hace por medio de la
línea RESET-FF.

Por otra parte, el flip-flop de direcciones le

indica al tren la dirección a seguir. Si la
salida del flip-flop es igual a cero el tren irá
hacia el este, si es uno irá hacia el oeste. El
tren estará en movimiento todo el tiempo a
menos que la señal de ALTO esté activada.

Carta ASM

Carta ASM

Cargado por

Copyright:

Carta ASM

Cargado por

Información del documento

Título original

Derechos de autor

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Carta ASM

Cargado por

Copyright:

FACULTAD DE INGENIERÍA

Carta ASM es el algoritmo de una máquina de estados

Las cartas ASM son una forma de diagrama de flujo,

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

El estado de una máquina de estados es la

M.I. Norma Elva Chávez Rodríguez

En la siguiente figura se muestra la representación

M.I. Norma Elva Chávez Rodríguez

Las decisiones permiten seleccionar el camino

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

Sirven para indicar la activación de una variable

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

EJEMPLOS DE CARTAS ASM

M.I. Norma Elva Chávez Rodríguez

Si X=0 la secuencia binaria que se genera

por el contrario, si X=1 la secuencia binaria

Considere que cada pareja binaria se

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

for (x = a; x ≤ b; x = x + c) { var1 = 1; var2 =

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

Se utiliza un contador para cargar el valor

M.I. Norma Elva Chávez Rodríguez

También se cuenta con un comparador que

M.I. Norma Elva Chávez Rodríguez

En el estado EST0 se activa la señal CARGA

M.I. Norma Elva Chávez Rodríguez

while( x==0 ) { var5 = 1; var2 = 1;

M.I. Norma Elva Chávez Rodríguez

En este ejemplo el valor de la variable X

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

if ( x==n ) { var1 = 1; var2 = 0; } else

M.I. Norma Elva Chávez Rodríguez

En este ejemplo las variables de entrada x

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

El diagrama de tiempos para la carta ASM1

M.I. Norma Elva Chávez Rodríguez

El diagrama de tiempos para las cartas ASM1

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez

M.I. Norma Elva Chávez Rodríguez