数字逻辑与工程设计－刘真-chp4-3.pdfVIP

数 字 第四章 同步时序电路 逻 Synchronous Sequential Circuit 辑 第三讲 同步时序逻辑电路设计(2) 国防科学技术大学计算机系体系结构教研室 4.3.2 状态表的化简 数 ——不完全定义机状态表的化简方法 字 （一）相容的概念 相容状态 ：设qa,qb 是不完全定义机状态表中的两个状 逻 态，如果它们的输出和次态在两者有定义时，满足前面所 述的合并条件，则称 qa,qb为相容状态。 辑 例 ：相容状态(A,B)、(B,C); 不相容状态(A,C); 相容状态无传递性：(A,B)、(B,C) → (A,C); 相容类：所有状态间都是两两相容的状态集合. 最大相容类：某一相容类不是任何其它相容类的子集。 国防科学技术大学计算机系体系结构教研室 数 字 如何寻找最大相容类？——合并图法 例： 逻 相容状态对： 辑 (q1 ,q2),