课件下载地址: http://gr.xjtu.edu.cn/web/chaozhang Addr: 西一楼327室 (进门正前方，铁皮柜后) Email: chaozhang@mail.xjtu.edu.cn 可讨论问题=问考试题+问成绩.

Presentation on theme: "课件下载地址: http://gr.xjtu.edu.cn/web/chaozhang Addr: 西一楼327室 (进门正前方，铁皮柜后) Email: chaozhang@mail.xjtu.edu.cn 可讨论问题=问考试题+问成绩."— Presentation transcript:

1 课件下载地址: Addr: 西一楼327室 (进门正前方，铁皮柜后) 可讨论问题=问考试题+问成绩

2 第八章 数字系统设计 Digital System Design
组合逻辑电路和时序逻辑电路只能完成某些特定的逻辑功能，属功能部件级。电路分析和设计是建立在真值表、卡诺图、逻辑方程式、状态表和状态图的工具基础上，主要依赖于设计者的的熟练技巧和经验，称“凑试法” 。 若由功能部件级组成一个功能复杂、规模较大的数字系统时，虽然在理论上仍可以把它看成是一个大型时序逻辑电路，仍可以采用凑试法，但实际实现上很难、甚至无法达到完整地描述其逻辑功能。 因为这种设计方法：原始、受限制最多、效率与效果均欠佳、局限性大。要用方框图、定时图、逻辑流程图、ASM图等系统描述工具。

3 对数字系统进行分析和设计时，通常把系统从逻辑上划分成控制单元CU和信息处理单元两大部分。其中：
信息处理单元对信息进行不同的处理和传递， 控制单元保证信息处理单元按规定的微操作序列处理数据。 控制单元——不断生成和发送控制信号序列，控制信息处理单元不断地执行特定的操作； ——接收来自信息处理单元的状态信息，用以选择下一个需执行的操作。 ——接收外来的控制信息，用以改变正在执行的操作序列。 控制单元是区别数字系统与功能部件的标志。

4 8.1 数字系统的基本模型 数字逻辑系统 控制单元 信息处理单元 外部输入的控制信号 输入接口 外部输出的控制信号 输出接口 时钟 输入接口
8.1 数字系统的基本模型 控制单元 控制信号 状态信号 控制流 数据流 数字逻辑系统 信息处理单元 外部输入的控制信号 输入接口 外部输出的控制信号 输出接口 时钟 输入接口 输入信息 输出信息 输出接口

5 8.1.1 信息处理单元的构成 τ1 τm x1 xk z1 zk 组合逻辑网络 τ1 τm τ Q1 Qm ••• ••• 控制网络 S
信息处理单元的构成 通用寄存器 专用寄存器 存储器 Q1 τ1 内部寄存器组 数据通路： 总线结构 专用线 Qm τm ••• x1 xk 输入信息 z1 zk 输出信息 组合逻辑网络 状态信息 S 控制网络 τ1 τm ••• τ 传送脉冲 控制信号 C 有P位，表示可执行的P种基本操作，且可并行、或互斥 有 R位，表示执行时的R 种状态

6 8.1.2 控制单元CU的构成 将数字系统执行的复杂任务转化成一个操作和测试序列，称为“算法”。
用控制单元产生与操作序列相对应的控制信号序列，每一个控制信号控制信息处理单元执行与算法相关的一个操作。所以，控制单元的基本功能具体上是对指令流和数据流实施时间上和空间上的正确的控制。 组合逻辑网络 Q 状态 寄存器 算法的现态 算法的次态 外部输入控制信息 外部输出控制信息 S C τ y Y

