This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
37th Conference on Design Automation (DAC'00)
Automatic Test Pattern Generation for Functional RTL Circuits using Assignment Decision Diagrams
Los Angeles, CA
June 05-June 09
ISBN: 1-58113-1897-9
Masahiro Fujita, Fujitsu Laboratories of America, Sunnyvale, CA
Indradeep Ghosh, Fujitsu Laboratories of America, Sunnyvale, CA
In this paper, we present an algorithm for generating test patterns automatically from functional register transfer level (RTL) circuits that target detection of stuck-at faults in the circuit at the logic level. To do this we utilize a data structure named assignment decision diagram which has been proposed previously in the field of high level synthesis. The advent of RTL synthesis tools have made functional RTL designs widely popular. This paper addresses the problem of test pattern generation directly at this level due to a number of advantages inherent at the RTL. Since the number of primitive elements at the RTL is usually lesser than the logic level, the problem size is reduced leading to a reduction in the test generation time over logic-level ATPG. A reduction in the number of backtracks can lead to improved fault coverage and reduced test application time over logic-level techniques. The test patterns thus generated can also be used to perform RTL-RTL and RTL-logic validation. The algorithm is very versatile and can tackle almost any type of single-clock design though performance varies according to the design style. It gracefully degrades to an inefficient logic-level ATPG algorithm if it is applied to a logic-level circuit. Experimental results demonstrate that over 1000 times reduction in test generation time can be achieved by this algorithm on certain types of RTL circuits without any compromise in fault coverage.
Citation:
Masahiro Fujita, Indradeep Ghosh, "Automatic Test Pattern Generation for Functional RTL Circuits using Assignment Decision Diagrams," dac, pp.43-48, 37th Conference on Design Automation (DAC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.