复旦微电子数字电路第4章 同时序电路.ppt

数字逻辑基础 本章要求： 掌握同步时序电路的基本分析过程 掌握同步时序电路的设计原理 掌握状态表的化简过程 4.1 时序电路的描述 同步时序电路和异步时序电路 同步时序电路：记忆电路一般由触发器构成，记忆电路中所有触发器状态的变化都是在同一时钟信号操作下同时发生的。触发器的时钟信号不计在输入之内。 异步时序电路：记忆电路可以由触发器构成，也可以由组合电路的反馈构成。记忆电路状态的变化不是同时发生的，可能有公共的时钟信号，也可能没有公共的时钟信号。 现态与次态概念 时序电路的状态方程与输出方程 米利模型和摩尔模型 状态转换表 状态转换图 状态转换图的特点 状态转换图中每个状态射出的状态转换线的根数同系统输入的组合数相同，转换条件包含了所有的输入组合。例如某系统输入组合有3种：00、01和10，则无论哪个模型，每个状态射出的状态转换线都是3根，分别对应3个输入组合。这个特点常常被用来检查状态转换图的正确性。 摩尔模型的状态数通常大于米利模型的状态数。形成这个特点的原因是由于米利模型中一个状态可以对应多个输出，而摩尔模型一个状态只能对应一个输出。 分析2： 输出：设Z1 =1→输出饮料；Z2 =1→输出找零。所有的输出情况为Z1Z2 = 00、Z1Z2 = 10、Z1Z2 = 11。 输入：当前投入的币值，X1X2 = 00、币值为0；X1X2 = 01、币值为5角；X1X2 = 10、币值为1元。 状态：记录已经投入的币值，S0＝0、 S1 ＝5角、S2 ＝1元、S2 ＝1.5元、S2 ＝2元。 两种基本模型的相互转换 1、摩尔模型转换为米利模型 将摩尔模型状态转换表的最后一列输出去掉。 在每个次态后面加上“/输出”。其中的输出对应于该次态在原模型中的输出。 观察修改后的状态转换表，合并相同的状态。 2、米利模型转换为摩尔模型 输出同类状态： 所有指向某个状态的状态转换线都具有相同的输出。 这种类型的状态，次态和输出是统一的，所以只要将所有指向这个状态的状态转换线上的输出改写到表示状态的圆圈中，就可以将米利模型转换为摩尔模型。 输出非同类状态： 指向某个状态的状态转换线具有几个不同的输出。 显然这个状态转换成摩尔模型后将对应几个状态，所以按照下列步骤改画这种类型的状态：一、将此状态分成几个新状态。每个新状态对应一个输出，写在表示新状态的圆圈中。二、按照不同的输出，将原来的状态转换线分别改画成指向具有对应输出的新状态。 三、原来从输出非同类状态出发的所有状态转换线，都应该在每个新状态中重新画出来，并且它们的目的状态应该与原来的相同。 4.2 同步时序电路的分析 根据给定的电路，确定电路的类型。列出触发器的激励方程。 将激励方程代入触发器的特征方程，写出电路的状态方程。同时写出电路的输出方程。 由状态方程和输出方程，列出电路的状态转换表或状态转换图。 分析电路的状态转换表或状态转换图，得到电路的功能表示或者相应的时序图。如果已知电路的功能，可以通过这一步的分析，验证电路功能的正确性。 例1 例2 例3 例4 串行加法器 常见的同步时序电路分析 4.3 同步时序电路设计 设计一个同步时序电路的一般步骤 确定采用何种模型 状态转换表或状态转换图 化简冗余状态 状态编码 确定触发器类型，状态激励表 触发器的激励方程，电路的输出方程 最终的逻辑电路图 例1：设计101序列检测电路 例2：设计8进制计数器 带有冗余状态的同步时序电路设计 例1：自动售饮料机 例2：五进制计数器 冗余状态的处理规则 例：十进制计数器问题 用算法状态机方法设计同步时序电路 例：反应时间测试电路 状态分配 4.4 时序电路的状态化简一、完全描述状态表的化简 二、不完全描述状态表的化简 000 111 S7 000 110 S6 000 101 S5 000 100 S4 100 011 S3 011 010 S2 010 001 S1 001 000 S0 Q2(n+1)Q1(n+1)Q0(n+1) Q2Q1Q0 现态 为了避免出现自启动问题，在开始设计时将冗余状态指向S0 卡诺图中红色的0是原来设计的冗余项。但是按照原来的设计，卡诺圈太小。所以可以修改设计，按照上图加大卡诺圈（蓝色），相当于改变次态，仍然满足自启动要求。 如果问题要求所有冗余状态都具有特定的输出和次态，则在开始进行设计时，除了明确不可能出现的状态以外，应该将所有的冗余状态的输出和次态考虑在状态转换表或状态转换图中。这样得到的设计可以满足问题的原始要求。 如果问题只要求满足自启动条件，则可以以任意项方式处理冗余状态，但是最后要进行自启动检查。 也可以以确定方式处理冗余状态，但可能得到的结果不是比较好的结果，所以应该进行优化检查