状态机
在有限的状态内 ， 在时钟的驱动下 ，通过给定初始状态 ，能够自动完成状态间的循环和相应状态输出的时序逻辑电路
Mealy 型状态机（一般可能化简）
下一状态和输出=当前状态+当前输入
Moore型状态机（最简）
下一状态=当前状态+当前输入，输出=当前状态
有限状态机的描述主要有两段和三段式
Mealy 型状态机
两段式1
这里有个parameter，它的作用可以类比C语言中的宏定义#define
两段式2
这是第一个进程,状态机采取时序电路的描述方式
current_state <= next_state;
是所有状态机都会用到的状态间递进更迭的语句，务必不要写反
两段式3
这是每个状态机的状态根据输入输出的对外接口状态变化，用组合逻辑
其中S0S1S2S3描述方式都是一样的，不再赘述
两段式4
结尾一定注意前后的对应和default
Moore型描述是一样的
三段式：即将两段式第二段进程中的状态和输出解耦合，分别用两个always语句描述
