Abstraction Refinement for Large Scale Model Checking (Paperback, 2006 ed.)

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Integrated Circuits and Systems
Release date:	December 2014
First published:	2006
Authors:	Chao Wang • Gary D. Hachtel • Fabio Somenzi
Dimensions:	235 x 155 x 11mm (L x W x T)
Format:	Paperback
Pages:	179
Edition:	2006 ed.
ISBN-13:	978-1-4899-9395-3
Categories:	Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
LSN:	1-4899-9395-9
Barcode:	9781489993953

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!