基于BDD启发策略的门级电路前像计算方法

摘要：

前像计算是无界模型检验中的一个基本问题.本文提出了一种新的基于二叉判定图(BDD)启发策略的门级电路前像计算方法.这种方法发崛和利用无关解子空间之间的组合,避免了重复搜索.由于使用了BDD来引导搜索过程,这种方法可以减少搜索中的冲突.同时,利用hash表记录回溯点的位置,可以加速回溯的过程.文章最后给出了实验结果,说明了这种方法的优越性.

关键词： 前像计算 无界模型检验 二叉判定图 门级电路

作者: 赵阳 刘领一 李晓维

作者单位: 中国科学院计算技术研究所先进测试技术实验室,北京,100080

会议类型: 国内会议

会议名称: 第四届中国测试学术会议

会议地点: 北戴河

会议语种:中文

页码: 424-430

在线出版日期: 2006-08-07（万方平台首次上网日期，不代表论文的发表时间）