Digital System Verification

Digital System Verification

by Lun Li, Mitchell Thornton
     
 

ISBN-10: 160845178X

ISBN-13: 9781608451784

Pub. Date: 02/24/2010

Publisher: 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

Overview

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

Product Details

ISBN-13:
9781608451784
Publisher:
Morgan and Claypool Publishers
Publication date:
02/24/2010
Series:
Synthesis Lectures on Digital Circuits and Systems Series
Pages:
100
Product dimensions:
7.50(w) x 9.25(h) x 0.21(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >