Standardized Functional Verification

  • Alan¬†Wiemann

Table of contents

  1. Front Matter
    Pages XIII-XVII
  2. Alan Wiemann
    Pages 9-38
  3. Alan Wiemann
    Pages 39-70
  4. Alan Wiemann
    Pages 71-120
  5. Alan Wiemann
    Pages 121-136
  6. Alan Wiemann
    Pages 137-156
  7. Alan Wiemann
    Pages 157-181
  8. Back Matter
    Pages 183-275

About this book


Standardized Functional Verification describes the science of functional verification that applies to any digital hardware system. With a precise and comprehensive terminology this book describes a thorough technical framework for achieving superior results with greater efficiency. It also defines a scientific basis for achieving functional closure and shows how true functional closure can be measured by software.

The author provides a wealth of practical guidance to the practicing professional. It describes how to compare results from differing projects and how to assess the risk of functional bugs at tape-out or at any other critical product juncture. The book also shows consumers how to compare IP offerings from multiple vendors. For producers, it describes how to verify IP in a manner that meets customer needs. Producers and consumers of silicon IP therefore have a solid framework to communicate requirements and to align expectations effectively and efficiently.

Standardized Functional Verification is a valuable reference for verification engineers and managers, and also for developers of verification software. The principles and theory this book describes will drive creation of the next generation of verification tools.


Functional Verification Hardware Software Standard computer-aided design (CAD) development digital design integrated circuit microprocessor

Authors and affiliations

  • Alan¬†Wiemann
    • 1
  1. 1.San CarlosUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media, LLC 2008
  • Publisher Name Springer, Boston, MA
  • eBook Packages Engineering
  • Print ISBN 978-0-387-71732-6
  • Online ISBN 978-0-387-71733-3
  • Buy this book on publisher's site