梁峰
- 教授
- 博士生导师
- 硕士生导师
- 性别：男
- 学历：博士研究生毕业
- 学位：博士
- 所在单位：微电子学院
- 电子邮箱：
- 办公地点：
- 联系方式：
- 学科：电子科学与技术
- 学科：电子科学与技术
运用赋值相异生成高效率测试图形
- 发布时间：2025-04-30
- 论文名称：运用赋值相异生成高效率测试图形
- 发表刊物：西安交通大学学报
- 摘要：针对传统算法中赋值相异导致测试生成失败的问题,提出新的解决思路,利用赋值相异信息确认故障效应传播路径,以确保每次测试生成成功.与传统方法不同的是,新方法通过对故障传播函数的分析,总结出支配故障传播的规律,即故障传播不仅仅受线确认条件约束,还受敏化路径的拓扑结构的约束,线确认和蕴涵所导致的赋值相异有助于建立敏化正确的故障传播路径.进而提出自湮没和它湮没的概念和分析方法,并发展为运用赋值相异信息来确认故障效应传播路径的方法.新方法可生成精简的、故障覆盖率高的测试图形,并尽可能多地检测多重故障.基于ISCAS85 Benchmark的实验结果表明,新方法的测试数据长度和故障覆盖率均优于Synopsys Tetramax等现有方法.
- 合写作者：雷绍充，梁峰
- 卷号：41,2
- 页面范围：195-199
- 是否译文：否
- 发表时间：2007-02-01
- 合写作者：雷绍充，梁峰