基于布尔可满足性的组合电路ATPG算法

摘要：

布尔可满足性被深入研究并广泛应用于电子设计自动化等领域.该文提出了一种基于布尔可满足性的组合电路ATPG改进算法.在采用当前最新布尔可满足性求解程序加速策略的基础上,比如冲突驱动训练、冲突导向回跳和重启动技术等,引入电路结构信息来实现基于结构的分支决策.通过新增的电路结构信息层,布尔可满足性求解程序只需稍加修改,就能利用和及时更新此信息.最后给出的实验结果表明了算法的可行性和有效性.

关键词：布尔可满足性、ATPG算法、电路结构

所属期刊栏目：39

分类号：TP301.6(计算技术、计算机技术)

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

页数：共4页

页码：78-80,84