第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 时序逻辑电路的综合;逻辑综合的主要任务： 根据设计者的逻辑功能描述及约束条件（速度、功耗、成本、器件类型……）导出满足上述要求的电路。 组合逻辑电路的综合 时序逻辑电路的综合 ;手工 ─设计:　 　　　　　 真值表　? 布尔表达式　 ? 　逻辑电路 自动设计─综合: 功能描述 ? 结构描述 高层次描述 ? 低层次描述 同层次描述 ? 优化(不同的实现方法) 约束条件: 造价 速度 功耗 器件类型　……. 　　　　;组合逻辑函数的各种表示方法;组合逻辑电路 手工设计方法回顾1 ;术语;蕴涵项(implicant)（乘积项、与项、立方体）;质蕴涵项 (prime implicant);必要质蕴涵项(essential prime implicant);覆盖(cover);无关项的含义;组合逻辑电路 手工设计方法回顾 2;没有考虑三个输出函数共享乘积项，没有使用无关项;手工设计结果;设计优化（考虑三个输出函数共享某些乘积项）;f 1;实例 -- 7段译码器设计 ;实例 -- 7段译码器设计(续) ;实例 -- 7段译码器设计(续) ;实例 -- 7段译码器设计(续) ;实例 -- 7段译码器设计(续) ;实例 -- 7段译码器设计(续);4.2 组合逻辑函数的立方体表示法（单输出形式和多输出形式）;4.2.1组合逻辑函数的各种表示方法;布尔函数的立方体表示方法的由来; 质蕴涵项和必要质蕴涵项在卡诺图中的表示;卡诺图和立方体 (Cube)的对应关系;立方体的维数;立方体在计算机中的内部表示;立方体在计算机中的内部表示;4.2.2 单输出函数形式的立方体表示法;单输出函数的覆盖C可分为三部分; ;单输出函数形式的覆盖（立方体集合）; ;4.2.3 多输出函数形式的立方体表示法;; 覆盖表 布尔函数的另一种 表示方法； 真值表的扩展;Date;小结;再举例;立方体的术语（1）;立方体术语（2）;本阶段主要内容如下;4.3.1单输出函数形式的立方体的吸收运算 4.3.2单输出函数形式的立方体的并运算 4.3.3单输出函数形式的立方体的相交运算 4.3.4单输出函数形式的立方体的相容运算 4.3.5单输出函数形式的立方体的普通锐积运算 4.3.6单输出函数形式的立方体的不相交锐积运算;;单输出函数形式的立方体的包含判断方法一;单输出函数的立方体的包含判断方法二;;单输出函数的立方体的包含判断 举例;例3 a: 10 1 ?) c: 10X ------------------------------ y y y ? a? c 例4 a: 10 1 1 ?) c: 1XX1 ---------------------------------- y y y y ? a ? c ;立方体间的包含关系是可传递的，即： 如果：c ? a 且： e ? c 则： e? a 立方体间的包含关系是不可逆的，即： 如果: c ? a 但 a ? c 不一定成立。;作业;4.3.2单输出函数形式的立方体的并运算 ;作业;作业;4.3.3 单输出函数形式的立方体的相交运算;单输出函数形式的立方体的相交运算规则;; 相交运算 举例 ;立方体之间并运算和相交运算的基本性质;相交和包含判断的具体实现（方案一）;(ci，cj)代表立方体c：;相交和包含判断的具体实现（续）;相交运算的具体实现（续）;相交判据的9种具体值;ci=ai OR bicj=aj AND bj结果;包含判断的具体实现（续）;ai AND bi= bi aj AND bj = aj ;相交和包含判断的具体实现（方案二）;(ci，cj)代表立方体c：;相交和包含判断的具体实现（续）;相交运算的具体实现（续）;包含判断的具体实现（续）;提醒;立方体与立方体集合之间的相交运算;立方体集合与立方体集合之间的相交运算;作业;两个集合中的元素两两做相交运算，然后做并运算，再做吸收运算;作业;作业;作业; 4.3.4 单输出函数形式的立方体的相容运算 （也叫做星积运算） * (star