Sat-Based Scalable Formal Verification Solutions - Couverture rigide

Ganai, Malay; Gupta, Aarti

Couverture rigide

ISBN 10 : 0387691669 ISBN 13 : 9780387691664

Editeur : Springer-Verlag New York Inc., 2007

Synopsis

Functional Verification has become an important aspect of the design process. Significant resources, both in industry and academia, are devoted to bridging the gap between design complexity and verification efforts. This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. With growing interests in SAT-based approaches for formal verification and increasing dissatisfaction twoard BDD-based approaches, this book brings together the various SAT-based scalable emerging technologies. Though the approaches described in the book are based on well-founded mathematics, the discussion is generally restricted to the engineering aspect for the ease of readability. Readers will also be exposed to the specific strengths of the various approaches in regard to the applicability.

A propos du livre

Présentation de l'éditeur

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Détails de l'édition

• Éditeur: Springer-Verlag New York Inc.
• Date d'édition: 2007
• Langue: anglais
• ISBN 10: 0387691669
• ISBN 13: 9780387691664
• Reliure: Relié
• Nombre de pages: 330
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne