Lets Explore,

Digital System Verification: A Combined Formal Methods and Simulation Framework(Synthesis Lectures on Digital Circuits and Systems)

(Paperback)

Lun Li, Mitchel Thornton,

Morgan & Claypool Publishers (Publisher)

Published

2010

Reviews

Technology, Engineering, Agriculture, Industrial processes Energy technology and engineering Electrical engineering

By: Lun Li, Mitchel Thornton | Publisher: Morgan & Claypool Publishers | Released: 24 Feb 2010

Ships within 10-12 days

Out Of Stock

₹1963.00

₹2765.00

29% off

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