10.16526/j.cnki.11-4762/tp.2017.03.006
串扰时延故障的SAT-ATPG算法研究
随着芯片运行速度不断提高,对串扰时延的测试已成为一个迫切需要解决的问题;文中提出一种面向多条攻击线的受害线上最大串扰噪声的测试生成方法;此方法建立了串扰通路时延故障模型、分析了布尔可满足性问题、讨论了七值逻辑,研究了串扰时延故障测试转换为CNF的逻辑表达式,在非鲁棒测试条件下约简CNF范式,并提出了串扰时延故障的SAT-ATPG算法;最后通过实例分析,对本文算法进行验证;结果表明:该算法对串扰时延故障的测试矢量的生成是有效的.
串扰时延故障、布尔可满足性、时延测试
25
TP3(计算技术、计算机技术)
2017-04-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
18-21