第4章 同步时序逻辑电路中优秀PPT.ppt

第4章 同步时序逻辑电路中现在学习的是第1页，共45页n分析：根据给定的逻辑电路图，找出它的状态表（或状态图）和时间图来描述电路的工作过程以及输入输出关系，说明电路的逻辑功能和工作特性n分析的步骤：n第一步，根据给定的时序电路图，列出输出函数表达式和激励函数表达式。n第二步，建立状态转移真值表。n第三步，作出时序电路状态表，画出状态图。n第四步，用文字和时间图描述电路的逻辑功能4.3 同步时序逻辑电路分析现在学习的是第2页，共45页同步时序电路分析举例n例：时序电路如图所示，试分析其功能，并 画 出x序 列 为10101100的时序图，设起始态Q2Q1=00现在学习的是第3页，共45页解：该电路中，时钟脉冲接到每个触发器的时钟输入端，故为同步时序电路。(1)写出方程 激励方程 次态方程 将上述激励函数代入触发器的特性方程中，即得每一触发器的次态方程 输出方程 现在学习的是第4页，共45页(2)列出状态真值表 假定一个现态，代入上述次态方程中得相应的次态，逐个假定列表表示即得相应的状态真值表如表所示 现在学习的是第5页，共45页状态迁移图(3)画出状态迁移图 由状态真值表可得出相应的状态图，如图所示。现在学习的是第6页，共45页n（4）根据上述时序关系作出时序图X=10101100现在学习的是第7页，共45页n例：时序电路如图所示，分析其功能。电路图 现在学习的是第8页，共45页n 解：该电路为同步时序电路。n 从电路图得到每一级的激励方程如下：其次态方程为 输出方程为 现在学习的是第9页，共45页状态表状态迁移图根据方程可得出状态迁移表，如表所示，再由表得状态迁移图，如图所示。由此得出该计数器为五进制递增计数器，具有自校正能力自校正能力(又称自启又称自启动能力动能力)。所谓自启动能力自启动能力，指当电源合上后，无论处于何状态，均能自动进入有效计数循环。否则称为无自启动能力现在学习的是第10页，共45页电路的波形图现在学习的是第11页，共45页n例：时序电路如图所示，分析其功能电路图 现在学习的是第12页，共45页n 解：该电路仍为同步时序电路n 电路的激励方程为 次态方程为 现在学习的是第13页，共45页状态真值表状态迁移图 现在学习的是第14页，共45页波形图n如图所示可看出该电路为六进制计数器，又称为六分频电路，且无自启动能力。所谓分频电路是将输入的高频信号变为低频信号输出的电路。六分频是指输出信号的频率为输入信号频率的六分之一，即所以有时又将计数器称为分频器现在学习的是第15页，共45页n第一步，根据逻辑要求，作出原始状态图和原始状态表；n第二步，状态简化；n第三步，状态编码；n第四步，求出激励函数表达式和输出函数表达式；n第五步，画出逻辑电路图；n第六步，检验无效状态。4.4 同步时序逻辑电路设计现在学习的是第16页，共45页n同步时序电路设计过程 4.4 同步时序逻辑电路设计现在学习的是第17页，共45页n形成原始状态图需确定的三个问题形成原始状态图需确定的三个问题n所描述的电路应包含哪几个状态所描述的电路应包含哪几个状态n状态之间的转换关系状态之间的转换关系n输入输入/输出的情况（输入变量和输出变量）输出的情况（输入变量和输出变量）n方法：直接构图法方法：直接构图法n根据文字描述的设计要求，先设定一个初态；根据文字描述的设计要求，先设定一个初态；n从设定的初态开始，每加入一个输入，按电路工作过程确从设定的初态开始，每加入一个输入，按电路工作过程确定其次态及相应的输出值；定其次态及相应的输出值；n次态可能就是现态或已有的另一个状态，也可能是重新次态可能就是现态或已有的另一个状态，也可能是重新增加的一个状态；增加的一个状态；n继续这个过程，继续这个过程，直到每一个现态在不同输入条件下向其直到每一个现态在不同输入条件下向其次态的转换都已被考虑，并且不再构成新的状态为止。次态的转换都已被考虑，并且不再构成新的状态为止。4.4.1建立原始状态图和原始状态表现在学习的是第18页，共45页建立原始状态图和原始状态表举例n1、串行序列检测器n从序列检测出101、110信号n2、可变计数器n设计一个可变模5、6的计数器n设计一个可变加、减的模4计数器n3、自动售票机n该售票机可以接受1元，或者2元硬币；投币累计达3元，则出票，累计达4元则出票并找零现在学习的是第19页，共45页建立原始状态图和原始状态表举例n4、火车岔道口控制电路n某铁路岔口使用压力传感器进行控制，如图7，P1、P2分别代表东西两个压力传感器，当火车由西向东或者由东向西行驶压在P1、P2上时，岔口横杆将放下，当火车驶离P1、P2区间时，横杆将打开。假设火车在P1、P2区间行驶时不会倒车，并且P1、P2之间的距离大于火车的长度。用Z=0表示横杆打开，Z=1表示横杆落下，请使用J,K触发器设计该铁路岔口的控制电路现在学习的是第20页，共45页n目的：从原始状态表中消去多余的状态，得到最小化状态表，它包含的状态数目最少，且仍满足逻辑命题的全部要求n方法：观察法、隐含表法n完全确定状态表的简化n不完全确定状态表的简化4.4.2状态化简现在学习的是第21页，共45页n状态等效与等效对状态等效与等效对n状态表中的两个状态S1和S2，若对于任意输入序列，所产生的输出序列都相同，则状态S1和S2是等效的，记作(S1,S2)，状态S1和S2是等效对n状态等效的条件：在所有可能的输入条件下，两个(或多个)状态响应的输出相同，且次态或相同或交错或循环或等效，则这些状态是等效的n次态交错：在某种输入下，状态Si的次态是Sj，状态Sj的次态是Si；n次态循环：在某种输入下，状态Si和Sj的次态是Sk和Se，而状态Sk和Se的次态是Si和Sj；n次态等效：在某种输入下，状态Si和Sj的次态是Sk和Se，而状态Sk和Se满足状态等效条件，即Sk和Se是等效对&完全确定状态表的简化现在学习的是第22页，共45页n状态等效的性质n等效关系的传递性：若S1和S2等效，S2和S3等效，则S1和S3等效。(S1,S2),(S2,S3)(S1,S3)n等效类：若干个相互等效的状态组成一个等效类。(S1,S2),(S2,S3)(S1,S2,S3)n最大等效类：如果一个等效类不是其它任何等效类的子集，该等效类为最大等效类。n原始状态表的简化过程原始状态表的简化过程就是寻找最大等效类，并将就是寻找最大等效类，并将每一个最大等效类的所有状态合并为一个状态，从而每一个最大等效类的所有状态合并为一个状态，从而得到最小化状态表得到最小化状态表n观察法和隐含表法简化原始状态表&完全确定状态表的简化现在学习的是第23页，共45页eg.试用隐含表法简化原始状态表。n第一步，作隐含表。隐含表法简化完全确定的原始状态表BCDEFGABC D EF直角三角形网格纵坐标数=横坐标数=状态数-1缺头少尾原始状态表现在学习的是第24页，共45页n第二步，寻找等效状态对n逐格比较状态对：n肯定等效的填n肯定不等效的填n若不确定，则将起决定作用的次态填入n对不确定的状态对的次态进行判别：n若次态对等效，则填n若次态对不等效，则填隐含表法简化完全确定的原始状态表CF BCDEFGAB C DEFBECFAECDDE BCDEFGAB C DE F现在学习的是第25页，共45页隐含表法简化完全确定的原始状态表n第三步，确定最大等效类n由第二步得到等效对：(A,B),(A,E),(B,E),(C,F)n由等效关系的传递性得最大等效类集合：(A,B,E),(C,F),(D),(G)n第四步，合并最大等效类中的状态，得到最小化状态表n设：(A,B,E)为A 得：(C,F)为C (D)为D (G)为G原始状态表现在学习的是第26页，共45页n有效输入序列和无效输入序列n状态相容和相容对n在不完全确定状态表中，假设状态S1和S2为初始状态，如果对于所有有效输入序列，从状态S1和S2出发，它们相应的输出序列是完全相同的，那么状态S1和S2是相容的，即S1和S2是相容对，记作(S1,S2)n状态相容的条件n在所有可能的输入条件下，两个状态对应的输出相同，或其中一个(或两个)输出为任意值，并且它们的次态或相同或交错或循环或相容，或者其中一个(或两个)为任意状态，则这两个状态是相容的。(即若对于一方给定而另一方不给定，不论对于次态和输出，都当“相容”处理)&不完全确定状态表的简化现在学习的是第27页，共45页n状态相容的性质n状态相容不具有传递性。n相容类中所有状态之间都分别是两两相容的。(S1,S2,S3)(S1,S2)(S2,S3)(S1,S3)n若一个相容类不是任何其它相容类的子集，则该相容类为最大相容类最大相容类。n如何寻找最大相容类n将原始状态表中所有状态以“点”的形式均匀地标在一个圆圈上；n把所有相容对用直线连接起来；n若干个顶点之间两两均有连线构成的最大多边形就是一个最大相容类。&不完全确定状态表的简化现在学习的是第28页，共45页 和完全确定状态表化简不同，不完全状态表的化简得过程最终要寻找的是一个由最大相容类构成的集合最小闭覆盖最小闭覆盖（仅仅是最大相容类集合的一个子集）n最小闭覆盖n覆盖：指一个相容类集合中包含了原始状态表的全部状态。n闭合：指一个相容类集合中，对任何一个相容类，在每种输入下所产生的次态组合应该属于该集合内的某一个相容类。n最小：指满足覆盖和闭合的相容类集合中的相容类的数目最少。n闭覆盖表&不完全确定状态表的简化现在学习的是第29页，共45页eg.试用隐含表法简化原始状态表。n第一步，作隐含表，寻找相容状态对隐含表法简化不完全确定的原始状态表现态次态/输出X=0X=1AA/BC/1B/0CD/0/D/B/0EA/0C/1ACADADBCDEABC D所有相容对：(A,B),(A,C),(A,D),(A,E),(B,D),(C,D),(C,E)现在学习的是第30页，共45页n第二步，寻找最大相容类。n方法一，直观法(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)n方法二，合并图法隐含表法简化不完全确定的原始状态表BACDE图中构成了三个各点间都有连接的多边形：(A,B,D),(A,C,D),(A,C,E)现在学习的是第31页，共45页n第三步，寻找最小闭覆盖集由上表得，最小闭覆盖集为(A,B,D),(A,C,E)隐含表法简化不完全确定的原始状态表最大相容类覆盖性闭合性ABCDEX=0X=1ABD ACBACD ADBACEADC现在学习的是第32页，共45页隐含表法简化不完全确定的原始状态表n第四步，建立最小化状态表用A代表(A,B,D)，用B代表(A,C,E)，得最小化状态表：现态次态/输出X=0X=1AB/1A/0BA/0B/1现态次态/输出X=0X=1AA/BC/1B/0CD/0/D/B/0EA/0C/1原始状态表现在学习的是第33页，共45页n状态编码就是用二进制代码来表示电路的状态，即对状态表中的每一个状态都分配一个二进制代码，从而得到一个二进制状态表。n状态编码的两大任务：n确定状态编码的长度，即二进制代码的位数，也即触发器的个数。n确定二进制编码的分配方案。n状态分配方案确定的准则n使最后得到的时序电路结构最简，即输出函数合激励函数的逻辑表达式最简。n未使用的状态应成为非孤立状态，使电路具有自启动特性。状态编码现在学习的是第34页，共45页n状态分配的基本原则状态相邻分配n若某些现态在同一输入条件下次态相同，或在不同输入条件下次态组合相同，则应尽量给这些状态分配相邻的二进制编码；n同一现态的各个次态应尽量相邻分配；n输出相同的各个现态尽量相邻分配；n状态表中出现次数最多的状态应分配为逻辑0。注：上述前三条原则的重要性是依次递减的，一般应首先满足第一条的要求，再兼顾第二条的要求，最后考虑第三条的要求。4.4.3状态编码现在学习的是第35页，共45页状态编码neg.对下列状态表进行状态分配现态次态/输出X=0X=1AA/0C/1BD/0C/0CB/0C/1DA/0C/0原则：A-D，A-B，A-C，B-C，B-D，C-D原则：A-C，D-C，B-C原则：A-C，B-D原则：C为逻辑0y2y1010CB1AD现态次态/输出X=0X=10010/000/10101/000/11011/000/01101/000/0得二进制状态表现在学习的是第36页，共45页n该过程就是在已知输入条件、现态、次态和输出的情况下，求出激励函数(即控制函数)表达式和输出函数表达式。n该过程需借助触发器的激励表(即从现态到次态的激励条件)。n若指定触发器作为存储单元来设计电路时，一般可采用表格法来确定激励函数表达式：n根据最小化二进制状态表和所选触发器的激励表，列出激励函数的真值表，经化简后求出激励函数的逻辑表达式。确定激励函数表达式和输出函数表达式现在学习的是第37页，共45页n激励表：确定激励函数表达式和输出函数表达式QQn+1R SJ KDT00d 00 d00010 11 d11101 0d 101110 dd 010现在学习的是第38页，共45页neg1.若选用D触发器，试求下列二进制状态表的激励函数和输出函数表达式确定激励函数表达式和输出函数表达式现态y2y1次态/输出X=0X=10010/001/00100/000/11101/110/11000/111/1xy2y1y2n+1y1n+1D2D1Z0001010000100000011010110100000110001010101000011111010111011111QQn+1D000011100111列出激励函数的真值表现在学习的是第39页，共45页确定激励函数表达式和输出函数表达式1111010110100000y2x111110101011100001010100100000110101000001001010ZD1D2y1n+1y2n+1y1D2D1Z110010001010110100y2y1x100110100010110100y2y1x111011100010110100y2y1x+=+=+=1212111222xyyZyyxyxDyyxxyD现在学习的是第40页，共45页neg2.若选用JK触发器，试求下列二进制状态表的激励函数和输出函数表达式确定激励函数表达式和输出函数表达式y2y1y2n+1 y1n+1/ZX=0X=10011/001/00100/000/11100/110/11001/011/0 xy2y1y2n+1y1n+1J2K2J1K1Z000111d1d0001000dd1001100d1d1101001d11d0100010d1d0101000dd1111110d0d1111011d01d0QQn+1JK000d011d10d111d0列出激励函数的真值表现在学习的是第41页，共45页确定激励函数表达式和输出函数表达式y2y1x00011110010dd100ddy2y1x000111100dd111dd00y2y1x000111100001010110 xy2y1y2n+1y1n+1J2K2J1K1Z000111d1d0001000dd1001100d1d1101001d11d0100010d1d0101000dd1111110d0d1111011d01d0y2y1x0001111001dd111dd1y2y1x000111100d11d1d11dK2J1ZJ2K1现在学习的是第42页，共45页画出逻辑电路图n根据激励函数表达式和输出函数表达式，画出逻辑电路图。n一般先画触发器，再画组合电路部分。现在学习的是第43页，共45页n目的：检验电路是否会挂起及是否会产生错误输出n原因：编码后的状态数N不一定等于2n个可能存在(2n-N)个多余状态(即无效状态)电路因某种原因陷入无效状态须对无效状态进行检验：n无效状态在输入信号和时钟信号作用下是否会“挂起”，若会，则须消除，使之具有自恢复功能；n无效状态在输入信号和时钟信号作用下是否会产生错误的输出信号，若会，则须消除。检验无效状态现在学习的是第44页，共45页n检验方法：将无效状态的二进制编码代入电路的次态方程和输出方程，并用状态图或状态表加以判别。n消除方法：修改激励函数表达式或输出函数表达式。(在画卡诺圈时注意无关最小项的取舍)检验无效状态现在学习的是第45页，共45页