loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th International Conference on VLSI Design
Hierarchical Error Diagnosis Targeting RTL Circuits
Calcutta, India
January 04-January 07
ISBN: 0-7695-0487-6
Vamsi Boppana, Fujitsu Laboratories of America, Inc.
Indradeep Ghosh, Fujitsu Laboratories of America, Inc.
Rajarshi Mukherjee, Fujitsu Laboratories of America, Inc.
Jawahar Jain, Fujitsu Laboratories of America, Inc.
Masahiro Fujita, Fujitsu Laboratories of America, Inc.
Diagnosis algorithms targeting design errors in RTL circuit descriptions are presented in this paper. The algorithms presented exploit the hierarchy available in RTL designs to locate design errors. Xlists are shown to be useful to capture the effects of design errors within components of RTL designs. Information from the simulation of Xlists is used to systematically diagnose components in error. Experiments are performed on RTL benchmark circuits using a prototype that we have developed to demonstrate the rapid and accurate location of errors. They also show that diagnosis at the RTL offers a significantly superior alternative to diagnosis at the gate-level both in terms of diagnostic accuracy and computational efficiency.
Index Terms:
Diagnosis, Debugging, Error modeling, Fault modeling, Verification, Testing
Citation:
Vamsi Boppana, Indradeep Ghosh, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, "Hierarchical Error Diagnosis Targeting RTL Circuits," vlsid, pp.436, 13th International Conference on VLSI Design, 2000
Usage of this product signifies your acceptance of the Terms of Use.