电子科技大学数字逻辑设计及应用课件 第七章（4）.4.ppt

第7章 时序逻辑设计原理 锁存器和触发器 同步时序分析 同步时序设计 触发器的特征方程 J-K触发器 时序逻辑电路结构 例：时钟同步状态机 说 明 可以给每个状态命名 通常用S表示当前状态，S*表示下一状态 练习：同步时钟状态机分析 练习1 练习2 * * 数字逻辑设计及应用 S-R触发器 Q* = S+ R’·Q S·R=0（约束条件） J-K触发器 Q* = J·Q’ + K’·Q D触发器 Q* = D 有使能端得D触发器：Q* = EN·D + EN’·Q T触发器 Q* = Q’ 有使能端的T触发器：Q* = EN·Q’ + EN’·Q 0 0 0 1 1 0 1 1 J K 维持 清 0 置 1 翻转 Q* 功能表 特征方程 Q* = J·Q’ + K’·Q 状态图 0 1 J=1,K=X J=X,K=1 J=X K=0 J=0 K=X ——状态机结构 下一 状态 逻辑 F 状态 存储器 时钟 输出 逻辑 G 输入 输出 时钟 信号 激励 当前状态 激励方程（驱动方程） 状态方程（转移方程） 输出方程 组合逻辑 下一 状态 逻辑 F 状态 存储器 时钟 输出 逻辑 G 输入 输出 时钟 信号 激励 当前状态 Moore机：输出只与状态有关 Mealy机：输出取决于状态和输入 下一 状态 逻辑 F 状态 存储器 时钟 输出 逻辑 G 输入 输出 时钟 信号 激励 当前状态 输出 流水线 存储器 时钟 输出 EN EN’ Q0 Q0’ Q1 Q1’ EN MAX Q0 Q1 CLK D0 D1 当前状态 激励 输出 时钟信号 下一状态逻辑 产生激励信号 状态存储器 输出逻辑 输入 EN EN’ Q0 Q0’ Q1 Q1’ EN MAX Q0 Q1 CLK D0 D1 1、由电路得到激励方程：D0 = … D1 = … 2、由电路得到输出方程：MAX = … 3、由激励方程和触发器特征方程得到状态转移方程 Q1* = … Q0* = … 4、由转移方程和输出方程得到状态/输出表 输入 状态 下一状态 输出 组合 Q1Q0 Q1*Q0* MAX 5、画状态图 当前 状态 下一 状态 输入＝ … 输出＝ … 6、画时序图（可选） 分析逻辑功能 转移表 状态表 状态/输出表 具有使能端EN的2位二进制加法计数器 EN EN’ Q0 Q0’ Q1 Q1’ EN MAX Q0 Q1 CLK D0 D1 Mealy机 Moore机 MAXS MAXS =Q1·Q0 MAX = EN·Q1·Q0 Mealy机 具有使能端EN的2位二进制加法计数器 具有使能端EN的2位二进制加法计数器 Moore 机 Mealy 机 S*/MAX 或 S*,MAX Moore机 Mealy机 MAX MAXS CP X Y J Q CLK K Q J Q CLK K Q Y = X· Q2 · Q1 J1 = (X’· Q2’)’ K1 = (X· Q2’)’ J2 = X’· Q1 K2 = (X’· Q1’)’ 1、由电路得到激励方程 2、由电路得到输出方程 FF1 FF2 = X+Q2 Q2* = J2· Q2’ + K2’· Q2 Q1* = Q2·Q1’ + X·Q1’ + X·Q2’·Q1 Q2* = X’· Q1· Q2’ + X’· Q1’· Q2 Y = X· Q2 · Q1 J1 = (X’· Q2’)’ K1 = (X· Q2’)’ J2 = X’· Q1 K2 = (X’· Q1’)’ 1、由电路得到激励方程 2、由电路得到输出方程 = X+Q2 3、得到状态转换方程 J-K触发器特征方程为：Q* = J·Q’ + K’·Q Q1* = J1· Q1’ + K1’· Q1 = (X+Q2)· Q1’ + X· Q2’· Q1 = Q2·Q1’ + X·Q1’ + X·Q2’·Q1 = X’· Q1· Q2’ + X’· Q1’· Q2 4、由状态方程和输出方程列状态转换表 Q1* = Q2·Q1’ + X·Q1’ + X·Q2’·Q1 Q2* = X’· Q1· Q2’ + X’· Q1’· Q2 Y = X· Q2 · Q1 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 状态转换表 X