Digital System Verification available in Paperback
- Pub. Date:
- Morgan and Claypool Publishers
This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime. After surveying the basic principles of formal verification and simulation, this book describes the IDV approach to integrated circuit functional validation.
Table of Contents: Introduction / Formal Methods Background / Simulation Approaches / Integrated Design Validation System / Conclusion and Summary
|Publisher:||Morgan and Claypool Publishers|
|Series:||Synthesis Lectures on Digital Circuits and Systems Series|
|Product dimensions:||7.50(w) x 9.25(h) x 0.21(d)|