同步时序逻辑电路中.pptVIP

第二步，寻找最大相容类。 方法一，直观法 (A,B),(A,D),(B,D)→(A,B,D) (A,C),(A,D),(C,D)→(A,C,D) (A,C),(A,E),(C,E)→ (A,C,E) 方法二，合并图法 隐含表法简化不完全确定的原始状态表 B A C D E 图中构成了三个各点间 都有连接的多边形： (A,B,D),(A,C,D),(A,C,E) 第三步，寻找最小闭覆盖集 ∴由上表得，最小闭覆盖集为{(A,B,D),(A,C,E)} 隐含表法简化不完全确定的原始状态表 最大 相容类 覆盖性 闭合性 A B C D E X=0 X=1 ABD √ √ √ AC B ACD √ √ √ AD B ACE √ √ √ AD C 隐含表法简化不完全确定的原始状态表 第四步，建立最小化状态表 用A代表(A,B,D)，用B代表(A,C,E)， 得最小化状态表： 现态 次态/输出 X=0 X=1 A B/1 A/0 B A/0 B/1 现态 次态/输出 X=0 X=1 A A/Φ Φ/Φ B C/1 B/0 C D/0 Φ/Φ D Φ/Φ B/0 E A/0 C/1 原始状态表 状态编码就是用二进制代码来表示电路的状态，即对状态表中的每一个状态都分配一个二进制代码，从而得到一个二进制状态表。 状态编码的两大任务： 确定状态编码的长度，即二进制代码的位数，也即触发器的个数。 确定二进制编码的分配方案。 状态分配方案确定的准则 使最后得到的时序电路结构最简，即输出函数合激励函数的逻辑表达式最简。 未使用的状态应成为非孤立状态，使电路具有自启动特性。 状态编码 状态分配的基本原则——状态相邻分配 若某些现态在同一输入条件下次态相同，或在不同输入条件下次态组合相同，则应尽量给这些状态分配相邻的二进制编码； 同一现态的各个次态应尽量相邻分配； 输出相同的各个现态尽量相邻分配； 状态表中出现次数最多的状态应分配为逻辑0。 注：上述前三条原则的重要性是依次递减的，一般应首先满足第一条的要求，再兼顾第二条的要求，最后考虑第三条的要求。 4.4.3状态编码 状态编码 eg.对下列状态表进行状态分配 现态 次态/输出 X=0 X=1 A A/0 C/1 B D/0 C/0 C B/0 C/1 D A/0 C/0 原则①：A-D，A-B，A-C， B-C，B-D，C-D 原则②：A-C，D-C，B-C 原则③：A-C，B-D 原则④：C为逻辑0 y2 y1 0 1 0 C B 1 A D 现态 次态/输出 X=0 X=1 00 10/0 00/1 01 01/0 00/1 10 11/0 00/0 11 01/0 00/0 得二进制状态表 该过程就是在已知输入条件、现态、次态和输出的情况下，求出激励函数(即控制函数)表达式和输出函数表达式。 该过程需借助触发器的激励表(即从现态到次态的激励条件)。 若指定触发器作为存储单元来设计电路时，一般可采用表格法来确定激励函数表达式： 根据最小化二进制状态表和所选触发器的激励表，列出激励函数的真值表，经化简后求出激励函数的逻辑表达式。 确定激励函数表达式和输出函数表达式 激励表： 确定激励函数表达式和输出函数表达式 Q Qn+1 R S J K D T 0 0 d 0 0 d 0 0 0 1 0 1 1 d 1 1 1 0 1 0 d 1 0 1 1 1 0 d d 0 1 0 eg1.若选用D触发器，试求下列二进制状态表的激励函数和输出函数表达式 确定激励函数表达式和输出函数表达式 现态 y2y1 次态/输出 X=0 X=1 00 10/0 01/0 01 00/0 00/1 11 01/1 10/1 10 00/1 11/1 x y2 y1 y2n+1 y1n+1 D2 D1 Z 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 Q Qn+1 D 0 0 0 0 1 1 1 0 0 1 1 1 列出激励函数的真值表 确定激励函数表达式和输出函数表达式 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 y2 x 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 Z D1 D2 y1n+1 y2n+1 y1 D2 D1 Z 1 1 0 0 1 0 0 0 1 0 10 11 01 00 y2y1 x 1 0 0 1 1 0 1 0 0