-
题名基于布尔可满足性的组合电路ATPG算法
被引量:1
- 1
-
-
作者
邓雨春
杨士元
邢建辉
-
机构
清华大学自动化系
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第7期78-80,84,共4页
-
文摘
布尔可满足性被深入研究并广泛应用于电子设计自动化等领域。该文提出了一种基于布尔可满足性的组合电路ATPG改进算法。在采用当前最新布尔可满足性求解程序加速策略的基础上,比如冲突驱动训练、冲突导向回跳和重启动技术等,引入电路结构信息来实现基于结构的分支决策。通过新增的电路结构信息层,布尔可满足性求解程序只需稍加修改,就能利用和及时更新此信息。最后给出的实验结果表明了算法的可行性和有效性。
-
关键词
布尔可满足性
atpg算法
组合电路
数字电路
电子设计自动化
电路结构
-
Keywords
boolean satisfiability,atpg,circuit structure
-
分类号
TN79
[电子电信—电路与系统]
-
-
题名组合电路等价性检验方法研究
- 2
-
-
作者
曾琼
闫炜
-
机构
中国科学院成都计算机应用研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第4期253-255,共3页
-
基金
国家自然科学基金资助项目(60373113)
国家"973"计划基金资助项目(2004CB318000)
-
文摘
分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
-
关键词
等价性检验
组合电路
二叉判定图
布尔可满足
自动测试向量产生
-
Keywords
Equivalence check
Combinational circuits
Binary decision diagram(BDD)
boolean satisfiability
Automatic test pattern generation (atpg)
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-