§7.3 同步设计.pptVIP

* * §7.3 同步时序电路设计 设计步骤： 逻辑抽象 状态化简 状态分配 选择触发器类型 激励函数、输出函数 检查自启动能力 逻辑图 一、逻辑抽象(建立原始状态图/表) 所描述的逻辑命题应包含几个状态？ 形成模5可逆计数器的原始状态图/表。 建立 111 序列检测器的原始状态图/表。 状态之间的转换关系？ 在各个不同的状态，随着输入的变化其输出如何变化？ 画出1110010 序列检测器的原始状态图/表。 例2 例1 例3 二、状态化简 1.状态等价的概念 ① 等价定义： ② 等价的传递性： ③ 等价类： 相互等价的状态集合 ④ 最大等价类： 目的、原则、条件 ⑤ 等价的判别： 常用一位信息进行判断 (S1,S2), (S2,S3)? (S1,S3) 原始状态表中不包含在其它等价类中的等价类 两个状态在相同输入下输出不同，则不等价。 两个状态在相同输入下输出相同，且次态相同；次态等于或交错等于现态；或或次态循环；则等价。 A/0 D/1 A/0 D/1 D/0 D/1 B/1 C/1 A B C D PS X NS/Z 0 1 状态表1 B/0 C/1 A/0 C/1 C/1 B/0 D/1 B/0 A B C D PS X NS/Z 0 1 状态表2 B/0 C/0 E/1 C/0 D/0 A/0 E/1 A/0 E/1 E/0 A B C D E PS X NS/Z 0 1 状态表3 2. 状态化简方法： ① 观察法 ② 隐含表法 适于状态数较少的状态表 作隐含表 顺序比较 追寻比较 最大等价类 最简状态表 找最大等价类的方法 A/0 D/1 B/0 D/1 D/0 D/1 C/0 D/1 E/1 C/1 F/0 C/0 A B C D E F PS X NS/Z 0 1 A/0 A/1 E/1 A/1 F/0 A/0 A E F PS X NS/Z 0 1 化简后的状态表 原始状态表 三、状态分配 1. 状态分配 2. 状态数n与FF个数r关系：r≥[log2n] 3. 相邻分配原则： 次态相同的不同现态应相邻分配； 同一现态的不同次态应相邻分配； 输出相同，现态相邻分配。 状态图： 用D FF和门电路设计一个状态转换如000→010→100→001→011循环的模5同步计数器。 例1 /1 000 010 100 001 011 状态转换表： 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 Q3 Q2 Q1 0 0 0 0 1 Y Q3 Q2 Q1 n+1 n+1 n+1 四、同步时序电路设计举例 Q2n+1=Q3Q2 Q3n+1=Q2Q1 Q1n+1=Q3+Q2Q1 Y=Q2Q1 Q3 Q2 Q1 /Y的K图 n+1 n+1 n+1 0 00 01 11 10 Q3 ???/? 001/0 100/0 000/1 011/0 010/0 1 Q2Q1 ???/? ???/? 根据状态表，画次态及输出K图，由K图写状态方程，求出激励。 0 0 1 1 0 1 0 0 1 Q3 Q2 Q1 1 0 1 1 1 0 1 1 1 Q3 Q2 Q1 0 0 1 Y n+1 n+1 n+1 冗余状态检查： /1 000 010 100 001 011 110 101 111 /1 完整状态图： 电路能够自启动！ 作业：P134. 5.12 设计一个110序列检测器。 例2 S0 S1S2 S3 S0/0 S1/0 S0/0 S2/0 S3/1 S2/0 S0/0 S1/0 PS X 0 1 NS Y S0 S1 S2 S3 1/0 1/0 0/1 0/0 0/0 1/0 1/0 0/0 S0 S1 S2 S3 S0/0 S1/0 S0/0 S2/0 S3/1 S2/0 S0/0 S1/0 PS X 0 1 NS Y S0/0 S1/0 S0/0 S2/0 S0/1 S2/0 S0 S1 S2 PS X 0 1 NS Y 00 01 11 PS X 0 1 NS Y 00/0 01/0 00/0 11/0 00