期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于布尔可满足性的组合电路ATPG算法 被引量:1
1
作者 邓雨春 杨士元 邢建辉 《计算机工程与应用》 CSCD 北大核心 2003年第7期78-80,84,共4页
布尔可满足性被深入研究并广泛应用于电子设计自动化等领域。该文提出了一种基于布尔可满足性的组合电路ATPG改进算法。在采用当前最新布尔可满足性求解程序加速策略的基础上,比如冲突驱动训练、冲突导向回跳和重启动技术等,引入电路结... 布尔可满足性被深入研究并广泛应用于电子设计自动化等领域。该文提出了一种基于布尔可满足性的组合电路ATPG改进算法。在采用当前最新布尔可满足性求解程序加速策略的基础上,比如冲突驱动训练、冲突导向回跳和重启动技术等,引入电路结构信息来实现基于结构的分支决策。通过新增的电路结构信息层,布尔可满足性求解程序只需稍加修改,就能利用和及时更新此信息。最后给出的实验结果表明了算法的可行性和有效性。 展开更多
关键词 布尔可满足性 atpg算法 组合电路 数字电路 电子设计自动化 电路结构
下载PDF
组合电路等价性检验方法研究
2
作者 曾琼 闫炜 《计算机工程》 CAS CSCD 北大核心 2007年第4期253-255,共3页
分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
关键词 等价性检验 组合电路 二叉判定图 布尔可满足 自动测试向量产生
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部