电路宽度制导的布尔推理
Circuit-Width Directed Boolean Reasoning作者机构：浙江林学院信息工程学院杭州311300 中国科学院计算技术研究所信息网络研究室
出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)
年 卷 期：2004年第16卷第11期
页 面：1568-1574页
核心收录：
学科分类：08[工学] 080402[工学-测试计量技术及仪器] 0804[工学-仪器科学与技术]
基 金：国家自然科学基金重点项目 ( 90 2 0 70 0 2 ) 北京市重点科技项目 (H0 2 0 12 0 12 0 13 0 ) 浙江省自然科学基金项目 (M60 3 0 97)资助
主 题：电路宽度 布尔推理 二叉判决图 布尔可满足性 测试产生
摘 要：在基于逻辑电路的布尔推理过程中 ,经常用到二叉判决图 (BDD)与布尔可满足性 (SAT)相结合的算法 由于电路宽度能很好地反映电路的复杂性 ,提出了一种基于电路宽度的启发式策略 ,根据电路宽度来实现SAT算法与BDD算法的交替 充分发挥两者的优势 ,不仅可以防止因构造BDD可能导致的内存爆炸 ,而且还能避免SAT算法可能遇到的超时现象 与以往同类策略相比 ,该启发式策略更节省计算资源 ,提高算法性能 针对组合电路的测试产生实验 。
维普期刊数据库
同方期刊数据库