第7章 时序II.pptxVIP

第七章 时序电路II7.3状态机的设计 给定状态图（表），就可以设计出电路如何由实际问题得到状态图？实际问题?原始的状态转换图和（或）状态转换/输出表将原始状态图（表）进行化简，得到最简的状态图（表）“状态分配”或“状态编码”然后，用触发器进行设计即可状态机设计举例序列检测器的功能是：当电路输入给定序列时，电路输出“1”；其余情况下电路均输出“0”试设计一个“1111”序列检测器。允许序列重叠。 X1=000000000111110000, 允许序列重叠 Z2=000000000100010000, 不允许序列重叠逻辑抽象?原始状态图允许序列重叠1/0S0S10/0S0: 初态, 尚无”1”输入0/00/0S1: 已输入一个”1”1/00/0S2: 已输入两个”1”0/0S4S2S3: 已输入三个”1”1/01/1S31/1S4: 已输入四个”1”状态机设计-状态表原始状态表1/0S0S10/0Sn+1/Z0/00/01/00/00/0S4S21/01/1S31/1状态机设计-状态化简状态化简的意义 Sn+1/Z状态化简的原则：状态化简的原则I：当输入相同时，如果两个状态的次态和输出都相同，则这两个状态等价，这两个状态可合并S3、S4等价状态机设计-状态化简1/0S0S1从状态图上也可看出：S3、S4等价, 可合并0/00/00/01/00/00/0S4S21/01/1S31/1状态化简后的状态图、表 Sn+1/Z1/0S0S10/00/00/01/00/00/0S4S21/01/1S31/1S3/11/1状态分配（编码）确定触发器位数n：2n-1N=2n，N：状态数N=4 ? n=2，需两个触发器每个状态分配一组编码，有4！种分配方法分配简单，得到的驱动不一定简单分配原则：状态分配原则输入相同时，次态相同的状态应尽可能地安排“逻辑相邻”的代码输入“逻辑相邻”时，一个状态的次态也应尽量安排为“逻辑相邻”的代码输出相同的状态，应尽量安排为逻辑相邻的代码三项原则的优先顺序：以第1条为主，第2条为辅，然后再尽量兼顾第3条状态分配1. 输入相同时次态相同的状态应相邻：S2、S3应安排相邻编码 Sn+1/Z2. 输入相邻时次态相邻：S0、S1， S0、S2， S0、S3，应安排相邻编码3. 输出相同的状态相邻：S0、S1， S0、S2， S1、S2，应安排相邻编码S3/1状态分配1. 输入相同时次态相同的状态应相邻：S2、S3应安排相邻编码S2S3S2S0S12. 输入相邻时次态相邻：S0、S1， S0、S2， S0、S3，应安排相邻编码S33. 输出相同的状态相邻：S0、S1， S0、S2， S1、S2，应安排相邻编码S2S0S1状态分配S2S3综合考虑：S2S0S1S2S3S0S1S311S210S300S1S001S2S1需要两个触发器：Q0S0S1S2S3Q1状态分配状态分配状态机设计举例设计一个串行“8421”BCD码的误码检测器该检测器的功能是：“8421”BCD码以高位在先、低位在后的次序串行地加到电路的输入端电路每接收一组代码（4位二进制码），即在收到第4位（比特）代码时判断一下，如果这组代码不是“8421”BCD码，则电路的输出为“1”；否则电路的输出为“0”此后，电路继续接收第二组代码。相邻两组代码之间不重叠，也没有任何比特的空隙请建立该检测器的原始状态图和原始状态表并完成状态化简和状态编码“8421”BCD码误码检测器采用摩尔型电路初始状态S0S0/001S1/0S5/001xS2/0S6/0S7/0x01xS8/0S9/0S10/0S3/0xxxxS4/0S11/10101原始状态转换表SnSn+1ZSnSn+1ZX=0X=1X=0X=1S0S1S50S6S8S90S1S2S20S7S10S100S2S3S30S8S4S40S3S4S40S9S11S110S4S1S50S10S11S110S5S6S70S11S1S51状态化简状态的系统化简方法输入相同时，次态和输出相同的状态等价另外还有些其它等价情况状态不等价的充分必要条件如果两个状态在相同输入信号组合条件下的输出不同（米里型），则这两个状态肯定不等价如果两个状态下的输出不同（摩尔型），则这两个状态肯定不等价原状态对，次状态对要判断二者是否等价的两个状态称为原状态对原状态对在输入相同时所对应的次态对，称为次状态对它们是否等价？S0/001又称隐含状态对S1/0原状态对S2/00101S3/0S4/0S5/0S6/001010101S7/0S8/0S9/0S10/0S11/0S12/0S13/0S14/0xxxxxxxxn位输入时，一个原状态对有2n个次状态对S15/0S16/10101状态等价的情况 I米里型如果原状态对的