同步时序逻辑电路.pptVIP

ABDC0101y2y1A:B:C:D:y2y10 01 00 11 1由规则(1)得A和B,A和C应相邻；由规则(2)得C和D,C和A,B和D,A和B应相邻；由规则(3)得A,B,C三者应相邻,即A和B,A和C,B和C应相邻；由规则(4)得A分配为逻辑0。最后我们可以得到二进制状态表现态y2y1次态y2(n+1)y1(n+1)/输出x=0x=10 00 11 11 001/010/000/101/011/011/010/100/0注意：有时满足分配原则的分配方案不唯一，这时可任选一种。现态次态/输出x=0x=1ABCDC/0C/0B/0A/1D/0A/0D/0B/1解：A和B，C和D的输出完全相等；C和D在输入的各种取值组合下，次态相同，因此C和D等效；最大等效类为{A}，{B}，{C,D},分别用A,B,C表示；A和B在x=1时的次态不满足四条件之一，因此A和B不等效;现态次态/输出x=0x=1ABCDA/0A/0A/0A/0B/0C/0D/1D/1最小化状态表为：现态次态/输出x=0x=1ABCA/0A/0A/0B/0C/0C/1现态次态/输出x=0x=1ABCDA/0A/0A/0A/0B/0C/0D/1D/11.隐含表法化简例：简化下表所示的状态表现态次态/输出x=0x=1ABCDEFGC/0F/0D/0D/1C/0D/0C/1B/1A/1G/0E/0E/1G/0D/0解：作隐含表顺序比较，寻找等效状态对状态对等效，打“√”；状态对不等效，打“╳”；状态对是否等效需进 一步检查，则标记次态对。ABCDEFGFEDCBCFBEAECFCDDE现态次态/输出x=0x=1ABCDEFGC/0F/0D/0D/1C/0D/0C/1B/1A/1G/0E/0E/1G/0D/0ABCDEFGFEDCBCFBEAECFCDDE处于循环链中的每一个状态对都是等效状态对,一共四个等效对(A,B),(A,E),(B,E),(C,F)。关联比较，确定等效状态对AE→BE→CF√AB→CF√现态次态/输出x=0x=1abcdb/0c/0c/1b/1a/1d/0a/0c/0确定最大等效类，作最小化状态表:四个等效对(A,B),(A,E),(B,E),(C,F)四个最大等效类(A,B,E),(C,F),(D),(G)令以上四个最大等效类依次为a,b,c,d.现态次态/输出x=0x=1ABCDEFGC/0F/0D/0D/1C/0D/0C/1B/1A/1G/0E/0E/1G/0D/0二、不完全确定状态表的简化不完全确定状态表：状态表中存在不确定的次态或输出，这些不确定的次态或输出将有利于状态简化。相容状态：设状态S1和S2是不完全确定状态表中 的两个状态，如果对于所有的有效输入序列，分别从状态S1和S2出发，所得到的输出响应序列(除不确定的那些位之外)是完全相同的，那么状态S1和S2是相容的，或者说状 态S1和S2是相容对，记作(S1,S2)。相容状态可以合并。例:设计一个“1111”序列检测器，使其成为爆炸装置的引爆控制器。假定工作条件为：平时无1输入，Z一直处于0状态；当连续输入4个1时（不允许出现0），Z=1引爆，整个装置不存在。ADBC1/01/01/00/00/d0/d0/d1/1dddd现态次态/输出x=0x=1ABCDA/0d/dd/dd/dB/0C/0D/0d/1相容状态无传递性：SiSj1/10/00/00/0Sk0/0Sl1/01/dSi和Sj相容；Sj和Sk相容；但Si和Sk不相容。最大相容类：不被其它相容类所包含的相容类相容类：彼此相容的状态集合判别方法： 在不完全确定状态表中判断两个状态是否相容也是根据表中给出的次态和输出来决定的。假定状态Si和Sj是不完全确定状态表中的两个现态，那么状态Si和Sj相容的条件可归纳为