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.

Counter Part One: Why Functional Verification is Necessary Definition and Goals Architecture A Look at What is Being Verified Part Two: How Functional Verification Works Determining the Validity of the Model Verification Methods Random Testing Co-Simulation Measuring Verification Quality Verification Languages Part Three: Application of Functional Verification The Verification Plan Projecting Costs 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