第十二讲有限状态机分析.PDFVIP

第十二讲有限状态机分析 Finite State Machine Analysis 佟冬 tongdong@ /courses/digital/2018spring 时序电路分析与综合总结 应用问题 文字规范说明 功能描述 时序图 状态图和状态表, ASM 状态化简? （状态图） 时序元件 状态分配 ? 激励输入表 时钟性质 特征方程 输出和激励输入卡诺图 组合逻辑优化 同步时序 组合电路 时序元件 电路 综合 分析 2 本章主要内容 冗余状态 完全确定状态机的化简 非完全确定状态机的化简 状态分配方法 3 1 冗余状态 消除冗余状态的重要性 – 成本：存储元件的数目和状态的数目直接相关。 • Binary编码：n = logN • One-hot编码：n = N – 复杂性：电路中的状态越多，设计实现越复杂。 – 辅助故障分析：诊断程序一般都默认为电路中没有冗 余状态。 4 1.1 状态等价性 定义1：完全确定的时序电路中状态S , S , …, S 1 2 j 被称为等价的，当且仅当对于任意的输入序列， 将S , S , …, S 中的任意状态作为初始状态，电 1 2 j 路的输出序列都是相同的。 定义2 ：设S 和S 是完全确定时序电路的两个状态， i j S 和S 是在输入I 时S 和S 的下一个状态，S 和S k l p i j i j 是等价的当且仅当对于每一可能的I 满足下列的 p 条件： – 1. S 和S 的输出相同； i j – 2. 下一个状态S 和S 是等价的。 k l 5 定义1和定义2等价 充分性： – 假设定义2不成立，则定义1不成立。 必要性 – 假设定义1不成立，则定义2的两个条件必然有一个不 成立，所以定义2不成立。 因此： – 定义1和定义2是同义的(synonymous)