7 控制单元CU的构成 控制单元的核心是时序电路，本质上是一个状态寄存器。状态寄存器主要有两个功能——寄存控制单元的现态，生成次态。采用触发器作为状态寄存器的元件。 存在着两种不同的控制单元实现方法： 硬件逻辑方法——用逻辑电路生成每一个微操作的控制信号；特点：速度高、动一发而动全身。 微程序方法——计算机的每一条指令的功能通过执行一个微指令序列(微程序)来实现的。设计好的微程序被固化在只读存储器中，这个存储器称为控制存储器。特点：速度低、但设计、修改及扩充容易。 显然，采用不同的实现方法，将影响控制单元的组成和结构。在现代计算机控制器中，常常两者混用。

8 数字系统逻辑设计的基本步骤 第一步：确定系统的逻辑功能。 设计者应对系统仔细分析、消化和理解，逐步明确其逻辑功能，输入、输出信号等内容。
第二步：确定系统方案。 这是设计工作中最困难、最有创造性的工作，设计者根据设计要求分析、推演出信息处理的基本原理和可供选择的结构形式，因为可以采用不同的原理和方法实现某一逻辑功能。为此设计者要进行认真的比较和权衡，从中选取较为满意的方案。 第三步：对系统进行逻辑划分。 将系统按信息处理单元和控制单元划分为两大部分，列出信息处理单元的说明，并用流程图等方法描述信息处理的算法（即控制单元的逻辑要求）。每个部分应具备基本独立的逻辑功能。逻辑划分和确定系统方案的过程要同时进行、相辅相成。

9 数字系统设计的基本步骤 第四步：设计信息处理单元和控制单元。 定义要求信息处理单元必须执行的处理和操作，列出操作表；
提出实现的算法，确定控制单元必须保存的、或产生的状态及状态之间的转换关系； 由系统的控制状态、信息处理单元产生的状态信息和要求生成的控制信号建立控制单元的状态转换表； 根据信息处理单元的操作表和状态信息、 控制单元的状态转换表，进行逻辑设计 。 选择逻辑功能部件，如SSI、MSI、LSI等，进行合理连接，构成严格能协调工作的系统。

10 结构化设计——系统结构清晰和易理解性，易构思设计等
数字系统设计的描述工具 方框图 设计系统首先应当建立模型，方框图是描述模型最常用、最重要的工具。 方框图不涉及过多的技术细节，直观易懂，具有： 结构化设计——系统结构清晰和易理解性，易构思设计等 在方框图中， 每一个方框定义了一个信息处理、存储或传递的子系统（或模块）； 方框内用文字、表达式、例行符号、图形表示该模块的名称或主要功能； 方框之间用指向线相连，表示模块之间的数据流或信息流的信息通道及方向，连线旁的文字或符号是通道的名称、功能或信息类型。 方框图的设计过程：自顶而下、逐步细化。

11 例 一个智能仪表的方框图。 分解 (a) (b) 再分解 细化 (d) (c) 输入 输出 C 系统 ••• 输 入 输 出 输入/输出接口
例 一个智能仪表的方框图。 (b) 数据采集 数据处理 数据显示 数据打印 控制器 输入 输出 C 系统 ••• 输 入 输 出 分解 (a) 输入/输出接口 M寄存器 A寄存器 ALU C (d) 再分解 细化 数据采集 数据处理 数据显示 数据打印 控制器 输入 输出 (c) C

12 上例设计的这种结构框图，其任何一处的功能修改和扩充均涉及全局，而且总控制器的设计将十分复杂。
若采用总线结构，则该智能仪表的方框图如下： Data BUS Add BUS Contl BUS 输入接口 微处理器 存储器 输出接口 数据采集模块 显示器 打印机 数据 同一种功能的数字系统，可以设计出不同的结构，在总体结构设计中，任何设计优化的考虑都要比物理实现阶段中的技术优化产生大得多的效益，这是系统设计过程中最具创造性的工作。

