状态机

一段式状态机既有状态转移，又有状态的输入和输出

三段式

两段式状态机一个always块采用同步时序描述状态转移，另一个模块采用组合逻辑判断状态转移条件，易产生毛刺（把同步时序和组合逻辑放到不同的 always程序块中实现）

设计者习惯将当前状态的输出用组合逻辑实现

三个always

• 第一个采用同步时序描述状态转移
• 第二个采用组合逻辑判断状态转移条件
• 第三个使用同步时序描述每个状态的输出

根据状态转移规律，在上一状态根据输入条件判断当前状态的输出，从而在不插入额外时钟节拍的前提下，实现了寄存器输出

无组合逻辑输出

阻塞和非阻塞

时序逻辑always块使用非阻塞赋值，如当前状态向下一状态时序转移和寄存FSM输出
组合逻辑always块使用阻塞赋值，如状态转移条件判断和组合逻辑输出