Name
Abstract | ||
|---|---|---|
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) source. This process is helpful in locating errors but does little to help designers reason about the how and why. Designers usually have to build a mental image of how data is propagated and used over the simulation run. As designs get more and more complex, there is a need to facilitate this reasoning process, and automate the debugging. In this paper, we present innovative debug techniques to address this shortage in adequate facilities for reasoning about behavior, and debugging errors. Our approach delivers significant technology advances in RTL debugging; it is the first comprehensive and methodical approach of its kind that extracts, analyzes, traces, explores, and queries a design's multi-cycle temporal behavior. We show how our automatic tracing scheme can shorten debugging time by orders of magnitude for unfamiliar designs. We also demonstrate how the advanced debug techniques reduce the number of regression iterations. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1145/775832.775927 | Design Automation Conference |
Keywords | Field | DocType |
debugging error,simulation result,multi-cycle temporal behavior,debug,simulation,debugging time,rtl debugging,innovative debug technique,visualization,reasoning,methodical approach,verification,designers reason,reasoning process,advanced technique,advanced debug technique,algorithm design and analysis,testing,computational modeling,hardware description language,formal verification,hardware description languages,register transfer level,intellectual property | Permission,Programming language,Computer science,Background debug mode interface,Register-transfer level,Tracing,Hardware description language,Debugging,Algorithmic program debugging,Formal verification | Conference |
ISSN | ISBN | Citations |
0738-100X | 1-58113-688-9 | 14 |
PageRank | References | Authors |
3.16 | 5 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yu-Chin Hsu | 1 | 538 | 60.30 |
| Bassam Tabbara | 2 | 46 | 7.55 |
| Yirng-an Chen | 3 | 304 | 23.80 |
| Fur-Shing Tsai | 4 | 124 | 16.54 |