Automated Design Debugging With Abstraction and Refinement


Design debugging is one of the major remaining manual processes in the semiconductor design cycle. Despite recent advances in the area of automated design debugging, more effort is required to cope with the size and complexity of today's designs. This paper introduces an abstraction and refinement methodology to enable current debuggers to operate on… (More)
DOI: 10.1109/TCAD.2009.2030593


14 Figures and Tables