Contents : - Preface - Chapter 1 Verification Technologies - Chapter 2 Verification Languages - Chapter 3 Standards - Chapter 4 Functional Verification in the Context of Design Reuse - Chapter 5 Verification Plans:Top Ten - Chapter 6 Transaction-Based Predictor Models - Chapter 7 Formal Verification of High-Level Requirements - Chapter 8 HDL Lint - Chapter 9 Hardware/Software Co-Verification - Chapter 10 Coverage-Based Verification - Chapter 11 A Unified Functional Verification Approach for Mixed Analog- Digital ASIC Designs - Chapter 12 Generating Stimulus - Chapter 13 Automating System-on-Chip Debug - Chapter 14 Managing a 15+ Million Gate ASIC Design Verification - Chapter 15 Simplifying Mixed-Signal Simulation Using Modular Virtual Test Equipment in VHDL - Chapter 16 Assertion-Based Verification for ARM Based SoC Design - Chapter 17 Formal Verification of a Key Block of the TriCore2 Microprocessor - Chapter 18 Functional Verification of Configurable Embedded Processors - Acronym Guide