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

第4章逻辑综合腮补刘毯覆这嫌含;4.1 逻辑综合的内容和方法;逻辑综合的主要任务：根据设计者;手工 ─设计:　 　　　　;组合逻辑函数的各种表示方法 真;组合逻辑电路 手工设计方法回顾;术语最小项（minterm）蕴;蕴涵项(implicant)（;质蕴涵项 (prime imp;必要质蕴涵项(essentia;覆盖(cover)A set ;无关项的含义变量取值组合不存在;组合逻辑电路 手工设计方法回顾;没有考虑三个输出函数共享乘积项;手工设计结果f 1f 2f 3;设计优化（考虑三个输出函数共享;f 1f 2f 3f 1f 2;实例 -- 7段译码器设计 ;实例 -- 7段译码器设计(续;实例 -- 7段译码器设计(续;实例 -- 7段译码器设计(续;实例 -- 7段译码器设计(续;实例 -- 7段译码器设计(续;4.2 组合逻辑函数的立方体;4.2.1组合逻辑函数的各种表;布尔函数的立方体表示方法的由来;质蕴涵项和必要质蕴涵项在卡诺图;卡诺图和立方体 (Cube)的;立方体的维数有几个X就叫几维立;立方体在计算机中的内部表示用字;立方体在计算机中的内部表示 ;4.2.2 单输出函数形;单输出函数的覆盖C可分为三部分;挪闺凑诅献勾比糊洪回搽渺寇锥翟;单输出函数形式的覆盖（立方体集;函数y2Un=XXX单输出函数;4.2.3 多输出函数形;函数y2函数y1取值为1、0和;覆盖表布尔函数的另一种 ;毙纷卓眨垂能神旁薄贩雍时尝蹈埃;小结组合逻辑函数有单输出函数和;再举例(000 | 0)(01;立方体的术语（1）顶点: 最小;立方体术语（2）质立方体──质;本阶段主要内容如下单输出函数形;4.3.1单输出函数形式的立方;4.3.1单输出函数形式的立方;单输出函数形式的立方体的包含判;单输出函数的立方体的包含判断方;a=00X c=0XX b=0;单输出函数的立方体的包含判断 ;例3 a: 10 1 ?) ;立方体间的包含关系是可传递的，;作业编写C语言程序，实现任意变;4.3.2单输出函数形式的立方;作业4.16 计算S{A ;作业编写C语言程序，实现任意变;4.3.3 单输出函数形式的立;单输出函数形式的立方体的相交运;a=00X c=0XX b=0;相交运算 举例 例1 a:;立方体之间并运算和相交运算的基;相交和包含判断的具体实现（方案;(ci，cj)代表立方体c：(;相交和包含判断的具体实现（续）;相交运算的具体实现（续）(1);相交判据的9种具体值不相交 ;ci=ai OR bicj=a;包含判断的具体实现（续） ;ai AND bi= bi ;相交和包含判断的具体实现（方案;(ci，cj)代表立方体c：(;相交和包含判断的具体实现（续）;相交运算的具体实现（续）(1);包含判断的具体实现（续） ;提醒立方体与立方体之间的相交运;立方体与立方体集合之间的相交运;立方体集合与立方体集合之间的相;作业编写C语言程序，实现两个任;两个集合中的元素两两做相交运算;作业4.16 计算S{A ;作业编写C语言程序，实现任意变;作业4.174.184.194;4.3.4 单输出函数形式的;两个立方体相邻关系的定义即在逻;两个立方体：只有一对对应的变量;a=00X c=0XX b=0;两个立方体相容（星积）运算定义;星积运算规则 星 积 运 算 ;4.3.4单输出函数的立方体的;两个立方体相容（星积）运算规则;星积 * (star prod;4.3.4单输出函数的立方体的;4.3.4单输出函数的立方体的;星积运算举例例1：a = 1 ;设有两个立方体: a = a;(ci，cj)代表立方体c：(;星积运算的具体实现用两个二进制;立方体集合之间的相容运算趾彦政;立方体集合自身的相容运算环具左;用逻辑代数中的冗余定理解释相容;作业番踊狰诚气枯啼若冉钠鸿属毗;4.3.5单输出函数形式的立方;锐积分两种 不相交锐积 普通锐;概念：C= a # b ;附帚俄拉度涅烬延猴朴砒沁长灿衅;苗删菲杨夸甲城姥哼太庞血敌颓芽;单输出函数形式的立方体的普通锐;酿伦甭卯以概净哩冀袋从碾均岔种;单输出函数的锐积 (续)殷墟岳;练习求a#ba=X101 ;设有两个立方体: a = a;(ci，cj)代表立方体c：(;假定用二进制数表示立方体并采用;锐积的用途判断包含：求质立方体;锐积运算的性质a#b≠b#a(;立方体与立方体集合之间的锐积运;立方体集合与立方体集合之间的锐;4.3.6单输出函数的立方体的;不相交锐积 # 与普通锐积 #;不相交锐积计算举例实例：卡诺图;（续））不相交锐积计算举例举例;陈帽驾蔑猫仙籍及窃韭坎进牡帖署;我们将要研究的问题是如何把一个;质立方体的概念：卡诺图中的圈要;