Cruz Basilio, Carol Anahí Cartas ASM DEFINICIÓN: Las cartas asm (algorithmic state machine) son formas de descripción de tipo gráfico especialmente enfocadas, como indica su nombre, a representar algoritmos secuenciales, fue creado por chris clare. Este algoritmo especifica mediante un diagrama de flujo los pasos del procedimiento y los caminos de decisión. Se entiende por bloque asm el conjunto formado por una única caja de estado y un número determinado tanto de cajas de decisión como de cajas de acción condicional. Por tanto, un bloque asm poseerá un único camino de entrada y uno o varios de salida. Las salidas tipo Mealy serán las acciones que se activan en las cajas de acción condicional y las tipo Moore las que lo hacen en las cajas de estado. Características
Los diagramas expresan detalladamente el algoritmo que se debe de seguir para resolver un determinado problema. es una herramienta que da información sobre la estructura y sobre el comportamiento dinámico del sistema que se describe con ella, aspectos ambos de sumo interés. indican los estados por los que puede atravesar el sistema, las condiciones que producen transiciones entre estados(entre dos estados hay un ciclo de reloj) y las señales de salida que se deben producir en cada estado.
Componentes Básicos de un Diagrama ASM
Caja De Estado dentro de esta caja se especificarán todas las acciones (en nuestro caso, transferencias entre registros o señales a activar) que puedan realizarse en un mismo ciclo de reloj y que no dependan de ninguna condición de entrada. La caja de estado es la caja fundamental en cuanto que identifica a un bloque: cada caja de estados pertenece a un bloque (y sólo a uno) y cada bloque posee una y sólo una caja de estados. Asimismo, cada caja podrá tener asignado un símbolo o un código binario que distinga ese bloque ASM de los restantes. Bloque De Decisión Los bloques de decisión son los que establecen las condiciones para que ocurra un cambio de estado, es decir, definen las trayectorias posibles y las condiciones para pasar de un estado a otro. Dentro del bloque se deberá especificar la expresión lógica (en términos de las entradas) que decide cual es la trayectoria a seguir y en cada salida del bloque se deberá especificar el valor de la expresión para seguir por dicha salida. La Caja De Acción Condicional Este contiene las acciones a realizar dependientes de que ciertas condiciones se cumplan o no. Estas cajas vendrán a continuación de cajas de decisión, ya que en esta última se pregunta sobre si la condición se cumple o no, y así en cada caso las acciones a realizar podrán ser diferentes. Las acciones contenidas en las cajas de acción condicional son similares a las acciones de las cajas de estado pudiendo ser, por tanto, transferencias RT o activación de señales.
EJERCICIO DE APLICACIÓN diseñar detector de códigos 110101 que al detectar envie una señal de detección. FSM