02数字系统的建模和结构.ppt

2000年9月 数字系统设计自动化Digital Design Automation 陈 伟 男 2.数字系统的建模和结构 2.1 设计与模型 2.2 数字系统的模型 2.3 数字系统的结构 2.1 设计与模型 2. 2 数字系统的模型 3.2状态机及算法状态机图描述 1．状态机分类 米勒型时序电路：其输出不仅与当前状态有关，而且和输入值有关 摩尔型时序电路：其输出仅与当前的状态值有关，而与输入值无关。 2．算法状态机流程图的符号及其描述方法 为了能方便地利用硬件描述语言来描述数字系统，在编程前也需要用类似的流程图来描述数字系统的状态机，这就是状态机流程图或称算法状态机流程图 (a) 状态框 (b) 判断框 （c）条件输出框 3．算法状态机图描述实例 算法状态机图的化简 算法状态机图的反馈通道描述 (a)错误画法 ( b)正确画法 算法状态机图的串一并结构变换 4．算法流程图至状态图的变换方法 步骤： 系统状态分配 确定输入信号及状态转移条件 确定各状态的输出 系统复位状态一S0； 装入乘数和被乘数——s1 被乘数与累加器ACC相加——S2； 累加器右移1位——S3 4位乘法器控制状态图 5．状态图至算法状态机图的变换方法 步骤： 对现有的状态进行编码 各输出信号的确定 按状态编码顺序画出算法状态机图 3个状态： S0---00 S1---01 S2---11 * * wnchen@fudan.edu.cn 计算机学院 模型是由一些对象及其组成规则构成的一个格式系统，用来描述一个系统的特性。通常，我们总是把表示系统的模型分解为一些模块，并用特定的语言来描述这些模块，由此构成一个系统规格。 在设计过程的不同阶段，设计者常常选择不同的模型，这是为了强调在某个特定时间，对设计者感兴趣的系统的某些方面。 模型描述一个系统是如何工作的，而结构描述系统是如何来制造的。设计过程或方法是将一个模型变换为一个结构的整个设计任务的一个集合。 模型和结构之间的关系 规格＋约束 模型（规格） 实现 结构（实现） 设计 过程 电梯控制模型的例子 如果电梯处于停止状态，并请求的层是该层， 那么电梯仍保持空停状态； 如果电梯处于停止状态．并请求的层是低于该层． 那么电梯下降至请求层； 如果电梯处于停止状态．并请求的层是高于该层， 那么电梯上升至请求的层。 功能描述 1.有限状态机[FSM] 一般FSM模型是由状态集合、状态间转移的集合或与其相关联的动作的集合所组成的。 FSM 可以抽象地定义为： ＜S，I，O，f，h＞ 其中：S表示状态集合；I表示输入集合；O表示输出集合；f表示下一个状态函数；h表示输出函数。 FSM有两种类型：Moore(摩尔型)、Mealy(米勒型) Moore FSM：基于状态的FSM， h定义为映射S→O，输出符号被指定为FSM的每一个状态，并在FSM处于某一特定状态期间被输出。 Mealy FSM：基于输入的FSM，h被定义为映射SxI →O 。每个状态的一个输出符号是由一对状态和输入符号定义的，并当这个状态和相应的输入符号维持期间被输出。 Moore FSM Mealy FSM 2.带有数据通路的有限状态机(FSMD) (curr_floor!=req_floor)/output:=req_floor-curr_floor;curr_floor:=req_floor (curr_floor=req_floor)/output:=0 3. Petri 网 4.数据流图(DFG) (a) (b) 5.控制流图（CFG） 6.部件连接图 7.控制／数据流图 操作结点（用○表示） 传输结点（用□表示） 分枝结点（用△表示）与汇聚结点（用▽表示） 数据相关边（用实线表示） 控制相关边（用虚线表示） 8.结构图 9.队列模型 10.分层并发FSM 2. 3 数字系统的结构 1. 控制器结构 2.数据通路结构 带3级流水线数据通路 带4级流水线数据通路 一个定制的数据通路例子 3.FSMD结构 4.并行结构 并行处理器有两种典型的结构：SIMD(单指令多数据)和MIMD(多指令多数据)。其通信方式有消息传送型和共享存储器型两种。 (a)消息传送型；(b)共享存储器型 Lbus：局部总线 GM：全局存储器 IF：接口 Sbus：系统总线 LM: 局部存储器 PE:处理部件 异类处理器结构 3.数字系统的算法描述 3.1数字系统算法流程图描述 3.2状态机及算法状态机图描述 3.1数字系统算法流程图描述 算法流程图的符号及其描述方法 1．启动框和结束框 2．工作框 工作框 C＝a＋b a b 加 法 器 c 3．判断框