Bestellen Terug

Hoofdkenmerken

Auteur:	Wang, Chao; Hachtel, Gary D.
Titel:	Abstraction Refinement for Large Scale Model Checking
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9780387341552
Serie:	Integrated Circuits and
Editie:	2006 ed.
Land van oorsprong:	United States
Prijs:	€ 146.40
Verschijningsdatum:	20-07-2006
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Undergraduate
Categorie:	Circuits & components
Geillustreerd:	XIV, 179 p.

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	179
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1000

 

Inhoud:

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.