逻辑综合中的基本概念.docVIP

1. 逻辑综合 (Logic Synthesis) EDA工具把数字电路的功能描述(或结构描述)转化为电路的结构描述。实现上述转换的同时要满足用户给定的约束条件，即速度、功耗、成本等方面的要求。 　2. 逻辑电路(Logic Circuit)　逻辑电路又称数字电路，在没有特别说明的情况下指的是二值逻辑电路。其电平在某个阈值之上时看作高电平，在该阈值之下时看作低电平。通常把高电平看作逻辑值1；把低电平看作逻辑值0。 　3. 约束(restriction)　设计者给EDA工具提出的附加条件，对逻辑综合而言，约束条件一般包括速度、功耗、成本等方面的要求。 　4. 真值表(Truth Table)　布尔函数的表格描述形式，描述输入变量每一种组合情况下函数的取值。输入变量组合以最小项形式表示，函数的取值为真或假(1 或0)。 　5. 卡诺图(Karnaugh Map)　布尔函数的图形描述形式，图中最小方格和最小项对应，两个相邻的最小方格所对应的最小项只有一个变量的取值不同。卡诺图适合于用观察法化简布尔函数，但是当变量的个数大于4时，卡诺图的绘制和观察都变得很困难。 　6. 单输出函数(Single-output Function)　一个布尔函数的单独描述。 　7. 多输出函数(Multiple-output Function)　输入变量相同的多个布尔函数的统一描述。 　8. 最小项(Minterm) 　设a1,a2,…ai,…an是n个布尔变量，p为n个因子的乘积。如果在p中每一变量都以原变量ai或反变量的形式作为因子出现一次且仅出现一次，则称p为n个变量的一个最小项。最小项在卡诺图中对应于最小的方格；在立方体表示中对应于顶点。 　9. 蕴涵项(Implicant) 　布尔函数f的与-或表达式中的每一乘积项都叫作f的蕴涵项。例如：f=+中的乘积项和都是函数f的蕴涵项。蕴涵项对应于立方体表示法中的立方体。 　10.质蕴涵项(Prime Implicant，PI) 　设函数f有多个蕴涵项，若某个蕴涵项i所包含的最小项集合不是任何别的蕴涵项所包含的最小项集合的子集的话，则称i为函数f的质蕴涵项。质蕴涵项对应于立方体表示法中的质立方体。　11.必要质蕴涵项(Essential Prime Implicant，EPI )　若某个最小项只被一个质蕴涵项所包含，则称此最小项为特征最小项，包含特征最小项的质蕴涵项为必要质蕴涵项，在布尔函数最小化的过程中，必要质蕴涵项是必须选取的。必要质蕴涵项对应于立方体表示法中的必要质立方体。　12.不顾项(Dont care) 　dont care的中文译名有：不顾项、任意项和随意项等，其主要含义是该最小项的取值可以是1或0中的任意一个。从化简布尔函数的角度来看，终选1还是选0取决于怎样对化简有利。 　13.完全规定的布尔函数(Completely Specified Boolean Function)　若某布尔函数不包含不顾项，则它是一个完全规定的布尔函数。 　14.不完全规定的布尔函数(Incompletely Specified Boolean Function)　若某布尔函数包含有不顾项，则它是一个不完全规定的布尔函数。 　15.立方体(Cube)　在逻辑综合领域中，立方体是布尔函数的空间图形表示形式。设布尔函数的一般表示形式为：　　y=f(x1,x2,…,xi,…,xn)　其中y为输出变量， 为输入变量。令每一输入变量和一个坐标轴相对应，则可得到函数y的空间图形。 　16.顶点(Vertex)　顶点是立方体的一种特殊情况，其输入变量取值为{0或1}，其输出变量除一个取值为{0或1}之外，其余取值皆为u。也就是说，顶点只建立起输入变量和一个输出变量之间的对应关系。 　17.覆盖(Cover ) 　输入、输出变量相同的，逐对一致的非退化立方体集合称为覆盖。覆盖C中每一立方体所包含的每一顶点都表示了输入变量和输出变量的对应关系，因此整个覆盖C就代表了布尔函数f。　覆盖是真值表的一种扩展；而真值表则是覆盖的一种特殊情况。　18.包含(Contain) 　若顶点v|w可由下述方法从立方体a|b中得到，则称a|b包含v|w，记作：　　　v|wa|b　(1) 把a中取值为X者适当地改为0或1。　(2) b中只保留一个取值为{0或1}者，其余取值为{0或1}者皆改为u。　若立方体c|d的每一顶点都被立方体a|b所包含，则称立方体a|b包含立方体c|d，记作；　　　c|da|b 　19.面(Face) 　若立方体a|b包含立方体c|d，则称c|d是a|b的一个面。 　20.相交运算(intersection)　单输出函数的立方体a和立方体c的交是它们的公共