New Techniques to Reduce the Execution Time of Functional Test Programs

被引:17
作者
Gaudesi, Marco [1 ]
Pomeranz, Irith [2 ]
Reorda, Matteo Sonza [3 ]
Squillero, Giovanni [3 ]
机构
[1] Ominee Srl, Via Carcano 26, I-10153 Turin, Italy
[2] Purdue Univ, W Lafayette, IN 47907 USA
[3] Politecn Torino, I-10129 Turin, Italy
关键词
Software-based self-test; test compaction; test generation; test program; STATIC-TEST COMPACTION; SELF-TEST; AUTOMATIC-GENERATION; TEST SEQUENCES; IMPROVE; CACHES;
D O I
10.1109/TC.2016.2643663
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The compaction of test programs for processor-based systems is of utmost practical importance: Software-Based Self-Test (SBST) is nowadays increasingly adopted, especially for in-field test of safety-critical applications, and both the size and the execution time of the test are critical parameters. However, while compacting the size of binary test sequences has been thoroughly studied over the years, the reduction of the execution time of test programs is still a rather unexplored area of research. This paper describes a family of algorithms able to automatically enhance an existing test program, reducing the time required to run it and, as a side effect, its size. The proposed solutions are based on instruction removal and restoration, which is shown to be computationally more efficient than instruction removal alone. Experimental results demonstrate the compaction capabilities, and allow analyzing computational costs and effectiveness of the different algorithms.
引用
收藏
页码:1268 / 1273
页数:6
相关论文
共 43 条
[1]  
[Anonymous], 2006, ITC 06
[2]  
[Anonymous], 2009, MINIMIPS OV
[3]  
[Anonymous], 2015, 2015 20 IEEE EUROPEA
[4]  
[Anonymous], 2014, P DES AUT TEST EUR C
[5]   Test Program Generation for Communication Peripherals in Processor-Based SoC Devices [J].
Apostolakis, Andreas ;
Gizopoulos, Dimitris ;
Psarakis, Mihalis ;
Ravotto, Danilo ;
Reorda, Matteo Sonza .
IEEE DESIGN & TEST OF COMPUTERS, 2009, 26 (02) :52-62
[6]   On the Functional Test of the Register Forwarding and Pipeline Interlocking Unit in Pipelined Processors [J].
Bernardi, P. ;
Cantoro, R. ;
Ciganda, L. ;
Du, B. ;
Sanchez, E. ;
Reorda, M. Sonza ;
Grosso, M. ;
Ballan, O. .
2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, :52-57
[7]  
Bernardi P., 2014, P IEEE INT S DEF FAU, P298
[8]   An effective technique for the automatic generation of diagnosis-oriented programs for processor cores [J].
Bernardi, Paolo ;
Sanchez, Edgar Ernesto Sanchez ;
Schillaci, Massimiliano ;
Squillero, Giovanni ;
Reorda, Matteo Sonza .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2008, 27 (03) :570-574
[9]   Development Flow for On-Line Core Self-Test of Automotive Microcontrollers [J].
Bernardi, Paolo ;
Cantoro, Riccardo ;
De Luca, Sergio ;
Sanchez, Ernesto ;
Sansonetti, Alessandro .
IEEE TRANSACTIONS ON COMPUTERS, 2016, 65 (03) :744-754
[10]   Static compaction using overlapped restoration and segment pruning [J].
Bommu, SK ;
Chakradhar, ST ;
Doreswamy, KB .
1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, :140-146