Title :
Hierarchical error diagnosis targeting RTL circuits
Author :
Boppana, Vamsi ; Ghosh, Indradeep ; Mukherjee, Rajarshi ; Jain, Jawahar ; Fujita, Masahiro
Author_Institution :
Fujitsu Labs. of America, Sunnyvale, CA, USA
Abstract :
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
Keywords :
circuit CAD; circuit analysis computing; fault diagnosis; formal verification; logic CAD; RTL circuit descriptions; RTL circuits; Xlists; computational efficiency; design errors; diagnosis algorithms; diagnostic accuracy; gate-level diagnosis; hierarchical error diagnosis; Algorithm design and analysis; Circuit simulation; Computational efficiency; Computational modeling; Computer bugs; Costs; Debugging; Hardware design languages; Laboratories; Prototypes;
Conference_Titel :
VLSI Design, 2000. Thirteenth International Conference on
Conference_Location :
Calcutta
Print_ISBN :
0-7695-0487-6
DOI :
10.1109/ICVD.2000.812646