数字逻辑：同步时序逻辑.ppt

《数字逻辑》 第四章·同步时序逻辑 */106 实例Ⅱ 《数字逻辑》 第四章·同步时序逻辑 */106 实例Ⅱ 《数字逻辑》 第四章·同步时序逻辑 */106 实例Ⅱ 《数字逻辑》 第四章·同步时序逻辑 */106 实例Ⅱ 《数字逻辑》 第四章·同步时序逻辑 */106 实例Ⅱ 《数字逻辑》 第四章·同步时序逻辑 */106 时序逻辑设计步骤 第一步，分析设计要求，建立原始状态图和状态表。 第二步，进行状态化简。以便消去多余状态，得到最小化状态表。 第三步，进行合理的状态编码。也就是将用数字或者符号表示的状态，给予合理的二进制编码。 第四步，选择存储器件，并求出激励函数和输出函数。 第五步，画出逻辑图。 第六步，对所设计的逻辑电路进行必要的讨论。 《数字逻辑》 第四章·同步时序逻辑 */106 信号序列检测器 《数字逻辑》 第四章·同步时序逻辑 */106 可重叠 《数字逻辑》 第四章·同步时序逻辑 */106 不可重叠 《数字逻辑》 第四章·同步时序逻辑 */106 状态化简 在建立原始状态表的过程中，设置状态的目的在于：利用这些状态记住输入的历史情况，以便对其后的输入产生相应的输出。 如果所设置的两个状态，对输入的所有序列，产生的输出序列完全相同，则两个状态可以合并为一个状态。这就是状态化简的基本原理。 《数字逻辑》 第四章·同步时序逻辑 */106 状态化简实例 《数字逻辑》 第四章·同步时序逻辑 */106 状态化简实例 《数字逻辑》 第四章·同步时序逻辑 */106 状态合并 在所有不同的现输入下，现输出都分别相同 在所有不同的现输入下，次态分别为下列情况之一： 两个次态完全相同； 两个次态为现态本身或者为现态交错； 两个次态为状态对循环中的一个状态对； 两个状态的某一后继状态对可以合并。 《数字逻辑》 第四章·同步时序逻辑 */106 蕴含表法 蕴含表法又称表格法，它是一种有规律的方法。它的基本指导思想是：首先对原始状态表中的所有状态都进行两两比较，找出等价对；然后，利用等价的传递性，得到等价类，最大等价类；最后，建立最小化状态表。 蕴含表是直角边格数相等的直角三角形网格，直角边的格数等于原始状态表中状态数减1。垂直方向“缺头”，水平方向“少尾”。蕴含表中每个小格表示一个状态对。 《数字逻辑》 第四章·同步时序逻辑 */106 蕴含表法化简步骤 作蕴含表。 顺序比较。 将比较的结果填入小方格内 两个状态是等价：“√” 两个状态不等价：“X” 待定状态：次态对 关联比较 对上一步骤中的待定状态追踪考察 根据等价具有传递件找最大等价类，作最小化状态表 《数字逻辑》 第四章·同步时序逻辑 */106 蕴含表法化简实例 《数字逻辑》 第四章·同步时序逻辑 */106 蕴含表法化简实例 《数字逻辑》 第四章·同步时序逻辑 */106 蕴含表法化简实例 《数字逻辑》 第四章·同步时序逻辑 */106 状态分配 在求得最小化状态表之后，需要将用字母或者数字表示的每一个状态，指定一个二进制代码，以便设计逻辑电路。所谓状态分配就是形成二进制代码的过程，也称为状态编码、状态赋值。 触发器的数目 《数字逻辑》 第四章·同步时序逻辑 */106 次佳编码方法 在相同输入条件下，如果次态相同，则现态应给予相邻编码。 在不同输入条件下，同一现态的各次态应采用相邻编码。 在相同输入条件下，若输出相同，则两个现态应采用相邻的编码。 《数字逻辑》 第四章·同步时序逻辑 */106 次佳编码实例 《数字逻辑》 第四章·同步时序逻辑 */106 次佳编码实例 根据次佳编码原则1)，则状态A和B应取相邻编码，状态A和C应取相邻编码； 根据次佳编码原则2)应对C和D，A和C，B和D，A和B分别给予相邻编码； 根据原则3)应对A，B，C，D四个状态给予相邻编码，因为它们输出相同。 优先满足A和B，A和C分别取相邻编码。 《数字逻辑》 第四章·同步时序逻辑 */106 次佳编码实例 第四章同步时序逻辑 《数字逻辑》 第四章·同步时序逻辑 */106 结构模型 《数字逻辑》 第四章·同步时序逻辑 */106 数学模型 状态：能够持续一定时间阶段的本体条件。 与其他条件区分 各条件间非连续 状态转换是对事件的反应 现态Qn ，次态Qn+1 输出函数 Zi = fi(x1,…,xn,Q1,…,Qr) 激励函数 Yi = gi(x1,…,xn,Q1,…,Qr) 《数字逻辑》 第四章·同步时序逻辑 */106 Mealy与Moore Mealy型 ：Zi = fi(x1,…,xn，Q1,…,Qr) 基于迁移 输出