串扰时延故障的SAT-ATPG算法研究

• 作者: 刘鹏 尚玉玲 钱尚
• 来源期刊: 计算机测量与控制
• 关键词: 串扰时延故障 布尔可满足性 时延测试
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 测试与故障诊断
• 页码范围: 18-21
• 页数: 4页
• 分类号: TP3
• 语种: 中文
• DOI: 10.16526/j.cnki.11-4762/tp.2017.03.006

摘要

随着芯片运行速度不断提高,对串扰时延的测试已成为一个迫切需要解决的问题;文中提出一种面向多条攻击线的受害线上最大串扰噪声的测试生成方法;此方法建立了串扰通路时延故障模型、分析了布尔可满足性问题、讨论了七值逻辑,研究了串扰时延故障测试转换为CNF的逻辑表达式,在非鲁棒测试条件下约简CNF范式,并提出了串扰时延故障的SAT-ATPG算法;最后通过实例分析,对本文算法进行验证;结果表明:该算法对串扰时延故障的测试矢量的生成是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尚玉玲	桂林电子科技大学电子工程与自动化学院	45	255	8.0	14.0
2	刘鹏	桂林电子科技大学电子工程与自动化学院	10	14	3.0	3.0
3	钱尚	桂林电子科技大学电子工程与自动化学院	2	0	0.0	0.0