DigitalSystemDesignI.ppt

EE141 EE141 数字系统设计 IDigital System Design I 任课教师 刘鹏 liupeng@ 浙江大学信息与电子工程学系, 信电楼306 Zhejiang University Department of Information Science and Electronic Engineering Hangzhou, 310027 Tel: 86-571(O) 课程简介 参考书 阎石, 数字电子技术基础,第5版, 高等教育出版社, 2006. R.H.Katz, G.Borriello, Contemporary Logic Design, second edition,电子工业出版社, 2005. M.M.Mano, Michael D.Ciletti, Digital Design, Fourth Edition, 数字设计(第四版), 电子工业出版社, 2008. /mano 补充材料，见网页 /liupeng/教学工作 数字系统设计I 考核 平时30%(作业,上课,期中考试) 期末考试70% 答疑 信电楼309房间/周五下午3:00-4:30 课程结构 基础理论知识(必备) 数字系统和编码、布尔代数、门电路 数字电路分析与设计 组合电路 时序电路 控制器和微码 测试和验证 脉冲电路 数字系统-设计抽象级别 (Design Abstraction Levels） 设计准则 （Design Metrics） 如何评价数字电路的性能 成本Cost 可靠性Reliability 可扩展性Scalability 速度Speed (delay, operating frequency) 功耗Power dissipation 能耗Energy to perform a function 同步数字系统 (Digital Systems) 同步数字硬件系统Synchronous Digital Hardware Systems 数字系统例子-1 数字计算机 最大化能效 数字系统例子-2 Digital Watch 设计折中 设计规范 - 功能性描述. 性能，成本，功耗 作为设计人员必须在约束条件下实现预期的功能。 设计表达 Blue Gene/Q Compute chip Blue Gene/Q packaging hierarchy 目标 数字电路设计的基础理论 数字系统分析方法 数字系统设计方法 数字系统实现和测试方法 培养电子线路的设计兴趣和解决问题的基本技能  逻辑代数基础（复习） 逻辑代数概述 基本概念-布尔代数 逻辑： 事物的因果关系 逻辑运算的数学基础： 逻辑代数 在二值逻辑中的变量取值： 0/1 用简单(0/1)代数描述复杂性事物 逻辑代数中的三种基本运算 与（AND） 或（OR） 非（NOT） 与 -AND 条件同时具备，结果发生 Y= A AND B = AB = A·B = AB 真值表/truth table 图形符号 或-OR 条件之一具备，结果发生 Y= A OR B = A+B 真值表 图形符号 非-NOT(反相器) 条件不具备，结果发生 真值表 图形符号 几种常用的复合逻辑运算1 与非-NAND 或非-NOR 与或非AND-NOR 几种常用的复合逻辑运算2 异或-EXCLUSIVE OR Y= A ? B 几种常用的复合逻辑运算3 同或-EXCLUSIVE NOR /符合 Y= A ⊙B 逻辑代数的基本公式和常用公式 基本公式 运算规则：交换律、结合律、分配律、重叠律、互补律、反演律、还原律、逆； 常用公式 符号的优先级：1）括号，2）非，3）与，4）或。 基本公式 根据与、或、非的定义，得布尔恒等式 公式（17）的证明（公式推演法）：A+BC=(A+B)(A+C) 公式（17）的证明（真值表法）： 若干常用公式 逻辑代数的基本定理 代入定理 在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入式中A的位置，则等式依然成立。 代入定理1 应用举例： 式（17） A+BC = (A+B)(A+C) A+B(CD) = (A+B)(A+CD) = (A+B)(A+C)(A+D) 代入定理2 应用举例： 式 （8） 逻辑代数的基本定理-2 反演定理 对任一逻辑式 反演定