Abstraction Refinement for Large Scale Model Checking
| Autor: | Chao Wang, Gary D. Hachtel, Fabio Somenzi |
|---|---|
| EAN: | 9780387346007 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 15.09.2006 |
| Kategorie: | |
| Schlagworte: | Abstraction Refinement Hachtel Integrated Circuits Large Scale Model Checking Somenzi Wang algorithms model |
96,29 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel