• Design&Test
  • PrePrints
  • Abstract - A New Approach for Automatic Test Pattern Generation in Register transfer Level Circuits
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A New Approach for Automatic Test Pattern Generation in Register transfer Level Circuits
PrePrint
ISSN: 0740-7475
In this paper, we propose an approach to generate high-level test patterns from the arithmetic model of an RTL circuit using a hybrid canonical data structure based on a decision diagram. High-level simplified and fast symbolic path activation strategy as well as input justification is combined with test pattern generation for circuits under consideration. The current approach has been implemented for a range of small to large benchmark circuits. The results clearly demonstrate that tests generated using the proposed method have achieved high fault coverage for known sequential circuit benchmarks in very short CPU time and minimum memory usage.
Index Terms:
RTL Circuits,Automatic Testin,Canonical Representation,Test Pattern Generation
Citation:
M. Tabandeh, B. Alizadeh, Z. Navabi, "A New Approach for Automatic Test Pattern Generation in Register transfer Level Circuits," IEEE Design & Test of Computers, 06 Sept. 2012. IEEE computer Society Digital Library. IEEE Computer Society, <http://doi.ieeecomputersociety.org/10.1109/MDT.2012.2217471>
Usage of this product signifies your acceptance of the Terms of Use.