一种支持大规模数据集的逻辑电路优化算法

摘要

精确法是两级逻辑优化的经典算法之一,但在质立方体集合期。模较大的情况下,会出现时空复杂度高、处理时间长等问题。为了解决上述问题,本文提出了一种支持大规模输出变量的改进选拔算法,该算法利用迭代搜索的思想,根据成本差值多次迭代求出多输出函数间的公共蕴涵项,同时引入相交迭代和局部搜索的思想,分别对极值运算和分支处理进行了改进。rn 实验结果表明,在现有计算机资源条件下,该算法为大规模数据条件下逻辑函数的优化提供了一种有效的方法。