13 8.2 数字系统设计的描述工具 8.2.2 定时图 (时序图、时间关系图)
数字系统设计的描述工具 定时图 (时序图、时间关系图) 在数字系统中，信息的传送、处理或存储都是在特定时间意义上的操作，是按照严格的时序进行协调和同步的。系统各模块之间，模块内部各功能部件之间、各功能部件内部的各逻辑门电路或触发器之间，输入信号、输出信号和控制信号的对应关系及特征，通常用时序图来描述。 时序图的描述也是一个逐步细化的过程。从描述系统输入、输出之间的定时关系的简单时序图开始，随著系统设计的不断深入，时序图将不断地反映新出现的系统内部信号的时序关系，直到最终一个完整的时序图。

14 例 交通灯控制系统 (a) 示意图 关注各信号：电平/脉冲、同步/异步 t1 t2 t3 t4 (c) 定时图 (b) 框图 N S E
例 交通灯控制系统 N S E W ET WT 灯 传感器 (a) 示意图 关注各信号：电平/脉冲、同步/异步 t1 t2 t3 t4 (c) 定时图 N/S Red N/S Yellow N/S Green E/W Red E/W Yellow E/W Green ET/WT 控制器 N S E W ET WT (b) 框图 固定的时间片

15 逻辑流程图 也称流程图，它用约定的几何图形(矩形、菱形、椭圆形等)、指向线和简练的文字说明，描述系统的基本工作过程。 逻辑流程图的描述对象是控制单元，并且以系统时钟来驱动整个流程。这一点与由事件驱动的软件流程图不同。 1、基本符号 用三种符号：矩形状态框、菱形判别框、椭圆形条件框。 功能说明或状态名 入口 出口 状态输出表 (a) 状态框 条件 入口 条件假出口 条件真出口 1 (b) 条件判别框 条件 条件假出口 入口 条件真出口 1 或 功能说明 入口 出口 条件输出表 (c) 条件输出框

16 1、基本符号 状态框表示系统必须具备的状态，判别框及条件输出框不表示状态，只表示某状态框在不同的输入条件下的分支出口及条件输出，即用一个状态框及若干个判别框或条件输出框，组成一个状态单元。 如果在某状态下的输出与输入无关，即 Moore 型输出，则该状态输出可标注在状态框旁的状态输出表中，且这个状态单元必定不包括条件输出框。 功能说明或状态名 入口 出口 状态输出表 z1 ↑, z2 ↓, z3 ↑↓ z1 ↑表示进入状态state，输出z1 有效。 z2 ↓表示进入状态state，输出z2 无效。 z3 ↑↓表示进入状态state，输出z3 有效， 并在退出状态state，输出z3 无效。

17 1、基本符号 如果在某状态下的输出与输入有关，即 Mealy 型输出，则该状态输出要标注在菱形判别框下的椭圆形条件框旁的状态输出表中。 功能说明或状态名 入口 状态输出表 z1 ↑, z2 ↓, z3 ↑↓ 条件 条件假出口 条件真出口 1 功能说明 出口 z1 ↑表示进入状态，z1 有效。 z2 ↓表示进入状态，z2 无效。 z3 ↑↓表示进入状态，z3 有效， 并在退出状态，z3 无效。

18 3、 逻辑流程图的应用 例 设计一个十字路口交通灯控制系统。
逻辑流程图的描述过程是一个逐步细化（深化）的过程。它既便于设计者发现和改进信息处理过程中的错误，又是后续电路设计的依据。 例 设计一个十字路口交通灯控制系统。 这个例子来自美国加洲美丽之城太阳谷Sunnyvale市， 其十字路口的交通灯控制器经过了仔细设计，以使得汽车在 十字路口的等待时间最小化。这个经市政部门认可的交通灯 管理系统，后应用于芝加哥。 该系统使用了一个 1Hz 的时钟和三个计数器，以及 4组传感装置，下面是示意图。

19 加洲太阳谷的一个十字路口的交通灯传感器和信号
NSCAR EWCAR N EWRED EWYELLOW EWGREEN NSRED NSYELLOW NSGREEN E 加洲太阳谷的一个十字路口的交通灯传感器和信号

