Comprehensive functional verification : the complete industry cycle
One of challenges in chip and system design is determining whether the hardware works correctly. This book describes the verification cycle and details each stage. It follows the cycle, demonstrating how functional verification engages various aspects of the overall design effort and how individual cycle stages relate to the larger design process.
XXIII, 676 Seiten : Diagramme.
9780127518039, 0127518037
255405266
Part I: Introduction to Verification Chapter 1: Verification in the Chip Design Process Chapter 2: Verification Flow Chapter 3: Fundamentals of Simulation Based Verification Chapter 4: The Verification Plan Part II: Simulation-Based Verification Chapter 5: HDLs and Simulation Engines Chapter 6: Creating Environments Chapter 7: Strategies for Simulation-based Stimulus Generation Chapter 8: Strategies for Results Checking in Chapter 9: Pervasive Function Verification Chapter 10: Re-Use Strategies and System Simulation Part III: Formal Verification Chapter 11 Introduction to Formal Verification Chapter 12 Using Formal Verification Part IV: Comprehensive Verification Chapter 13: Completing the Verification Cycle Chapter 14: Advanced Verification Techniques Part V: Case Studies Chapter 15: Case Studies Glossary References
Literaturverz. S. [657] - 662