Table of contents for Principles of functional verification / Andreas Meyer.
Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
Part One: Why Functional Verification is Necessary
Definition and Goals
A Look at What is Being Verified
Part Two: How Functional Verification Works
Determining the Validity of the Model
Measuring Verification Quality
Part Three: Application of Functional Verification
The Verification Plan
Summary: The Project
Verification Languages: Testbuilder, Vera, E
Other Project Verification Tools: Bug-tracking Systems
Other Project Verification Tools: Revision & Release Control Systems
Library of Congress subject headings for this publication: Integrated circuits Verification