用二叉决策图学习加速测试模式生成

摘要：

提出了基于总会聚点的有序二叉决策图(BDD)学习方法,用以提高使用布尔可满足性方法的组合电路测试模式生成系统的性能.它有效地结合了基于布尔可满足性、BDD和结构等方法各自的优点,可以有效地解决局部信号赋值之间的关联性.其具体的做法是:首先分析电路的拓扑结构,收集局部信号的关联信息,构造局部电路结构的BDD图;之后从该图中学习出引起冲突赋值的合取范式子句,将这些学习的子句增补到子句库中,用以限制和修剪测试生成的搜索空间,从而加速测试模式的生成过程.实验结果说明了该方法的有效性.

关键词：测试模式生成、布尔可满足性、二叉决策图学习

所属期刊栏目：21

分类号：TN407(微电子学、集成电路（IC）)

资助基金：国家自然科学基金50390060;50335020

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

页数：共7页

页码：63-69