FSM与如何用Verilog语言设计出高效且可综合的FSM

• Introduction 介绍

1.

• Mealy & Moore FSMs 米莉和摩尔状态机

1.Mealy FSM 是当前状态与一个或多个输入的函数

2.Moore FSM 仅是当前状态的函数

• Binary Encoding, Gray Encoding or One Hot Encoding

（有限状态机里的状态编码问题）

每一个状态都需要一个二进制表示，但是状态之间的关系如何，有多种解决方案：

1.最简单的就是“原码”，就是对于每个状态依照二进制“自然”的顺序依次编码；

2.“Gray码”（格雷码）的两个顺序状态之间的差别只有一位不同；

3.“独热码”（类似的还有变型的“约翰逊码”），每个状态只有一个比特是高电平“1”。

• FSM Coding Goals

(未完待续)