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

Exp1: sequence-detector design Design a “110” sequence-detector. when serial input binary number include continuous “110” sequence, the circuit output 1. synthsis by D flip-flops. that is input P： output C： solution 1：Moore machine （1）input and output variable input：P（每次给电路送一个二进制数码） output：C（表明检测的结果，1位） state： 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 first input Exp1: sequence-detector design 定义状态： S0—收到的是0 S1—收到的是1 S2—收到连续的11 S3—收到连续的110 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 P： C： 目标：检测110 S P C 0 1 S0 S0 S1 0 S1 S0 S2 0 S2 S3 S2 0 S3 S0 S1 1 S* state/output table （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的值作为输入，建立卡诺图，推导激励方程。 1 0 1 0 1 0 0 0 P Q1Q0 Q1 Q0 D1 0 1 0 1 1 0 0 0 P Q1Q0 Q1 Q0 D0 D1=Q1·Q0’+Q1’·Q0·P D0=Q1·Q0’·P+Q1’·Q0’·P+Q1·Q0·P （7）导出输出方程 从转移/输出表得 C=Q1·Q0 Q1Q0 P C 0 1 00 00 01 0 01 00 10 0 10 11 10 0 11 00 01 1 Q1*Q0* 思考：若状态赋值时，采用gray码顺序给各状态赋值，则电路是怎样的？ 解（二）：建立Mealy型的同步时序状态机 （1）定义状态 S0—收到的是0，C=0S1—收到的是1，C=0 S2—收到连续的11 ，C=0 S3—收到连续的110，C=1 （2）建立状态/输出表 S P 0 1 S0 S0，0 S1，0 S1 S0，0 S2，0 S2 S3，1 S2，0 S3 S0，0 S1，0 S*，C （3）最小化状态个数 S0和S3是等价状态，消去S3，得简化的状态/输出表 S P 0 1 S0 S0，0 S1，0 S1 S0，0 S2，0 S2 S3，1 S2，0 S3 S0，0 S1，0 S*，C S0 （4）状态的赋值所需触发器个数： 命名Q1、Q0Q1Q0=00，01，10，11 S=S0，S1，S2任选其中3个分配给已知状态。如，S0 — 00，S1 —01，S2 — 11Q1Q0=10，是未用状态 Q1Q0 P 0 1 00 00，0 01，0 01 00，0 11，0 11 00，1 11，0 10 ？ ？ Q1*Q0*，C 建立转移/输出表 对未用状态的处理 Q1Q0 P 0 1 00 00，0 01，0 01 00，0 11，0 11 00，1 11，0 10 00，0 00，0 Q1*Q0*，C Q1Q0 P 0 1 00 00，0 01，0 01 00，0 11，0 11 00，1 11，0