1. An Invitation to Design Verification
2. Coding for Verification
3. Simulator Architectures and Operations
4. Test Bench Organization and Design
5. Test Scenarios, Assertions, and Coverage
6. Debugging Process and Verification Cycle
7. Formal Verification Preliminaries
8. Decision Diagrams, Equivalence Checking, and Symbolic Simulation
9. Model Checking and Symbolic Computation
