接近最小化积之和式的简化方法

本文介绍一个将任意布尔函数最小化的算法。其方法与先前首先求得全部质蕴涵项然后确定最小覆盖的方法不同。这个算法为了获得接近最小的积之和的实现,运用一组条件来选择质蕴涵项。并把它推广到多输出和不完全规定函数的情况。所提出的算法的主要特点是求解同一问题所化费的机器时间比用其它的算法少。如果只要求结果是较少的乘积项时,MINI算法对于输入、输出数目多的布尔函数可以给出较好的结果。这个算法也适合于寻求内部按积之和实现的大的布尔函数的可编程序阵列(PLA)的解。     

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

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

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

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

组合函数无冗余覆盖的优算法

本文提出了“相邻点分布密度”及质蕴涵项“生成元”的概念,从而使函数质蕴涵项的生成在选点及方向上,为形成无冗余覆盖有了依据,并进而提出了一个产生函数无冗余覆盖的较优算法,从理论和实践上验证了根据本算法编制的程序条数少、速度快、存储量少。     

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

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

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

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

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

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

一种优化逻辑函数的程序设计与实现

论文提出了EDA中易于计算机实现的逻辑函数优化方法,即在优化过程中引入删劣运算,用锐积运算求质蕴涵项,用选择提炼极值法求最小覆盖,并对循环函数进行处理的优化方法。设计了相应的组合逻辑电路逻辑综合优化程序,大量的测试证明了该方法的正确性和易于计算机实现的有效性。     

求故障检测测试集的快速算法

本文介绍了利用布尔差分求故障检测测试集的快速算法;求最小覆盖的快速算法以及由非冗余的两级与-或(或-与)电路实现的单调函数构成的逻辑电路故障检测最小完全测试集的简便算法。     

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

逻辑函数的最小化算法可分为两大步骤：产生本源蕴涵项和在这些蕴涵项中选择一个最小覆盖。人说后者比前者更加困难,这的确是事实。我们这里提出一个无冗余和选择一个最小覆盖的算法。给定函数ｆ的一个本源覆盖Ｇ,首先将Ｇ分为三个子集：实质本源项子集Ｅ,完全冗余项子集Ｒ和相对冗余项子集Ｐ。然后在Ｐ中选择一个子集Ｐ＾＊,使Ｐ＾＊∪Ｅ为ｆ的一个近似最小覆盖。很明显,后一项任务比前者要复杂得多。所以,我们的讨论侧重于后     

逻辑函数的双逻辑综合与优化

针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合;同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔逻辑综合结果相比,在绝大多数情况下文中算法可使电路面积获得进一步优化.     

由多维体运算求布尔差分

布尔差分(布尔导数)是对逻辑电路进行动态分析和求故障测试集的有效数学工具,自1968年由Sellers等人提出后被人们广泛采用.如果将逻辑函数的布尔表达式用多维体集合表示,利用自动逻辑综合中所定义的一些运算符和多维体集合之间的一些运算方法可以不需要展开为最小项而求布尔差分,因而占用存储单元较少.n个变量逻辑函数可以表示为:     

化简组合逻辑网络的一种无冗余算法

本文探讨组合逻辑二级化简课题.作者对N.Necula求无冗余解的算法做了改进和修正——提出了布尔函数的全小项码表示法,修正了原算法中选拔质蕴含项的规则2,从而使得算法比较节省存储和运算时间,并同样能得到接近最小价格的解.本文算法以及原Necula算法均在NOVA3/D机上用FORTRAN IV实现并做了时效比较.     

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

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

布尔差分的逆运算——布尔积分

本文提出了布尔差分的逆运算的概念,即从布尔差分函数求其原函数,给出了寻求原函数的方法和一些基本定理,可作为进一步发展的基础。这对完整开关理论是有意义的。 开关理论一直在不断发展,日臻完善。现在已有布尔差分和布尔微分。布尔差分可类比于实函数的偏导数;布尔微分可类比于实函数的全微分。为理论上的完整性,自然应有逆运算布尔积分。布尔积分的提出对于完整开关理论无疑是有意义的。它的实际运用,如在故障探测、设计非冗余电路等中的应用,还有待于进一步探索。     

一种快速逻辑综合算法

文章详细介绍了通过合并、消元、逐项检测的方法进行逻辑综合,求解必要质蕴涵项的思路,并对算法的性能进行了简要的分析。     

布尔函数与扩散码的组合安全性

本文对扩散码密码体制中多列扩散码组合对布尔函数次数的影响进行了探讨,引入了单项,、多项和函数的组合约化的概念,搪塞了组合约化的条件,给出了在扩散码列的任意线性组合下布尔函数ｒ次可约性的检验方法,并获得了一个布尔函数和扩散码的充分条件,在这个条件下对任意的线性组合布尔函数的次数不低于ｒ,文末给出了说明检验方法的实例。     

PLA分解与输入变量最小集的求解方法

寻求函数输入变量最小集和函数列阵分解问题,无论对于PLA或门阵列的制版布线及测试设计都是十分重要的。本文将它们统一考虑为用求解质蕴涵项表的覆盖矩阵取补(锐积)法求解。实际上PLA分解需要两次求解覆盖问题。首先求出各子列阵输入变量的全部最小集(或无冗余子集);然后再寻求其输入变量最小集能够覆盖全部子列阵输入变量最小集的一组子列阵,于是便获得函数列阵的分解结果。 本文针对上述这类规模较大的覆盖问题,围绕如何提高速度、节省内存,运用覆盖矩阵取补法构造出寻求输入变量最小集及PLA分解的算法。其特点是规则性强,实现方便,几乎不需另外占用内存便可求解出这些规模较大的覆盖问题。根据这些算法构成的自动逻辑综合软件可用于以寄存器传输级硬件描述语言(如DDL、AHPL等)为输入的计算机设计自动化系统。     

面向密码算法的非线性布尔函数实现技术研究

为了提升密码算法中非线性布尔函数实现效率,设计了串行与电路和以查找表为基础的并行化低次布尔函数实现架构,分别实现高次与项和低次与项。分析了不同并行化查找表实现密码算法中低次布尔函数的效率。结果表明,结合香农分解定理提出的并行化查找表架构处理性能可以达到1.02 GHz,不仅能够灵活适配密码算法中的非线性布尔函数,而且能够节省资源占用。     

逻辑函数绝对最小覆盖的改进算法

逻辑函数的绝对最小化算法存在的主要问题是运行时间过长和需要的存储空间过大。本文提出了一个从给定本源蕴涵项集合中抽出一个绝对最小覆盖的算法，而时间、空间的需求被大缩小了。