有限状况机（FSM）是一种常见的电路，由时序电路和组合电路组成。规划有限状况机的第一步是确认选用Moore状况机仍是选用Mealy状况机。（Mealy型：状况的改变不只和当时状况有关，并且跟各输入信号有关；Moore型：状况的改变只和当时状况有关）。从完成电路功用来讲，任何一种都能够完成相同的功用。但他们的输出时序不同，所以，在挑选运用那种状况机时要依据具体情况而定，在此，把他们的首要差异介绍一下：
1. Moore状况机：在时钟脉冲的有限个门延时之后，输出抵达安稳。输出会在一个完好的时钟周期内保持安稳值，即便在该时钟内输入信号改变了，输出信号也不会改变。输入对输出的影响要到下一个时钟周期才干反映出来。把输入和输出分隔，是Moore状况机的重要特征。
2. Mealy状况机：因为输出直承受输入影响，而输入能够在时钟周期的任一时间改变，这就使得输出状况比Moore状况机的输出状况提早一个周期抵达。输入信号的噪声或许会呈现在输出信号上。
3. 对同一电路，运用Moore状况机规划或许会比运用Mealy状况机多出一些状况。
依据他们的特征和要规划的电路的具体情况，就能够确认运用那种状况机来完成功用。一旦确认状况机，接下来就要结构状况转换图。现在还没有一个老练的系统化状况图结构算法，所以，关于完成同一功用，能够结构出不同的状况转换图。但一定要遵从结构化规划。在结构电路的状况转换图时，运用互补准则能够协助咱们查看规划过程中是否呈现了过错。互补准则是指脱离状况图节点的一切支路的条件有必要是互补的。同一节点的任何2个或多个支路的条件不能一起为真。一起为真是咱们规划不允许的。
在查看无冗余状况和过错条件后，就能够开端用verilog HDL来规划电路了。
