Test generation at the algorithm-level for gate-level fault coverage

被引:6
作者
Bareisa, Eduardas [1 ]
Jusas, Vadus [1 ]
Motiejunas, Kestutis [1 ]
Seinauskas, Rimantas [1 ]
机构
[1] Kaunas Univ Technol, Software Dept, LT-51390 Kaunas, Lithuania
关键词
D O I
10.1016/j.microrel.2008.03.017
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
We present a test generation approach that enables to construct functional test patterns at early stages of the design according to the software prototype of the circuit. The presented approach is based on an input-output pin pair and an input-input-output pin triplet fault models. The basic properties of these models are analyzed. Random test generation was implemented on the base of these fault models. ISCAS'85 and ITC'99 benchmark circuits were used for the experiments. The obtained results for the presented fault models were compared with the gate level test generation. The problem of termination of random search is explored and the solution is proposed. (C) 2008 Elsevier Ltd. All rights reserved.
引用
收藏
页码:1093 / 1101
页数:9
相关论文
共 18 条
[1]  
Bareisa E, 2005, DSD 2005: 8TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, PROCEEDINGS, P192
[2]  
Bareisa E, 2005, INFORMATICA-LITHUAN, V16, P19
[3]   How an ''evolving'' fault model improves the behavioral test generation [J].
Buonanno, G ;
Ferrandi, F ;
Ferrandi, L ;
Fummi, F ;
Sciuto, D .
SEVENTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1997, :124-129
[4]   A test pattern generation algorithm exploiting behavioral information [J].
Chiusano, S ;
Corno, F ;
Prinetto, P .
SEVENTH ASIAN TEST SYMPOSIUM (ATS'98), PROCEEDINGS, 1998, :480-485
[5]  
CHO CH, 1994, P INT TEST C OCT, P968
[6]   RT-level ITC'99 benchmarks and first ATPG results [J].
Corno, F ;
Reorda, MS ;
Squillero, G .
IEEE DESIGN & TEST OF COMPUTERS, 2000, 17 (03) :44-53
[7]   Testability analysis and ATPG on behavioral RT-level VHDL [J].
Corno, F ;
Prinetto, P ;
Reorda, MS .
ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, 1997, :753-759
[8]   Test generation and testability alternatives exploration of critical algorithms for embedded applications [J].
Ferrandi, F ;
Fummi, F ;
Sciuto, D .
IEEE TRANSACTIONS ON COMPUTERS, 2002, 51 (02) :200-215
[9]  
GOEL P, 1981, IEEE T COMPUT, V30, P215, DOI 10.1109/TC.1981.1675757
[10]  
JUSAS V, 2001, 2 IEEE LAT AM TEST W, P90