Analytical Foundation

  • Alan Wiemann


Standard 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.

Unable to display preview. Download preview PDF.


  1. Bailey B, Martin G, and Anderson T (ed.) (2005) Taxonomies for the Development and Verification of Digital Systems. Springer.Google Scholar
  2. 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
  3. Verisity Design Inc. (2002) e Language Reference Manual Scholar
  4. Verisity Design Inc. (2005) Spec-Based Verification, whitepaperGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  • Alan Wiemann
    • 1
  1. 1.San CarlosUSA

Personalised recommendations