Digital System Verification
Author | : Lun Li |
Publisher | : Morgan & Claypool Publishers |
Total Pages | : 79 |
Release | : 2010 |
ISBN-10 | : 9781608451784 |
ISBN-13 | : 160845178X |
Rating | : 4/5 (84 Downloads) |
Download or read book Digital System Verification written by Lun Li and published by Morgan & Claypool Publishers. This book was released on 2010 with total page 79 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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