ISBN-10:
160845178X
ISBN-13:
9781608451784
Pub. Date:
03/01/2010
Publisher:
Morgan and Claypool Publishers
Digital System Verification

Digital System Verification

Paperback

Current price is , Original price is $35.0. You
Select a Purchase Option
  • purchase options
    $35.00
  • purchase options

Overview

Digital System Verification

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: 03/01/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

Most Helpful Customer Reviews

See All Customer Reviews