CURRENTLY SOLD OUT

Digital System Verification: A Combined Formal Methods and Simulation Framework by Mitchel Thornton, Lun Li (Paperback, 2010)

About this product

Product Information

Integrated circuit capacity follows Moore's law, and chips are commonly produced at the time of this writing with over 70 million gates per device. Ensuring correct functional behavior of such large designs before fabrication poses an extremely challenging problem. Formal verification validates the correctness of the implementation of a design with respect to its specification through mathematical proof techniques. Formal techniques have been emerging as commercialized EDA tools in the past decade. Simulation remains a predominantly used tool to validate a design in industry. After more than 50 years of development, simulation methods have reached a degree of maturity, however, new advances continue to be developed in the area. A simulation approach for functional verification can theoretically validate all possible behaviors of a design but requires excessive computational resources. Rapidly evolving markets demand short design cycles while the increasing complexity of a design causes simulation approaches to provide less and less coverage. Formal verification is an attractive alternative since 100% coverage can be achieved; however, large designs impose unrealistic computational requirements. Combining formal verification and simulation into a single integrated circuit validation framework is an attractive alternative. 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.

Product Identifiers

Publisher
Morgan & Claypool Publishers
ISBN-13
9781608451784
eBay Product ID (ePID)
178119095

Product Key Features

Subject Area
Electrical Engineering
Author
Mitchel Thornton, Lun Li
Publication Name
Digital System Verification: a Combined Formal Methods and Simulation Framework
Format
Paperback
Language
English
Publication Year
2010
Type
Textbook
Number of Pages
93 Pages

Dimensions

Item Height
235mm
Item Width
187mm

Additional Product Features

Title_Author
Mitchel Thornton, Lun Li
Series Title
Synthesis Lectures on Digital Circuits and Systems
Country/Region of Manufacture
United States

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)
No ratings or reviews yet.
AU $59.41 New
---- Used
Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
In-Basket Case Studies by Guy Adamson (Paperback, 1986)
No ratings or reviews yet.
AU $19.99 New
---- Used
Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)
5.0 out of 5 stars based on 1 product rating
AU $31.59 New
---- Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $14.99 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.01
The Red Book: Liber Novus by Carl Gustav Jung (English) Hardcover Book
AU $322.59
Trending at AU $335.20
Sally Fallon Morell Thomas S. Cowan The Contagion Myth (Hardback) (US IMPORT)
AU $50.71
Trending at AU $57.23
Steven Holzner Physics Essentials For Dummies (Paperback)
AU $25.30
Trending at AU $27.81
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.66
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.59
Trending at AU $45.42

Shop by category

Digital System Verification: A Combined Formal Methods and Simulation Framework by Mitchel Thornton, Lun Li (Paperback, 2010)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

In-Basket Case Studies by Guy Adamson (Paperback, 1986)

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach

The Red Book: Liber Novus by Carl Gustav Jung (English) Hardcover Book

Sally Fallon Morell Thomas S. Cowan The Contagion Myth (Hardback) (US IMPORT)

Steven Holzner Physics Essentials For Dummies (Paperback)

Havard's Nursing Guide to Drugs

T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)

You may also like

Non-Fiction Methodism Paperback Fiction & Books

Paperbacks 2010-Now Publication Year

Non-Fiction Methodism Hardcover Books

Digital Media Non-Fiction Paperback Fiction & Books

Non-Fiction Paperback Fiction & Digital Photography Books

Paperback Fiction & Non-Fiction Books 2010-Now