20 例 设计一个十字路口交通灯控制系统。 设：东西道(EW)为主道，南北道(NS)为副道。 灯控信号 变量定义 若 EW及NS均有车，
例 设计一个十字路口交通灯控制系统。 设：东西道(EW)为主道，南北道(NS)为副道。 若 EW及NS均有车， 则 EW每次通行 60秒(绿灯)， NS每次通行40秒(绿灯)， EW、NS轮流放行； 若 仅有一个通道有车， 则禁止无车通道(红灯)； 若 两通道均无车， 则NS禁止， EW 放行； 若 通道转换时， 两通道均需停车3秒(黄灯)。 EWCAR NSCAR 交通灯 控制系统 灯控信号 框图 监测器输出 输出灯光信号 NSCAR EWCAR ( 由 ET、ST WT、NT 生成 ) NSRed NSGeen NSYellow EWRed EWGeen EWYellow 变量定义

21 例 设计一个十字路口交通灯控制系统。 设：东西道(EW)为主道，南北道(NS)为副道。 灯控信号 变量定义 若 EW及NS均有车，
例 设计一个十字路口交通灯控制系统。 设：东西道(EW)为主道，南北道(NS)为副道。 若 EW及NS均有车， 则 EW每次通行 60秒(绿灯)， NS每次通行40秒(绿灯)， EW、NS轮流放行； 若 仅有一个通道有车， 则禁止无车通道(红灯)； 若 两通道均无车， 则NS禁止， EW 放行； 若 通道转换时， 两通道均需停车3秒(黄灯)。 EWCAR NSCAR 交通灯 控制系统 灯控信号 框图 监测器输出 定时器输出 输出灯光信号 NSCAR EWCAR ( 由 ET、ST WT、NT 生成 ) TM60 TM40 TM3 (计数器的 进位输出) NSRed NSGeen NSYellow EWRed EWGeen EWYellow 变量定义

22 例 设计一个十字路口交通灯控制系统。 设：东西道(EW)为主道，南北道(NS)为副道。 灯控信号 变量定义 若 EW及NS均有车，
例 设计一个十字路口交通灯控制系统。 设：东西道(EW)为主道，南北道(NS)为副道。 若 EW及NS均有车， 则 EW每次通行 60秒(绿灯)， NS每次通行40秒(绿灯)， EW、NS轮流放行； 若 仅有一个通道有车， 则禁止无车通道(红灯)； 若 两通道均无车， 则NS禁止， EW 放行； 若 通道转换时， 两通道均需停车3秒(黄灯)。 EWCAR NSCAR 交通灯 控制系统 灯控信号 框图 监测器输出 定时器输出 定时器使能输入 输出灯光信号 NSCAR EWCAR ( 由 ET、ST WT、NT 生成 ) TM60 TM40 TM3 (计数器的 进位输出) ENTM60 ENTM40 ENTM3 NSRed NSGeen NSYellow EWRed EWGeen EWYellow 变量定义

23 系统配有三个3秒、40秒和60秒的定时器，如下： 模3 计数器 模40 模60 分频器 CLK CP（周期1秒） 进位输出信号
启动(使能)计数信号 定时器在系统中起到时间节拍指挥的作用，各部件均按照统一的时间节拍协调地工作。

24 十字路口交通灯控制器逻辑框图 若 EW及NS均有车，则EW每次通行 60秒(绿灯)， NS每次通行40秒(绿灯)，EW、NS轮流放行；
a. 粗框图 启动 东西道通行 南北道禁止 南北有车且东西无车或南北、东西均有车且达到60秒 1 南北停车 东西停车3秒 若 EW及NS均有车，则EW每次通行 60秒(绿灯)， NS每次通行40秒(绿灯)，EW、NS轮流放行； 若 仅有一个通道有车，则禁止无车通道(红灯)； 若 两通道均无车，则NS禁止， EW 放行； 若 通道转换时，两通道均需停车3秒(黄灯)。 东西停车 南北停车3秒 东西道禁止 南北道通行 南北无车 或南北、东西均有车且达到40秒 1

25 十字路口交通灯控制器逻辑框图 a. 粗框图 启动 b. 细框图 东西道通行 南北道禁止 EWPASS,NSSTOP
南北有车且东西无车或南北、东西均有车且达到60秒 1 START 南北停车 东西停车3秒 EWPASS,NSSTOP NSCAR=1 EWCAR=1 60秒? 1 EWSTOP,NSPASS NSCAR=1 EWCAR=1 40秒? 1 东西停车 南北停车3秒 东西道禁止 南北道通行 南北无车 或南北、东西均有车且达到40秒 1 3秒? 1 EWHOLD,NSHOLD 3秒? EWHOLD,NSHOLD 1

26 十字路口交通灯控制器逻辑流程图 c. 标注输入输出及信号名的逻辑细框图（Moore型） EWPASS,NSSTOP TM60=1 1
START c. 标注输入输出及信号名的逻辑细框图（Moore型） EWPASS,NSSTOP NSCAR=1 EWCAR=1 TM60=1 1 EWRed ↓ EWGeen NSRed ENTM60 ↑ ↓ EWRed NSGreen ENTM40 ↑ ↓ EWSTOP,NSPASS NSCAR=1 EWCAR=1 TM40=1 1 TM3 =1 1 EWHOLD,NSHOLD EWYellow NSYellow ENTM3 ↑ ↓ TM3=1 EWHOLD,NSHOLD 1 EWYellow NSYellow ENTM3 ↑ ↓

27 3、 从状态图得到逻辑流程图 逻辑流程图上的一个状态框及若干个判别框或条件输出框所组成一个状态单元对应了状态图上的一个状态和它的输入输出。
如果某状态的输出与输入有关(Mealy型)，则逻辑流程图中对应的状态单元必定包括有条件输出框； 如果某状态的输出与输入无关(Moore型)，则逻辑流程图中对应的状态单元必定没有条件输出框。 C/1 A/0 B/0 D/1 1 Moore 型状态图 0/0 C A B D 1/0 1/1 0/1 Mealy 型状态图

28 ASM图 逻辑流程图是数字系统中使用得最广泛的一种非形式化的描述工具，但它的规范性不够。经过不断改进，将流程图改造成描述数字系统硬件的形式化工具 ——算法状态机图ASM (Algorithmic State Machine Charp)。 ASM图是形式化描述数字系统的流程图，是按照一组简单和明确的规则绘制的。在时序电路的ASM图中，每一个状态由一个ASM块来表示。一个ASM块是一种小型的符号化结构图形，由它指出了当前状态、它的输出和次态的条件。一个时序数字系统的所有状态的ASM块，按照一定的顺序联结成一个网状结构，由此产生的ASM图可用来精确地描述系统所具有的功能。

29 1、基本符号 一个ASM块至多包含三种不同类型的符号： 矩形状态框、菱形判别框和条件输出框。 注意图的标注（左边）与流程图的（右边）不同。
入口 出口 状态输出表 (a) ASM的状态框 状态名 状态编码 功能说明或状态名 入口 出口 状态输出表 (a) 流程图的状态框 其中：状态编码为该状态下的触发器值。

30 1、基本符号 一个ASM块至多包含三种不同类型的符号： 矩形状态框、菱形判别框和条件输出框。 注意图的标注与流程图的不同。
入口 条件假出口 条件真出口 1 (b) ASM的判别框 条件 条件假出口 入口 条件真出口 1 或 (b) 流程图的条件判别框 其中：框内的输入条件为布尔表达式。

