有限同步状态机

有限同步状态机

有限同步状态机是时序电路的通用模型，任何时序电路都可以表示为有限状态机，有限状态机从本质上讲是由寄存器与组合逻辑构成的时序电路，各个状态之间的转移总是在时钟的触发下进行的，状态信息存储在寄存器中，因为状态的个数是有限的，所以称为有限状态机。
同其他时序电路一样，有限状态机也是由两部分组成，存储电路和组合逻辑电路，存储电路，用来生成状态机的状态，组合逻辑电路，用来提供输出以及状态机跳转的条件。

根据输出信号产生方式，有限状态机可以分为米利型(mealy)和摩尔型(moore)两类，

有限状态机编码

1）二进制码，状态寄存器由触发器组成，N个触发器可以构成2n次方个状态，缺点是跳转时可能有多个bit同时变化，引起毛刺造成逻辑错误

2）格雷编码，格雷编码和二进制编码类似，格雷编码状态跳转时只有一个bit位发生变化，减少了毛刺产生

3）one hot编码，对于N个状态采用n个bit位来编码，每个状态编码中只有一个bit位为1。如0001，0010，0100，1000.编码增加了使用触发器的个数。