结合ATPG和SAT的无界模型检验前像计算方法

刘领一; 赵阳; 吕涛; 李华伟; 李晓维

首页> 中文期刊> 《计算机辅助设计与图形学学报》 >结合ATPG和SAT的无界模型检验前像计算方法

结合ATPG和SAT的无界模型检验前像计算方法

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性.

著录项

来源
《计算机辅助设计与图形学学报》 |2007年第3期|376-380|共5页
作者
刘领一; 赵阳; 吕涛; 李华伟; 李晓维;
展开▼
作者单位

中国科学院计算机系统结构重点实验室,北京,100080;

中国科学院计算技术研究所计算机先进测试技术实验室,北京,100080;

中国科学院研究生院,北京,100049;

中国科学院计算机系统结构重点实验室,北京,100080;

中国科学院计算技术研究所计算机先进测试技术实验室,北京,100080;

中国科学院研究生院,北京,100049;

中国科学院计算机系统结构重点实验室,北京,100080;

中国科学院计算技术研究所计算机先进测试技术实验室,北京,100080;

中国科学院计算机系统结构重点实验室,北京,100080;

中国科学院计算技术研究所计算机先进测试技术实验室,北京,100080;

中国科学院计算机系统结构重点实验室,北京,100080;

中国科学院计算技术研究所计算机先进测试技术实验室,北京,100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
形式验证; 无界模型检验; 前像计算; 自动化测试激励生成; 布尔可满足性问题;

相似文献

中文文献
外文文献
专利

1. 无界模型检验中融合电路信息的SAT算法研究 [J] . 赵阳 ,吕涛 ,李华伟 . 计算机学报 . 2009,第006期
2. 串扰时延故障的SAT-ATPG算法研究 [J] . 尚玉玲 ,钱尚 ,刘鹏 . 计算机测量与控制 . 2017,第003期
3. SAT问题在量子体系计算机上的计算方法 [J] . 陈章 ,高甄 . 福建电脑 . 2008,第001期
4. 激光辐射波前像差矫正模型的对称性和不变解 [J] . 郑明亮 ,冯鲜 ,邓斌 . 量子电子学报 . 2019,第3期
5. 基于主观式测量人眼波前像差的眼模型研究 [J] . 郭欢庆 ,王肇圻 ,赵秋铃 . 光子学报 . 2005,第11期
6. 基于BDD启发策略的门级电路前像计算方法 [C] . 赵阳 ,刘领一 ,李晓维 . 第四届中国测试学术会议 . 2006
7. 基于SAT的高速互连通路串扰时延故障的ATPG算法研究 [A] . 彭彩军 . 2015

结合ATPG和SAT的无界模型检验前像计算方法

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