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

• 作者: 杨士元 邓雨春 邢建辉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 布尔可满足性 ATPG算法 电路结构
• 年，卷（期）: 2003,（7）
• 所属期刊栏目: 学术探讨
• 页码范围: 78-80,84
• 页数: 4页
• 分类号: TP301.6
• 字数: 3633字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.07.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨士元	清华大学自动化系	124	1303	17.0	30.0
2	邢建辉	清华大学自动化系	9	37	4.0	6.0
3	邓雨春	清华大学自动化系	3	23	3.0	3.0