有限状态机是指输出取决于过去输入部分和当前输入部分的时序逻辑电路。有限状态机又可以认为是组合逻辑和寄存器逻辑的一种组合。状态机特别适合描述那些发生有先后顺序或者有逻辑规律的事情,其实这就是状态机的本质。状态机就是对具有逻辑顺序或时序规律的事件进行描述的一种方法。在实际的应用中根据状态机的输出是否与输入条件相关,可将状态机分为两大类,即摩尔(Moore)型状态机和米勒(Mealy)型状态机。图1 Mealy型状态转移图状态机的描述方法多种多样,将整个状态机写到1个always模块里,在该模块中既描述状态转移,又描述状态的输入和输出,这种写法一般被称为一段式FSM描述方法;还有一种写法是使用两个