一种支持大规模数据集的逻辑电路优化算法
精确法是两级逻辑优化的经典算法之一,但在质立方体集合期。模较大的情况下,会出现时空复杂度高、处理时间长等问题。为了解决上述问题,本文提出了一种支持大规模输出变量的改进选拔算法,该算法利用迭代搜索的思想,根据成本差值多次迭代求出多输出函数间的公共蕴涵项,同时引入相交迭代和局部搜索的思想,分别对极值运算和分支处理进行了改进。 实验结果表明,在现有计算机资源条件下,该算法为大规模数据条件下逻辑函数的优化提供了一种有效的方法。
逻辑优化 精确算法 迭代搜索 局部搜索
叶静 于磊 曾光裕 郭毅
解放军信息工程人学信息工程学院 河南郑州 450002
国内会议
西安
中文
91-97
2008-09-25（万方平台首次上网日期，不代表论文的发表时间）