Máquina de estados finitos extendida

En una máquina de estados finitos convencional, la transición está asociada con un conjunto de condiciones booleanas de entrada y un conjunto de funciones booleanas de salida. En un modelo de máquina de estados finitos extendida (EFSM, por sus siglas en inglés), la transición se puede expresar mediante una "declaración if" que consiste en un conjunto de condiciones de activación. Si se cumplen todas las condiciones de activación, se activa la transición, lo que lleva a la máquina del estado actual al siguiente estado y realiza las operaciones de datos especificadas.

Un EFSM se define como un 7-tuple ${\displaystyle M=(I,O,S,D,F,U,T)}$ Donde

• S es un conjunto de estados simbólicos,
• Soy un juego de símbolos de entrada,
• O es un conjunto de símbolos de salida,
• D es un espacio lineal n-dimensional ${\displaystyle D_{1}\times \ldots \times D_{n}$,
• F es un conjunto de Funciones habilitantes ${\displaystyle "D\rightarrow"$,
• U es un conjunto de Funciones de actualización ${\displaystyle Oh, Dios mío. D}$,
• T es una relación de transición, ${\displaystyle T:S\times F\times I\rightarrow S\times U\times O}$

Arquitectura EFSM: Un modelo EFSM consta de los siguientes tres bloques combinacionales principales (y algunos registros).

• FSM-block: Una máquina estatal finita convencional que realiza los gráficos de transición estatal del modelo EFSM.
• A-block: un bloque aritmético para realizar la operación de datos asociada a cada transición. El funcionamiento de este bloque está regulado por las señales de salida del bloque FSM.
• E-block: Un bloque para evaluar las condiciones de activación asociadas a cada transición. Las señales de entrada a este bloque son las variables de datos, mientras que la salida es un conjunto de señales binarias tomadas para la entrada por el bloque FSM. La información sobre la computación redundante se extrae analizando las interacciones entre los tres bloques básicos. Utilizando esta información, ciertos operandos de entrada del bloque aritmético y el bloque de evaluación se pueden congelar mediante la medición de entrada en condiciones específicas de tiempo de ejecución para reducir el cambio innecesario en el diseño. A nivel de arquitectura, si cada operación de evaluación de desencadenantes " se considera una acción atómica, entonces el EFSM implica una implementación casi más baja de la potencia.

El comportamiento cíclico de un modelo EFSM se puede dividir en tres pasos:

1. En E-block, evaluar todas las condiciones de activación.
2. En FSM-block, computar el siguiente estado " las señales que controlan A-block.
3. En A-block, realizar las operaciones de datos y movimientos de datos necesarios.

• Máquina estatal abstracta