摘要
在基于逻辑电路的布尔推理过程中 ,经常用到二叉判决图 (BDD)与布尔可满足性 (SAT)相结合的算法 由于电路宽度能很好地反映电路的复杂性 ,提出了一种基于电路宽度的启发式策略 ,根据电路宽度来实现SAT算法与BDD算法的交替 充分发挥两者的优势 ,不仅可以防止因构造BDD可能导致的内存爆炸 ,而且还能避免SAT算法可能遇到的超时现象 与以往同类策略相比 ,该启发式策略更节省计算资源 ,提高算法性能 针对组合电路的测试产生实验 。
Binary decision diagram (BDD) and Boolean satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme Since circuit-width is a good measure of circuit complexity, in this paper, we present a circuit-width based heuristic, which can be used to integrate the BDD technique and SAT technique for Boolean reasoning The scheme switches one engine to another in terms of the circuit-width, thus it takes both advantages of these two engines The circuit-width directed Boolean reasoning algorithm avoids the potential memory explosion caused by constructing the BDDs, and also prevents from the time-outs phenomenon of SAT techniques In comparison with the previous heuristic schemes in literature, the new schemes can save more computational resources, and improve the performance of Boolean reasoning algorithms On the automatic test pattern generation of combinational circuits, the experimental results demonstrate that the proposed heuristic scheme can be applied in Boolean reasoning effectively
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第11期1568-1574,共7页
Journal of Computer-Aided Design & Computer Graphics
基金
国家自然科学基金重点项目 ( 90 2 0 70 0 2 )
北京市重点科技项目 (H0 2 0 12 0 12 0 13 0 )
浙江省自然科学基金项目 (M60 3 0 97)资助
关键词
电路宽度
布尔推理
二叉判决图
布尔可满足性
测试产生
circuit width
Boolean reasoning
binary decision diagram
Boolean satisfiability
test generation