状态机和数据路径详细阐述.pptVIP

6.4 状态机与数据路径 研究内容 基本概念 状态机分类 状态机描述方法 状态机的编码风格 可综合的FSM编码 状态机的优化 状态机容错和设计准则 有限状态机 Finite State Machine，FSM 状态机 —— 一个离散数学模型。给定 一个输入集合，根据对输入的接受次序来决定一个输出集合。（摩尔状态机） 有限状态机 —— 输入集合和输出集合都是有限的，并只有有限数目的状态，实现有限个离散状态及其状态之间转移等行为动作的一种数学模型 有限状态机 有限状态机是由寄存器组和组合逻辑构成的 硬件时序电路； 状态机的状态（即由寄存器组的1和0的组合状态 所构成的有限个状态）只能在同一时钟跳变沿的 情况下才能从一个状态转向另一个状态； 状态机状态转换不但取决于各个输入值，还取决 于当前状态。 状态机可用于产生在时钟跳变沿时刻开关的复杂 的控制逻辑，是数字逻辑的控制核心。 状态机分类 米勒（Mealy）状态机 与当前状态和输入有关 摩尔（Moore）状态机 仅与当前状态有关 状态机状态 次态逻辑：负责状态机译码逻辑，是组合电路。其输入包含当前状态和外部输入信号。 状态记忆：储存目前的状态，是时序寄存电路。下一个逻辑状态的输出是其输入信号。 输出逻辑：负责输出逻辑，是组合电路。摩尔机仅仅与当前状态