System-on-a-Chip (SoC) Verification Methods and Technologies

Author: (USA) Lasky / Patterson / Xinhui / Sun Haiping / Ding Jian
Publisher:
Publish Date: 2005-01-01
Features: This book provides a detailed introduction to various verification methods and tools at different design abstraction levels and stages, from high-level system-level verification to the final physical implementation and sign-off. The main content includes various types of simulations, software/hardware co-verification, digital/analog mixed verification, netlist static verification, physical verification, testbench migration, formal modeling and equivalence checking, code static analysis and code coverage analysis, directed random testing, and other verification techniques. Taking the Bluetooth System-on-Chip (SoC) as an example, each chapter includes practical code and scripts for reference, helping readers gain a deeper understanding. The book is comprehensive and detailed, serving as a valuable reference material for SoC design engineers, researchers, and students in relevant fields at universities. It also offers significant guidance and reference value for those working in traditional integrated circuit design and verification.