第七章 时序逻辑设计原理.ppt

例1、设计一个序列检测电路，当串行输入的二进制数码中有连续的字段1101时，则在收到最后一个1时，输出Z为1，其余为0。（设不允许交叠检测，选用D触发器综合） 分析： S0 S1 S11 S110 收到1个1 收到连续的11 收到连续的110 10 S1101 00 10 00 10 00 10 00 11 00 未收到连续的11时收到0 收到连续的1101 S X C 状态图中的等价状态的判断： 观察是否有两个状态的离开弧线有相同的转移表达式并值相同一个状态，如果是，则两个状态是等价状态。 本例中S0和S1101是等价状态。 状态赋值并建立转移/输出表及激励表： Q1Q2 X 0 1 00 00，0 01，0 01 00，0 11，0 11 10，0 11，0 10 00，0 00，1 Q1*Q2*，C Q1Q2 X 0 1 00 00，0 01，0 01 00，0 11，0 11 10，0 11，0 10 00，0 00，1 D1D2，C S0 S1 S11 S110 激励方程： D1=Q1·Q0+Q0·X D2=Q1’·X+Q0·X 输出方程： Z=Q1·Q0’·X 例2、雷鸟车尾灯的状态机 输入：L（LEFT）、R（RIGHT）、H（HAZ） 输出：LA、LB、LC、RA、RB、RC 电路的工作： 输入L — LA、LB、LC依次点亮，且先亮的灯保持； 输入R — RA、RB、RC依次点亮，且先亮的灯保持； 输入H — 六个灯同时亮 无输入时，六个灯不亮 定义状态： L1 LA亮 L2 LA、LB亮 L3 LA、LB、LC亮 R1 RA亮 R2 RA、RB亮 R3 RA、RB、RC亮 LR3 六个灯同时亮 IDLE 六个灯不亮 LA LB LC RA RB RC 建立状态图 IDLE LR3 L1 L3 L2 R1 R3 R2 H=1 L=1 1 1 1 R=1 1 1 1 该状态图存在不完备性。考虑如下： 1 H’L’R’ 输入 S H L R S* IDLE 1 × × LR3 IDLE × 1 1 LR3 IDLE 0 1 0 L1 IDLE 0 0 1 R1 IDLE 0 0 0 IDLE IDLE LR3 L1 L3 L2 R1 R3 R2 H+LR H’LR’ 1 1 1 H’L’R 1 1 1 正确的状态图 1 H’L’R’ IDLE LR3 L1 L3 L2 R1 R3 R2 H+LR H’LR’ H’ H’ 1 H’L’R 1 H’ H’ 改进的状态图 1 H’L’R’ H H H H 状态赋值 共8个状态，需触发器3个，定义状态变量Q0、Q1、Q2。 赋值：S — IDLE L1 L2 L3 R1 R2 R3 LR3 Q2Q1Q0 — 000 001 011 010 101 111 110 100 根据状态图中的转移表达式建立转移列表（p.427 表7-17） 推导转移方程：转移列表视为真值表，其中，当前态Q2、Q1、Q0和转移表达式作为输入，次态Q2*、Q1*、Q0*作为输出。 课堂练习 已知某同步时序电路的转移方程、输出方程如下，请写出其转移/输出表，并画出状态图，试说明其功能。状态变量赋值按Q1Q0=00、01、10、11。 Q1*=X’·Q0·Q1’+X’·Q1 Q0*=X’·Q0’+X’·Q1·Q0 Y=Q0·Q1 （2）最小化状态的个数 （3）状态的分配（状态的赋值） n个状态变量 2n个状态。 S个状态需（？）个状态变量（触发器）来表达 需要触发器：m=2，令为Q0、Q1 分配状态变量组合给已命名的状态： S：S0 S1 S2 S3 Q1Q0：00 01 10 11 （4）建立转移/输出表 用已赋值的状态变量代替状态/输出表中的状态名 Q1Q0 P C 0 1 00 00 01 0 01 00 10 0 10 11 10 0 11 00 01 1 Q1*Q0* S0 S1 S2 S3 （5）选择触发器并构建激励表（用于建立次态逻辑电路） 此处选择D触发器 Q1Q0 P C 0 1 00 00 01 0 01 00 10 0 10 11 10 0 11 00 01 1 D1D0 Q Q* D 0 0 0 0 1 1 1 0 0 1 1 1 Q D Q* 0 0 0 0 1 1 1 0 0 1 1 1 功能表 应用表 激励表 应用方程：D=Q* 代入转移/输出表 （6）导出激励方程：由激励表，以Di的值作为输出，Q1、Q0、P的值作为输入，建立卡诺图，推导激励方程。