Sciweavers

Share
DAC
2009
ACM

Beyond verification: leveraging formal for debugging

10 years 2 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the overall verification plan. This has led to significant verification productivity across the entire design flow (from architectural verification to post-silicon debugging). As verification productivity is improved, debugging efficiency has become more important than before. In this paper, we discuss how formal technology can be leveraged to bring efficiency in the debugging process. In particular, we discuss how “behavioral indexing” enables a top-down view of the counter-example and facilitates g by overlaying a higher abstraction view on the bit-level counter-example. We also discuss how formal technology can be leveraged to do “what-if” analysis to localize the root cause of the bug. We also discuss how formal technology supports the even more challenging task of traceless debugging (the process of d...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where DAC
Authors Rajeev K. Ranjan, Claudionor Coelho, Sebastian Skalberg
Comments (0)
books