Principles of Functional Verification

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