CRM分解图的压缩及其化简

CRM分解图可以用来指导超大规模集成电路的设计和化简.本文在分析应用CRM分解图进行逻辑函数或符合式化简的基础上提出了逻辑函数的降维CRM分解图,给出了降维CRM分解图的定义和图形化简方法.实例表明,该图形方法有直观、简单等特点,它能给出逻辑函数的最简或-符合式,使电路实现比传统设计更简单、更有效.     

CRM型对称函数及其逻辑综合

逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全加器以及CRM型PLA网络的逻辑综合,还举例说明了逻辑综合过程.该综合的PLA网络是以或、符合二种运算作为基本运算的,类似于与、异或的电路实现,CRM型对称函数常常可以导致使用较少的门及较少的连线,更重要的是它具有易于测试等特点.本文的讨论揭示了CRM型基本对称函数的内在规律,有助于开拓或-符合代数系统的应用.     

基于表格法的CRM型对称函数检测

分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明．与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效．     

dj图的性质及其应用

讨论了CRM的dj图的读图规则及和式项变量数图.对dj图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.揭示了dj图的内在规律,有助于开拓dj图的应用领域.     

对称函数的dj图表示及其应用

根据对称函数的性质,在对称函数K图/bj图的基础上提出了部分对称函数/全对称函数的dj图表示.给出了利用对称函数dj图检测对称性的方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计较传统设计更简单、更有效.     

RM分解图及其应用

针对与-异或逻辑代数系统中电路设计与化简的要求，提出了一种全新的图形表示方法——RM分解图，讨论了利用RM分解图将任意开关函数变为RM对称函数等方面的应用，并在此基础上提出了一系列基于RM分解图的图形方法，用来指导超大规模集成电路中基于通用逻辑门的单元电路的设计与化简，设计出的电路具有易于检测、连线数少等优点。     

降维dj图及或-符合函数的化简

提出了降维dj图,讨论了获得降维dj图的代数方法和图形方法,给出了利用降维dj图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj图的引入压缩了dj图的规模,从而扩大了dj图的使用范围.     

基于分解图检测特殊函数的新方法

特殊布尔函数在电路设计中有着独特的优点．本文从特殊函数的定义出发，导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理，着重介绍了基于分解图的相关定理在特殊函数检测中的应用，并以实例加以说明．本文为超大规模集成电路中单元电路的设计与化简提供了新的方法，对进一步完善布尔代数系统具有一定的实际应用意义．     

基于分解图检测含任意项特殊逻辑函数的方法

特殊逻辑函数在电路设计中有着独特的优点．从特殊函数的定义出发,提出了检测舍任意项特殊逻辑函数的方法,并以实例加以说明．为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义．     

关于对称函数的性质之补充研究

在与-或-非代数系统中存在一种构成完备集的对称函数:基本对称函数.其定义如下:即S_i为所有i个变量取原变量,余下n—i个变量取反变量组成的布尔积(相与)之或它表示当n个输人变量中任意i个变量为1,其余变量为0时,函数值为1;否则函数值为0.任意对称函数可表示为     

简化分解图在计算布尔e-导数中的应用

为简化与-或-非代数系统中一阶和n 阶布尔e-导数的计算过程,提出了一种基于简化分解图的新方法.该方法通过计算简化分解图相应列的与运算得到一阶布尔e-导数,n 阶布尔e-导数通过计算倒置简化分解图来得到.该方法同样适用于含任意项逻辑函数一阶和n 阶布尔e-导数的计算.应用实例表明该方法具有直观、简单等特点.     

基于CRM型三变量通用逻辑门的查表设计

讨论了逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序以及P分类代表函数的接线方案.在此基础上提出了基于CRM型三变量通用逻辑门的查表设计方法,并给出了具体设计实例.