关于FSM的写法按照always块的个数来划分可以分为一段式(一个always块)、两段式状态机(两个always块)、三段式状态机(三个always块)。三段式状态机具有以下优点:
(1) 三段式状态机可以清晰完整的显示出状态机的结构,
(2) 可以清晰的将状态图转化为verilog代码,
(3) 代码清晰,降低编写维护复杂度,
这里仅讨论三段式状态机。
下图是状态机的结构图:
状态机结构图
按照三段式状态机进行分析,第一个框图是描述状态寄存器,为时序逻辑,后两个框图描述转移和输出,为组合逻辑。
三段式状态机对应的代码模版:
第一个always块,描述对应当前状态的状态寄存器,非阻塞赋值:
第二个always块,描述下一状态的状态寄存器,阻塞赋值:
第三个always块,描述输出,阻塞赋值:
对于第三个always块,在网上查到有些是使用时序逻辑,非阻塞赋值,使用next_state进行状态判断,对应代码如下: