Computation of disjoint cube representations using a maximal binate variable heuristic
Computation of disjoint cube representations using a maximal binate variable heuristic
复制标题
使用最大二元变量启发式计算不相交立方体表示
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
M. A. Thornton
中科院分区：
文献类型：
--
作者：
L. Shivakumaraiah;M. A. Thornton
本文描述了一种计算布尔函数的不交积和（DSOP）形式的方法。该算法利用一组立方体中最二进制变量的性质来计算DSOP形式。该技术使用一个最小化的总和产品（SOP）立方体列表作为输入。实验结果表明，该算法产生的DSOP立方体列表的大小与其他方法产生的DSOP立方体列表的大小相比，该技术的效率，并显示出上级的结果出现在许多情况下的一组基准函数。
A method for computing the disjoint-sum-of-products (DSOP) form of Boolean functions is described. The algorithm exploits the property of the most binate variable in a set of cubes to compute a DSOP form. The technique uses a minimized sum-of-products (SOP) cube list as input. Experimental results comparing the size of the DSOP cube list produced by this algorithm and those produced by other methods demonstrate the efficiency of this technique and show that superior results occur in many cases for a set of benchmark functions.