Verwandte Artikel zu Digital System Verification: A Combined Formal Methods...
Digital System Verification: A Combined Formal Methods and Simulation Framework (Synthesis Lectures on Digital Circuits and Systems, 27, Band 27) - Softcover
Inhaltsangabe
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
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.