扩展有限状态机

在传统的有限状态机中，过渡与一组输入布尔条件和一组输出布尔函数有关。在一个扩展的有限状态机（EFSM）模型中，过渡可以用一个由一组触发条件组成的"if语句"来表达。如果触发条件全部满足，过渡就被触发，将机器从当前状态带到下一个状态，并执行指定的数据操作。

EFSM架构。一个EFSM模型由以下三个主要的组合块（和一些寄存器）组成。FSM-块。一个传统的有限状态机，实现了EFSM模型的状态转换图。A-块：一个算术块，用于执行与每个转换相关的数据操作。该块的操作由有限状态机块的输出信号来调节。E-块。一个用于评估与每个转换相关的触发条件的块。该块的输入信号是数据变量，而输出是一组二进制信号，由FSM块进行输入。关于冗余计算的信息是通过分析三个基本块之间的相互作用来提取的。

利用这些信息，算术块和评估块的某些输入操作数可以在特定的运行时间条件下通过输入门控被冻结，以减少设计中不必要的切换。在架构层面上，如果每个触发器的评估和数据操作被视为一个原子动作，那么EFSM意味着一个几乎最低功率的实现。EFSM的周期行为可以分为三个步骤。在E区，评估所有的触发条件。在FSM区，计算下一个状态和控制A区的信号。在A区，执行必要的数据操作和数据移动。