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

摘要

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