逻辑综合~单输出组合电路的综合.pptVIP

第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） 术语 最小项（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段译码器设计 实例 -- 7段译码器设计(续) 实例 -- 7段译码器设计(续) 步骤 2: 写出布尔表达式并化简： 实例 -- 7段译码器设计(续) 步骤 2: 写出布尔表达式并化简： 实例 -- 7段译码器设计(续) 4.2 组合逻辑函数的立方体表示法（单输出形式和多输出形式） 4.2.1 组合逻辑函数的各种表示方法 4.2.2 单输出组合逻辑函数形式的立方体表示法 4.2.3 多输出组合逻辑函数形式的立方体表示法 4.2.1组合逻辑函数的各种表示方法 真值表； 布尔表达式； 卡诺图； 逻辑符号图; 波形图; 覆盖表 ? 立方体集合； 二叉判决图（Binary Decision Diagram, BDD） 布尔函数的立方体表示方法的由来 质蕴涵项和必要质蕴涵项在卡诺图中的表示 卡诺图和立方体 (Cube)的对应关系 立方体的维数 有几个X就叫几维立方体 1XX 2维立方体 没有X就叫0维立方体 100 0维立方体 00XXXX1100 ： 4维立方体 X表示0和1均可 立方体在计算机中的内部表示 用字符串表示立方体； 用二进制数表示立方体：节省空间，速度快。 二进制数a: a1a2a3a4?,ai-1ai, ?, an-1an 立方体x: x1 x2 xk xm 二进制数i: i1, i