Verilog实现二段式和三段式有限状态机

有限状态机（Finite State Machine，FSM）又称为状态机，为时序逻辑电路中常采用的一种形式，也是时序电路的通用模型任何时序电路，都可以表示为有限状态机。

1、状态机的概述

状态机一般由寄存器和组合逻辑两部分组成，寄存器主要是存储状态，而组合逻辑主要用于产生输出和激励信号。
状态机，根据输出信号是否当前的输入信号，分为米利型（Mealy）和穆尔型（Moore）。米利型状态机的输出由状态机的当前状态和当前输入一起决定，当输入信号不与时钟同步时输出也不与时钟同步。而穆尔型状态机的输出状态只取决于当前状态，与当前的输入状态无关，输出的改变需要等待一个时钟周期才能体现在输出上。

2、状态编码

为了适应不同的应用场景，状态机有着不同的编码方式，常见的编码有：8421BCD码，格雷码，约翰逊码，独热码。编码方式对比如表２－１所示：
表２－１

ＢＣＤ码将状态，表示成２进制数，这种编码方式可以减少触发器的使用。
而格雷码和约翰逊码，每一个状态只有一位不同，可以有效减少电路噪声。
独热码每一位需要一个单独的触发器，可以有效地减少编码和译码的组合逻辑电路大小。但对触发器数量要求较大。

３、二段式状态机

Verilog语言中，常常采用二段式和三段式描述状态机。其本质是对应状态机的激励方程，状态转换方程和输出方程。三段式每一段对应一个方程，二段式则是将输出方程和激励方程合并在一起描述。
二段式描述五位计数器

module counter_5 (clk,rst,Q);
	input clk,rst;
	output Q;
	reg Q;
	reg [2:0]pre_state,nex_state;