KeywordsStandard Variable Digital System Verification Software Analytical Foundation Functional Verification
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- Bailey B, Martin G, and Anderson T (ed.) (2005) Taxonomies for the Development and Verification of Digital Systems. Springer.Google Scholar
- Lachish O, Marcus E, Ur S, Ziv A (2002) Hole Analysis for Functional Coverage Data, Proceedings of the 39th conference on Design Automation, ACM Press.Google Scholar
- Verisity Design Inc. (2002) e Language Reference Manual www.ieee1647.org.Google Scholar
- Verisity Design Inc. (2005) Spec-Based Verification, whitepaperGoogle Scholar
© Springer Science+Business Media, LLC 2008