Using Assignment Inconsistence to Generate High Efficient Test Patterns

雷绍充; 梁峰

您当前的位置：

首页 >

文章列表页 >

Using Assignment Inconsistence to Generate High Efficient Test Patterns

更新时间：2025-12-08

- Using Assignment Inconsistence to Generate High Efficient Test Patterns
- Vol. 41, Issue 2, Pages: 195-199(2007)
- 作者机构：
  
  西安交通大学电子与信息工程学院,西安,710049
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN407;TP391.7
- Online First：10 February 2007，
  
  Published：2007
- 稿件说明：
移动端阅览
雷绍充, 梁峰. Using Assignment Inconsistence to Generate High Efficient Test Patterns[J]. 2007, 41(2): 195-199.
DOI：

雷绍充, 梁峰. Using Assignment Inconsistence to Generate High Efficient Test Patterns[J]. 2007, 41(2): 195-199. DOI：

摘要

针对传统算法中赋值相异导致测试生成失败的问题

提出新的解决思路

利用赋值相异信息确认故障效应传播路径

以确保每次测试生成成功.与传统方法不同的是

新方法通过对故障传播函数的分析

总结出支配故障传播的规律

即故障传播不仅仅受线确认条件约束

还受敏化路径的拓扑结构的约束

线确认和蕴涵所导致的赋值相异有助于建立敏化正确的故障传播路径.进而提出自湮没和它湮没的概念和分析方法

并发展为运用赋值相异信息来确认故障效应传播路径的方法.新方法可生成精简的、故障覆盖率高的测试图形

并尽可能多地检测多重故障.基于ISCAS85 Benchmark的实验结果表明

新方法的测试数据长度和故障覆盖率均优于Synopsys Tetramax等现有方法.

Abstract

To solve the problem that assignment inconsistence leads to failure of test generation in traditional algorithms

a novel method is developed to identify the correct paths for propagating fault effects by assignment inconsistence and ensure that every test generation is successful. In the method

the rules that dominate the fault propagation are summarized through analyzing fault propagation functions

namely

the faults propagation not only is constrained by line justification

but also depends on the topologies of the sensitized paths. It is found that the assignment inconsistence caused by the line justification and implication is helpful for creating sensitized paths. Moreover

the concept and analyzing method of self-masking and other-masking are presented. The proposed method can generate simplified test patterns with high fault coverage

and can detect multiple faults as many as possible. Experimental results based on ISCAS85 benchmark show that the length of test data and coverage of the proposed method are superior to those of existing methods available.

关键词

Keywords

references

Lingappan L, Ravi S, Jha N K. Satisfiability-based test generation for nonseparable RTL controller-datapath circuits [J]. IEEE Trans on CAD, 2006, 25(3): 544-557.

Mourad S. Principle of testing electronic systems [M]. New York: John Wiley Sons, Inc., 2000.

Bushnell L M, Vishwani D A. Essentials of electronic testing for digital, memory and mixed-signal VLSI circuits [M]. Dordrecht, Netherlands: Kluwer Academic Publishers, 2000.

Amyeen M E, Fuchs W K, Pomeranz I, et al. Fault equivalence identification in combinational circuits using implication and evaluation techniques [J]. IEEE Trans on CAD, 2003, 22(7): 922-936.

Dwarakanath K N, Blanton R D. Exploiting dominance and equivalence using fault tuples [C]∥Proc 20th IEEE VLSI Test Symposium. Los Alamitos, USA: IEEE CS Press, 2002:269-274.

Stephan P, Brayton R, Sangiovanni A. Combinational test generation using satisfiability [J]. IEEE Trans on CAD, 1996, 15(8):1167-1176.

Junhao S, Görschwin F, Drechsler R, et al. PASSAT: efficient SAT-based test pattern generation for industrial circuits [C]∥Proc IEEE Computer Society Annual Symposium on VLSI. Los Alamitos, USA: IEEE CS Press, 2005: 212-217.

Yang K, Cheng K T, Wang L C. TranGen: a SAT-based ATPG for path-oriented transition faults [C]∥IEEE Proc ASP-DAC 2004. Los Alamitos, USA: IEEE CS Press, 2004: 92-97.

Kameshwar C, Michael S H. Decision selection and learning for an ‘all-solutions ATPG engine [C]∥Proceedings of International Test Conference. Los Alamitos, USA: IEEE CS Press, 2004: 607-616.

Lintao Z, Madigan C F, Moskewicz M H, et al. Efficient conflict driven learning in a Boolean satisfiability solver [C]∥IEEE/ACM International Conference on Computer Aided Design. Los Alamitos, USA: IEEE CS Press, 2001: 279-285.

Sheng S, Hsiao M S. Success-driven learning in ATPG for preimage computation [J]. IEEE Design Test of Computers, 2004, 21(6): 504-512.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Numerical Simulation of the Energy Conversion Process in Thermoacoustic Engines with Different Stack Materials

Numerical Simulation of Heat-Moisture Barrier Performance of a Horizontal Air Curtain in Cold Storage

Mechanism and Optimal Control Strategy for Hysteresis in Rapid Dehumidification Response of Indirect Thermal Systems in Electric Vehicles

Influence of Structural Parameters on the Summer Operational Characteristics of a Three-Tower-in-One Indirect Air-Cooling System

Integrated and Joint Design Optimization of Centrifugal Compressor Impeller and Casing Treatment at Multiple Working Points

Related Author

No data

Related Institution

No data

⁰