Hardware Design Verification

Chapter 1. An Invitation to Design Verification Chapter Highlights What is design verification?The basic verification principleVerification methodologySimulation-based verification versus formal verificationLimitations of form...

Chapter 2. Coding for Verification Chapter Highlights: Functional correctnessTiming correctnessSimulation performancePortability and maintainabilityquot;Synthesizability,quot; quot;debugability,quot; and general tool compati...

Chapter 3. Simulator Architectures and Operations Chapter Highlights: The compilersThe simulatorsSimulator taxonomy and comparisonSimulator operations and applicationsIncremental compilationSimulator console Once a design is...

Chapter 4. Test Bench Organization and Design Chapter Highlights Anatomy of a test bench and a test environmentInitialization mechanismClock generation and synchronizationStimulus generationResponse assessmentVerification util...

Chapter 5. Test Scenarios, Assertions, and Coverage Chapter Highlights Hierarchical verificationTest planPseudorandom test generatorAssertionsSystemVerilog assertionVerification coverage In the previous chapters we discussed...

Chapter 6. Debugging Process and Verification Cycle Chapter Highlights Failure capture, scope reduction, and bug trackingSimulation data dumpingIsolation of underlying causesDesign update and maintenance: revision controlRegre...

Chapter 7. Formal Verification Preliminaries Chapter Highlights Sets and operationsRelation, partition, partially ordered set, and latticeBoolean functions and representationsBoolean functional operatorsFinite-state automata a...

Chapter 8. Decision Diagrams, Equivalence Checking, and Symbolic Simulation Chapter Highlights Binary decision diagramsDecision diagram variantsDecision diagram-based equivalence checkingBoolean satisfiabilitySymbolic simulati...

Chapter 9. Model Checking and Symbolic Computation Chapter Highlights Properties, specifications, and logicProperty checkingSymbolic computation and model checkingSymbolic CTL model checkingComputational improvementsUsing mode...