Access Restriction

Author Ranjan, R.K. ♦ Coelho, C. ♦ Skalberg, S.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2009
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations
Subject Keyword Debugging ♦ Design automation ♦ Productivity ♦ Indexing ♦ Formal verification ♦ Algorithm design and analysis ♦ Automatic testing ♦ Computer bugs ♦ Design engineering ♦ Controllability ♦ traceless debugging ♦ Formal verification ♦ debugging ♦ behavioral indexing ♦ property verification ♦ post-silicon debugging
Abstract 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 ldquobehavioral indexingrdquo enables a top-down view of the counter-example and facilitates debugging by overlaying a higher abstraction view on the bit-level counter-example. We also discuss how formal technology can be leveraged to do ldquowhat-ifrdquo 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 debugging the ldquoabsence of witness/counter-examplerdquo).
Description Author affiliation: Jasper Design Autom., Mountain View, CA, USA (Ranjan, R.K.; Skalberg, S.)
ISBN 9781605584973
ISSN 0738100X
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2009-07-26
Publisher Place USA
Rights Holder Association for Computing Machinery, Inc. (ACM)
Size (in Bytes) 1.73 MB
Page Count 4
Starting Page 648
Ending Page 651

Source: IEEE Xplore Digital Library