Recent achievements in formal verification techniques allow for fault detection even in large real-world designs. Tool support for localizing the faulty statements is critical, because it reduces development time and overall project costs. Automated source-level debugging and a new and novel debugging model allow for source-level debugging of large VHDL designs at the granularity of statements and expressions. This technique is fully automated and does not require that an engineer be familiar with formal verification techniques.
Index Terms:
design error diagnosis, software debugging, model-based diagnosis, fault localization
Citation:
Bernhard Peischl, Franz Wotawa, "Automated Source-Level Error Localization in Hardware Designs," IEEE Design and Test of Computers, vol. 23, no. 1, pp. 8-19, Jan./Feb. 2006, doi:10.1109/MDT.2006.5
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb