Title :
EvoDeb: Debugging Evolving Hardware Designs
Author :
Bhattacharjee, D. ; Banerjee, A. ; Chattopadhyay, A.
Author_Institution :
Indian Stat. Inst., Kolkata, India
Abstract :
Increasing design complexity, skyrocketing fabrication costs for modern digital systems coupled with an unacceptably large number of silicon respins led to growing importance of comprehensive and automated design verification. Akin to software configuration management, it is becoming commonplace to maintain large hardware design code-bases with hardware configuration management tools. A missing piece of crucial technology in this approach is to manage design verification across evolving hardware designs. In this paper, we propose an efficient methodology for automatically localizing design errors across design versions. The proposed technique, Evo Deb, can be easily integrated into a hardware configuration management framework and is scalable for large designs. We demonstrate the efficacy of Evo Deb on a couple of bugs on open-source hardware designs across multiple evolving variants.
Keywords :
configuration management; digital systems; formal verification; program debugging; EvoDeb; automated design verification; comprehensive design verification; debugging evolving hardware designs; design complexity; fabrication costs; hardware configuration management tools; hardware design code-bases; modern digital systems; open-source hardware designs; silicon respins; software configuration management; Clocks; Computer bugs; Debugging; Hardware; Hardware design languages; Sensitivity; Time-domain analysis;
Conference_Titel :
VLSI Design (VLSID), 2015 28th International Conference on
Conference_Location :
Bangalore
DOI :
10.1109/VLSID.2015.87