南邮数电第7-数字系统设计基础.ppt

* * 寄存器操作或输出 符号 二进制代码 条件 分支 分支 0 1 R ← 0 START 011 T3 状态框 判断框 2.ASM图符号 7.2 数字系统的描述工具 7.2.4 算法状态机图 * X1 X2 0× 11 T1 T2 T3 T4 10 （a）真值表图解分支表示 0 1 T1 X1 T2 T3 T4 X2 0 1 （b）变量优先级分支表示 判断框 2.ASM图符号 7.2 数字系统的描述工具 7.2.4 算法状态机图 * A?0 T1 T2 010 0 1 001 E R←0 寄存器操作 或输出 条件框为ASM图所特有的 ，条件框内的操作和输出是在给定条件下，判断条件被满足时才发生的，所以条件框的输入必定与判断框的分支相连。 条件框 2.ASM图符号 7.2 数字系统的描述工具 7.2.4 算法状态机图 * 3.ASM块 (1) 包含且仅包含一个状态框（可能包含若干其他框）； (2)表示一个时钟周期内系统的状态（p337图12.3.12）； (3) ASM图与状态转移图； (4)各种逻辑框之间的时间关系（见下页例题） 状态转移图无法表示操作和输出变量与输入变量的函数关系。 7.2 数字系统的描述工具 7.2.4 算法状态机图 * 例：一个数字系统的数据处理器有2个触发器E和F及1个二进制计数器A，计数器的各个位分别用A4、A3、A2、A1标记，A4为最高位，A1为最低位。启动信号S使计数器A和触发器F清“0”，从下一个时钟脉冲开始，计数器增1，一直到系统停止工作为止。系统的操作序列由A3和A4之值决定，即： ①A3=0，触发器E清“0”，并继续计数。 ②A3=1，触发器E置“1”，并检验A4，若A4=0， 继续计数；若A4=1，触发器F置“1”，系统停 止计数。 * 算法流程图 A←A+1 0 S A3 1 A4 0 0 1 1 A←0，F←0 E←1 E←1，F←1 E←0 * ASM图 A←A+1 0 T0 初态 S A3 1 T1 A4 0 A←0，F←0 E←1 E←0 E←1，F←1 0 1 1 * 表7.2.4 ASM图的操作序列 A4 A3 A2 A1 E F 条 件 状 态 0 0 0 0 1 0 A3 =0 A4 =0 T1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 A3 =1 A4 =0 T1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 A3 =0 A4 =1 T1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 A3 =1 T1 1 1 0 1 1 1 A4 =1 T0 * 4.ASM图的建立 从算法流程图 ASM图 原则1：在算法的起始点安排一个状态； 原则2：必须用状态来分开不能同时实现的寄存器传输操作； 原则3：判断如果受寄存器操作的影响，应在 它们之间安排一个状态。 补充原则4：使状态框尽量少。 7.2 数字系统的描述工具 7.2.4 算法状态机图 * 算法流程图 A←A+1 0 T0 S A3 1 T1 A4 0 0 1 1 A←0，F←0 T2 E←1 E←1，F←1 E←0 例： * ASM图 A←A+1 0 T0 S A3 1 T1 A4 0 A←0，F←0 E←1 E←0 E←1， F←1 0 1 1 T2 * RESET?1 WAIT RESET?0 A?DATA,BUSY?0 A?SL(A) BUSY?1 Y?A,BUSY?0 BEGIN END 0 1 1 0 （a）算法流程图 T2 C1 C2 C3 C5 S1 S2 0 1 1 0 C4 T0 T1 T3 （b）ASM图 5、ASM图推导数据处理器明细表和控制器状态转移图 * 数据处理器明细表 操 作 表 状态变量表 控制信号 操 作 状态变量 定 义 C1 C2 C3 C4 C5 RESET?1 WAIT RESET?0 A?DATA,BUSY?0 A?SR(A) BUSY?1 Y?A,BUSY?0 S1 S2 BEGIN END T2 C1 C2 C3 C5 S1 S2 0 1 1 0 C4 T0 T1 T3 （b）ASM图 * 控制器的状态转移图 输入/输出： S1S2/C1C2C3C4C5 T0