31 1、基本符号 一个ASM块至多包含三种不同类型的符号： 矩形状态框、菱形判别框和条件输出框。 注意图的标注与流程图的不同。
功能说明 入口 出口 条件输出表 (c) 条件输出框 条件输出表 入口 出口 (c) 条件输出框 条件输出框的输入总是来自判别框，由这个判别框给出了输出所需要的条件，即在某一状态下，某个输出变量是输入变量的函数，就在条件输出框中填入条件满足时产生的输出。

32 2、由逻辑流程图转换成ASM图 ASM图可以直接送入计算机辅助逻辑设计系统，由该系统自动完成控制单元的设计。
在ASM图中，所有的当前状态下的Moore型有效输出都应列在状态框内； 所有的当前状态下的满足输入条件的Mealy型有效输出都应列在条件输出框内。

33 十字路口交通灯控制器ASM图 EWPASS,NSSTOP TM60=1 1 TM3=1 EWHOLD,NSHOLD EWYellow
START EWPASS,NSSTOP NSCAR=1 EWCAR=1 TM60=1 1 TM3=1 EWHOLD,NSHOLD EWYellow NSYellow ENTM3 ↑ ↓ EWRed ↓ EWGeen NSRed ENTM60 NSCAR EWCAR 1 EWGeen NSRed,ENTM60 00 A TM60 TM3 1 NSYellow EWYellow,ENTM3 B 01

34 十字路口交通灯控制器ASM图 1 NSGreen EWRed, ENTM40 11 C EWSTOP,NSPASS TM40=1 1
NSCAR EWCAR TM40 1 NSGreen EWRed, ENTM40 11 C EWSTOP,NSPASS NSCAR=1 EWCAR=1 TM40=1 1 EWRed NSGreen ENTM40 ↑ ↓ TM3=1 EWHOLD,NSHOLD EWYellow NSYellow ENTM3 TM3 1 EWYellow NSYellow, ENTM3 10 D

35 十字路口交通灯控制器ASM图 1 EWGeen NSRed,ENTM60 00 A 1 NSGreen EWRed, ENTM40 11 C
NSCAR EWCAR 1 EWGeen NSRed,ENTM60 00 A TM60 NSCAR EWCAR TM40 1 NSGreen EWRed, ENTM40 11 C TM3 1 NSYellow EWYellow,ENTM3 B 01 TM3 1 EWYellow NSYellow, ENTM3 10 D

36 3、应用ASM图进行数字系统中控制器的设计
主要步骤： （1）按设计要求写出问题说明。 （2）定义输入、输出信号并用助记符表示。 （3）将问题说明转换成详细逻辑流程图。 （4）将详细逻辑流程图转换成ASM图。 （5）从ASM图得到状态转换表。 （6）由状态转换表得到次态方程式，从ASM图列 出输出函数表达式。 （7）按照次态方程式及输出函数表达式，画出控 制器逻辑电路图。

37 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 状态转换表达式 现态
NSCAR EWCAR 1 EWGeen NSRed,ENTM60 00 A TM60 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 现态 输 入 条 件 状态转换表达式 次态 S(A) NSCAR EWCAR TM60 Sn+1 Q1Q0

38 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 状态转换表达式 现态
NSCAR EWCAR 1 EWGeen NSRed,ENTM60 00 A TM60 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 现态 输 入 条 件 状态转换表达式 次态 S(A) NSCAR EWCAR TM60 Sn+1 Q1Q0 A

39 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 状态转换表达式 现态
NSCAR EWCAR 1 EWGeen NSRed,ENTM60 00 A TM60 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 现态 输 入 条 件 状态转换表达式 次态 S(A) NSCAR EWCAR TM60 Sn+1 Q1Q0 — A

40 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 状态转换表达式 现态
NSCAR EWCAR 1 EWGeen NSRed,ENTM60 00 A TM60 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 现态 输 入 条 件 状态转换表达式 次态 S(A) NSCAR EWCAR TM60 Sn+1 Q1Q0 — A

