常见状态机及模型
状态机在设计中有着非常重要的作用、我们在程序设计时大多会用到状态机所以学习状态机还是很有必要的。
在状态机中现态、输入、输出、次态(根据现态、输入输出及状态转移函数得出)是非常重要的组成。
状态机模型
主要分为Moore型状态机、Mealy型和Mix型。
Moore型状态机:
状态机的输出仅由现态决定。其中Moore型状态机根据输出特性可以分为Moore 1型、Moore 2型、Moore3型。
Moore 1型:现态直接通过组合逻辑产生当前输出。
Moore 2型:与Moore 1型不同,输出端由之前的现态变为次态产生,但同时输出端加入寄存器,因此当时钟触
发沿有效时现态触发器变为次态,同时输出寄存器更新,结果与Moore 1型相同。
Moore 3型:将Moore 1型和Moore 2型结合。
Mealy 型状态机:
Mealy状态机的输出是由现态和输入共同决定。Mealy型状态机也可分为Mealy 1型、Mealy 2型、Mealy 3型。
其定义与Moore型的三种类型相似,唯一不同的是输出由输入和现态共同决定,其他的与其相似。
Mix型状态机:
有多个输出且一些由现态决定,一些由现态和输入共同决定。其实质是Moore型状态机和Mealy型状态机的组合。