verilog | 十二、状态机

-分类

根据状态机的输出是否与输入条件相关，可将状态机分为两大类：摩尔（Moore）型状态机和米勒（Mealy）型状态机。

        -摩尔状态机：摩尔状态机的输出仅仅依赖于当前状态，而与输入条件无关。

        -米勒型状态机：米勒型状态机的输出不仅依赖于当前状态，而且取决于该状态的输入条件。

根据状态机的数量是否为有限个，可将状态机分为有限状态机（Finite  State  Machine，FSM）和无限状态机（Infinite  State  Machine，ISM）。逻辑设计中一般所涉及的状态都是有限的，即FSM。

-FSM描述评判标准

1、FSM要安全、稳定性高。

2、FSM 速度快，满足设计的频率要求。

3、FSM 面积小，满足设计的面积要求。

4、FSM 设计要清晰易懂、易维护。

-举例