41 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 状态转换表达式 现态
NSCAR EWCAR 1 EWGeen NSRed,ENTM60 00 A TM60 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 现态 输 入 条 件 状态转换表达式 次态 S(A) NSCAR EWCAR TM60 Sn+1 Q1Q0 — A 1 NSCAR • EWCAR B NSCAR • EWCAR • TM60

42 4、状态转换表达式表 按照ASM图中的每一个ASM块中判别框和条件输出框内标注的有效输入，列出状态转换表达式表，如下： 状态转换表达式 现态
TM3 1 NSYellow EWYellow,ENTM3 B 01 C 现态 输 入 条 件 状态转换表达式 次态 S(B) TM 3 Sn+1 Q1Q0 B 1 C

43 4、状态转换表达式表 1 NSGreen EWRed, ENTM40 11 C EWYellow NSYellow, ENTM3 10 D
NSCAR EWCAR TM40 1 NSGreen EWRed, ENTM40 11 C TM3 EWYellow NSYellow, ENTM3 10 D A 4、状态转换表达式表 现态 输 入 条 件 状态转换表达式 次态 S NSCAR EWCAR TM40 TM3 Sn+1 Q1Q0 — D 1 NSCAR • EWCAR C NSCAR • EWCAR • TM60 TM 3 A

44 5、状态转换表 由状态转换表达式表合并成状态转换表，如下： 状态转换表达式 现态 输 入 条 件 次态 S Q1 Q0 转换条件表达式
入 条 件 状态转换表达式 次态 S(A) NSCAR EWCAR TM60 Sn+1 Q1Q0 — A 1 NSCAR • EWCAR B NSCAR • EWCAR • TM60 S Q1 Q0 转换条件表达式 Sn Q1n+1Q0n+1 A NSCAR A NSCAR•EWCAR B NSCAR•EWCAR•TM60

45 十字路口交通灯控制器状态转换表 S Q1 Q0 转换条件表达式 Sn Q1n+1Q0n+1 A NSCAR A NSCAR•EWCAR B NSCAR•EWCAR•TM60 B TM3 C C D NSCAR•EWCAR•TM40 D

46 十字路口交通灯控制器次态方程式 由于次态为 Sn+1 = S • (转换条件表达式)，由前表可得到次态方程式并化简为：
Q1n+1 = Q1•Q0•TM3 + Q1•Q0•NSCAR + Q1•Q0•NSCAR•EWCAR + Q1•Q0•NSCAR•EWCAR•TM40 + Q1•Q0•NSCAR•EWCAR•TM40 + Q1•Q0•TM3 = Q1•Q0•TM3 + Q1•Q0•NSCAR + Q1•Q0•NSCAR•EWCAR + Q1•Q0•NSCAR•EWCAR + Q1•Q0•TM3 = Q1•Q0•TM3 + Q1•Q0•NSCAR + Q1•Q0•NSCAR + Q1•Q0•TM3 = Q1•Q0•TM3 + Q1•Q0 + Q1•Q0•TM3 = Q1•Q0•TM3 + Q1•Q0 •TM3 + Q1•Q0 •TM3 + Q1•Q0•TM3 = Q0•TM3 + Q1•TM3 此方程也称为次态Qn+1的转移方程，包含有转换条件表达式。

47 由于次态为 Sn+1 =S•(转换条件表达式)，由前表可得到次态方程式： Q1n+1 = Q1•Q0•TM3 + Q1•Q0•NSCAR
十字路口交通灯控制器次态方程式 由于次态为 Sn+1 =S•(转换条件表达式)，由前表可得到次态方程式： Q1n+1 = Q1•Q0•TM3 + Q1•Q0•NSCAR + Q1•Q0•NSCAR•EWCAR + Q1•Q0•NSCAR•EWCAR•TM40 + Q1•Q0•NSCAR•EWCAR•TM40 + Q1•Q0•TM3 = Q0•TM3 + Q1•TM3 Q0n+1 = Q1•Q0• NSCAR•EWCAR + Q1•Q0•NSCAR • EWCAR •TM60 + Q1•Q0 •TM3 + Q1•Q0 •TM3

