一个判别必要质蕴涵项的E算法

用精选法求布尔函数的最小化解时,传统的作法是先求出质覆盖Z,然后从Z中挑选必要质蕴涵项。本文提出的E算法在勿需求出质覆盖的情况下,就可以判断出多输出二值布尔函数的一个质蕴涵项是否是必要质蕴涵项,从而节省计算机的存储空间和运算时间。     

一种求解多值逻辑函数接近最小覆盖的算法

1.引言 本文研究Allen-Givone多值逻辑代数系统中的“积之和”形式的函数的简化算法。首先,在讨论符合目前多值逻辑函数实现特点的合理代价标准基础上,提出了一种折衷的代价标准,按着这个标准不求所有质蕴涵项集合,直接求解无冗余覆盖。这个算法以减少文字门的个数为依据,在确定某些质蕴涵项和实现文字数较少之间进行权衡,它在一个位     

多输出逻辑函数最小化的一个算法

本文描述一个多输出逻辑函数的最小化算法。函数解中积项总数的多少被看作是衡量算法优劣的最重要指标。因此，我们努力使解中的积项被尽可能多的组成函数共享。本文求本源蕴涵项的方法与［１］是相似的。因此，本文也可看成是［１］向多输出函数的延伸。     

扩展Toffoli门及其在多输出电路设计中的应用

用量子计算电路实现布尔逻辑运算是发展量子计算的一个重要目标。提出了量子扩展Toffoli门,及其在实现多输出逻辑电路中的转换算法。该算法将传统PLA文件的SOP积项转换到实现等价逻辑功能的量子Toffoli积项,能够用量子扩展Toffoli门实现。通过MCNC基准电路的测试结果表明,与经典PLA描述相比,用扩展Toffoli门能够更有效地描述多输出逻辑函数。     

布尔函数表达式的求解算法

文章分析了手工求解布尔函数表达式的常用方法,引入了布尔函数的基本积、最小积、最小积基集的概念,提出了布尔函数表达式的一种求解算法。     

单调积之和展开式与布尔函数的单调分解定理

本文给出单调布尔函数的一类范式——单调积之和展开式以及构造它的算法,该算法的实现是很直观的。本文还给出布尔函数的两条单调分解定理,他们在组合逻辑综合中开创了新的途径。     

用二值逻辑对多值逻辑进行优化

提出以二值多输出逻辑优化软件OPLG为基础，对多值逻辑函数进行逻辑优化的方法．通过对多值变量、多值函数的二进制矢量描述，将多值多维体转换为布尔表达式积项形式，从多值多维体的多值最小项出发，给出计算基本无关集的方法。对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为300)来实现，二值逻辑优化的结果最终再转换为多值多维体的表示形式。     

计算机辅助逻辑设计的FORTRAN程序实现方法

本文讨论用多维体运算的方法求解单输出开关函数覆盖问题的FORT-RAN程序实现方法。文中给出多维体在计算机中的表示及输入、输出方法,蕴涵(?)、相交(∩)和锐积(＃)算符的实现方法及子程序框图,并进而给出用上述算符计算质蕴涵项、求解覆盖问题的整个框图。其特点是函数输入变量数目基本上不受限制,本文讨论假定不超过90个,必要时扩展也很方便。     

改进的Q-M逻辑函数化简方法

为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。     

求解多输出逻辑函数覆盖问题的覆盖矩阵取补法

本文根据多输出多维体蕴涵的概念,提出构成多输出函数简化覆盖表的方法,将求解单输出函数的覆盖矩阵取补法推广到多输出函数的求解。该方法可求得函数全部有意义的无冗余覆盖(包括最小覆盖)。对于大覆盖表运用修改的锐积运算可只求得唯一一组无冗余覆盖。这个方法同时可用于消除输出冗余连接。覆盖表的产生和求解,只需存储它的某一部分或全部不存。因此本算法很简单,程序实现方便,解覆盖几乎不需要增加内存,并且计算量较小。现已编成程序,试算结果表明适于求解输入、输出变量较多的逻辑函数覆盖问题和其它规模较大的覆盖问题。     

多输出布尔函数的解析化简方法

1.多输出布尔函数 “逻辑最小化的解析方法”提出了一种运用于大规模逻辑综合的新方法,但没有解决带不顾的输出项的函数化简问题,本文是前文的发展和补充。 若多输出布尔函数的一个输出是     

逻辑最小化的解析方法

多输出布尔函数的自动化简是数字系统设计自动化的一个重要环节,已知的方法大多以星积、锐积运算为基础,运算量大,得到的结果冗余度有时还较大。本文提出的方法引入了降阶、升阶和包容度的概念,采用了同输入变量和输出函数数量无关的算法,大大简化了求解过程,提高了运算速度,并可得到与已知方法相同或更优的结果。     

蕴涵项的扩展算法

本文提出了一个把逻辑函数的积项扩展为本源蕴涵项的算法。用此算法得到的本源蕴涵项集合通过去冗过程产生的最后结果最接近绝对最小化的解。     

支持大规模变量集的最小覆盖迭代搜索算法

两级逻辑综合中的多输出逻辑电路最小覆盖的求解是一个NP难解问题,在输出变量集合和质蕴含项集合规模较大的情况下,会出现空间需求过大、处理时间太长等问题,影响多输出最小覆盖求解的可行性．在精选法的基础上,提出一种多输出最小覆盖迭代求解算法．将一次性求解最小覆盖的模式转换为多次迭代逼近最优解的过程,使得在有限的时间和空间范围内获得尽可能优化的最小覆盖结果．同时,对影响算法复杂度的单输出到多输出函数的阵列合并、极值的选择这2个主要环节进行了改进,大幅度降低了多输出最小覆盖求解算法的时间和空间复杂度．     

用关键特征集对逻辑进行优化

提出了一个两级逻辑优化的新算法，与通过函数质蕴涵集求解覆盖的传统算法不同，文中将求解逻辑函数的质蕴涵项与推导覆盖问题相结合，直接得出覆盖问题的解。算法的主要问题可以简化为：对于立方描述的单元，求解最小覆盖，在这个过程中又提出了一种改进的覆盖吸收算法，基于关键特征集合的选拔吸收算法，此算法不用求所有的立方，通过标准的测试例子与原来的Espresso算法作比较，对于大电路，在计算时间上，新算法有明显的改进。     

复合布尔函数中含某单乘积项的快速判定算法

引入了布尔函数的基本积、单乘积项等概念，通过实例剖析了复合布尔函数中是否含某一单乘积项的一般判定方法，在该基础上提出了一种快速判定途径，并给出了快速判定算法的具体描述，同时对算法进行了实验，结果表明该算法快速有效。     

大变量多输出逻辑函数实质项识别算法

在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合.对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000.软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试.     

大变量多输出逻辑函数实质项识别算法

在对Espresso算法进行分析改进的基础上，提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法，该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断，根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项，从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。     

逻辑函数无冗余覆盖选择问题

逻辑函数的最小化算法可以分为两大步骤,产生本源蕴涵项和在这些蕴涵项中选择一个最小覆盖。提出一个适于大变量输入输出逻辑函数的实质项与相对冗余项的识别和选择近似最小覆盖的算法。Benchmark例题测试表明,算法具有理想的处理效果。     

非线性布尔函数处理模型研究与设计

针对序列密码算法中非线性布尔函数的实现,利用布尔函数的拆分建模,提出一种以布尔函数拆分、布尔函数计算和输出回写为基础的通用非线性布尔函数处理模型,模型能够完成不同形式的非线性布尔函数实现.为更好地评估模型的实现能力,完成了序列密码中常见的非线性布尔函数的算法适配.适配结果表明,和现有的方式相比,模型适配能力较强,资源占用低,具有较好的发展前景.