电路宽度制导的布尔推理

摘要：

在基于逻辑电路的布尔推理过程中,经常用到二叉判决图(BDD)与布尔可满足性(SAT)相结合的算法 .由于电路宽度能很好地反映电路的复杂性,提出了一种基于电路宽度的启发式策略,根据电路宽度来实现SAT算法与BDD算法的交替 .充分发挥两者的优势,不仅可以防止因构造BDD可能导致的内存爆炸,而且还能避免SAT算法可能遇到的超时现象 .与以往同类策略相比,该启发式策略更节省计算资源,提高算法性能 .针对组合电路的测试产生实验,证实了其在布尔推理中的效率.

关键词：电路宽度、布尔推理、二叉判决图、布尔可满足性、测试产生

所属期刊栏目：16

分类号：TP391.76(计算技术、计算机技术)

资助基金：国家自然科学基金90207002;北京市科研项目H020120120130;浙江省自然科学基金M603097

在线出版日期：2004-12-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1568-1574