第4章逻辑综合--4.1~4.5单输出组合电路的综合.ppt

第4章 逻辑综合 4.1 逻辑综合的内容和方法 4.2 布尔函数的立方体表示法（单输出形式和多输出形式） 4.3 单输出组合逻辑函数的立方体运算 4.4 单输出组合逻辑函数的质立方体集合的计算 4.5 单输出组合逻辑函数的综合 4.6 多输出函数与单输出函数的阵列变换 4.7 多输出组合逻辑函数的立方体运算 4.8 多输出组合逻辑函数的综合 4.9 二级组合逻辑电路与多级组合逻辑电路之间的变换 4.10 时序逻辑电路的综合 主要内容 逻辑综合的主要任务： 根据设计者的逻辑功能描述及约束条件（速度、功耗、成本、器件类型……）导出满足上述要求的电路。 组合逻辑电路的综合 时序逻辑电路的综合 4.1 逻辑综合的内容和方法 手工 ─设计:　 　　　　　 真值表　? 布尔表达式　 ? 　逻辑电路 自动设计─综合: 功能描述 ? 结构描述 高层次描述 ? 低层次描述 同层次描述 ? 优化(不同的实现方法) 约束条件: 造价 速度 功耗 器件类型　……. 　　　　 组合逻辑函数的各种表示方法 真值表； 布尔表达式； 卡诺图； 逻辑符号图; 波形图; 覆盖表 ? 立方体集合； 二叉判决图（Binary Decision Diagram, BDD） 不适于用计算机来描述 适于用计算机来描述 组合逻辑电路 手工设计方法回顾1 没有考虑两个输出函数共享乘积项，没有使用无关项 术语 最小项（minterm） 蕴涵项(implicant)（乘积项、与项、立方体） 质蕴涵项 (prime implicant) 必要质蕴涵项(essential prime implicant) 覆盖(cover) 蕴涵项(implicant)（乘积项、与项、立方体） A product term (that is, a product of one or more literals) that could be used to cover minterms of the function 任意的圈 最小项也是蕴涵项 质蕴涵项 (prime implicant) An implicant that is not part of (covered by)any other implicant of the function 最大的圈 必要质蕴涵项(essential prime implicant) A prime implicant that covers at least one minterm that is not covered by any other prime implicant 有一个自己独有的1 覆盖(cover) A set of prime implicants for which each minterm of the function is contained by at least one prime implicant All essential prime implicants must be selected in any cover of a function 无关项的含义 变量取值组合不存在 变量取值组合虽然存在，但是没有意义 组合逻辑电路 手工设计方法回顾 2 没有考虑三个输出函数共享乘积项，没有使用无关项 没有考虑三个输出函数共享乘积项，没有使用无关项 手工设计结果 没有考虑三个输出函数共享乘积项，没有使用无关项 设计优化（考虑三个输出函数共享某些乘积项） 实例 -- 7段译码器设计 组合逻辑电路 手工设计方法回顾 3 实例 -- 7段译码器设计(续) 步骤1 列真值表: 实例 -- 7段译码器设计(续) 步骤 2: 写出布尔表达式并化简： 以x4 x3 x2 x1 顺序 实例 -- 7段译码器设计(续) 步骤 2: 写出布尔表达式并化简： 实例 -- 7段译码器设计(续) 步骤 2: 写出布尔表达式并化简： 步骤 3: 根据化简了的布尔表达式，画出7段译码器 的逻辑图。 思考： 怎样进一步化简？ ? 乘积项共享 手工较难进行，编程来实现 实例 -- 7段译码器设计(续) 左边为EDA工具的综合结果： PRODUCT NUMBER = 10 表示乘积项个数为10； TOTAL COST = 44 表示取值为0或1的文字 总数为44。 乘积项中文字个数 ? 2时，电路中需要一个与门。 ? 与门个数 = 10 - 3 = 7； 输入端总数 = 44 - 3 = 41 后面要编程来实现这个过程 在黑板上画出电路