48 选用D触发器构成的控制系统，次态 Qn+1 =D 则可直接写出控制函数：
D1 = Q1•Q0•TM3 + Q1•Q0•NSCAR + Q1•Q0•NSCAR•EWCAR + Q1•Q0•NSCAR•EWCAR•TM40 + Q1•Q0•NSCAR•EWCAR•TM40 + Q1•Q0•TM3 = Q0•TM3 + Q1•TM3 D0 = Q1•Q0• NSCAR•EWCAR + Q1•Q0•NSCAR •EWCAR •TM60 + Q1•Q0 •TM3 + Q1•Q0 •TM3

49 EWGreen = Q1•Q0 NSRed = Q1•Q0 NSYellow = Q1•Q0 EWYellow = Q1•Q0
由ASM图可直接写出输出函数表达式 EWGreen = Q1•Q0 NSRed = Q1•Q0 NSYellow = Q1•Q0 EWYellow = Q1•Q0 NSGreen = EWRed = ENTM60 = Q1•Q0 ENTM40 = ENTM3 = Q1•Q0 Moore型电路 NSCAR EWCAR 1 EWGeen NSRed,ENTM60 00 A TM60 TM3 1 NSYellow EWYellow,ENTM3 B 01 C

50 NSYellow = Q1•Q0+ Q1•Q0 = Q1⊕Q0 EWYellow = Q1•Q0 + Q1•Q0 = Q1⊕Q0
由ASM图可直接写出输出函数表达式 NSCAR EWCAR TM40 1 NSGreen EWRed, ENTM40 11 C EWGreen = Q1•Q0 NSRed = Q1•Q0 NSYellow = Q1•Q0+ Q1•Q0 = Q1⊕Q0 EWYellow = Q1•Q0 + Q1•Q0 = Q1⊕Q0 NSGreen = Q1• Q0 EWRed = Q1•Q0 ENTM60 = Q1•Q0 ENTM40 = Q1•Q0 ENTM3 = Q1•Q0 +Q1•Q0=Q1 ⊕ Q0 TM3 1 EWYellow NSYellow, ENTM3 10 D 可选用D触发器或JK触发器及门电路构成控制系统。

51 十字路口交通灯 控制器逻辑框图 输出组合逻辑 控制组合逻辑 ENTM3 ENTM40 ENTM60 EWRED EWGREEN
EWYELLOW NSRED NSGREEN NSYELLOW Q0 D1 D0 Q1 Q D CLK 十字路口交通灯 控制器逻辑框图 控制组合逻辑 EWCAR NSCAR 模3 计数器 模40 模60 分频器 CLK CP（周期1秒） TM60 ENTM3 TM40 TM3 ENTM40 ENTM60

52 ASM图的特点 ASM图为时序电路系统提供了形式化描述方法。 在ASM图中，每个状态框仅有一个出口（分支由判断框提供），保证了无二义性，且自动满足闭合性和完整性。 由于每个ASM块只能描述系统的一个状态，对于计算机和类似的复杂数字系统来说，仅仅采用ASM图作为硬件的描述工具是不够的，因此，需要一种功能更强的形式化工具来描述和定义数字系统中的操作和实现这些操作的硬件结构。 寄存器传送语言（RTL）就是这种形式语言之一。

53 8.3 自顶向下的设计和自底向下的集成 随着科学技术的发展，数字系统已经达到前所未有的复杂程度（例如超大规模集成电路），基于经典开关理论的传统设计方法已经不适用新的情况，取而代之的是结构化设计方法。 自顶向下将系统逐级分解成可由硬件及软件实现的模块，然后通过逻辑设计选择合适的结构和物理实现途径，将元器件及基本构件集成为能实现要求的功能模块和子系统。由模块或子系统组成系统，实现自底向上的组装集成。

54 8.3.1 自动向下的设计