状态机设计需满足的几个要求：
1. 三段式要求
有限状态机采用三段式风格，即三个always块描述状态机.
第一个组合逻辑always块用来描述下一状态的转移（next state logic）
第二个时序逻辑always块用来描述当前状态.（current state） 寄存器的复位和变化.
第三个always块用来描述输出.（output logic） 组合or时序 均可.
优点：书写清晰，组合与时序分离设计，易于综合，且在一定程度上避免了状态转移和输出等组合逻辑中的毛刺.
2. 状态机状态信号命名方法
当前状态命名为current_state,下一状态命名为next_state.
主要目的是为了提高状态机的可读性，为分析逻辑功 能提供方便，也可以是cstate or nstate.
3.编码方式
准则：使用参数赋值状态
两种常用的编码方式：二进制编码及独热码编码
二进制编码占用的位数少，但其状态跳变需要额外的译码电路，这样的编码方式会对状态机的运行速度有所限制，可以满足一般的设计要求。
独热码编码，以n bit表示n个 状态，这样编码的译码部分可以做到最简，工作频率可以做到较高，相对于二进制而言，需要更多的位。
建议使用的独热码，电路的速度和可靠性有显著的提高，但注意：存在多余的状态，就有一些不可到达的状态，需要在case语句的最后，加default分支，以确保能回到IDLE状态。
4.状态机设计的注意事项
设计的状态跳转条件是否充分
状态跳转条件都不满足的情况下，状态机如何工作
未定义的状态应如何设计
状态机跳转设计中，是否受外部信号的影响
5.三段式的写法
组合逻辑always块：（负责状态的跳转）、
always@(current_state or else signal)（敏感列表中存放对状态跳转有影响的信号）
begin
next_state=x; （初始化，使得系统复位进入正确的状态）
case(current_state)
s1: if(.....)
next_state=s2
.
.
.......
endcase
end
时序逻辑always块：
always@(posedge clk or negedge rst)
if(!rst)
current_state<=IDLE;
else
current_state<=next_state;
描述输出的always块可以是组合的也可以是时序的；
6.典型的序列检测状态机写法：
IMG_0141.JPG
