| Title:
|
ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING
|
| By: |
Chao Wang, Gary D. Hachtel, Fabio Somenzi |
| Format: |
Hardback |
| List price:
|
£109.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0387341552 |
| ISBN 13: |
9780387341552 |
| Publisher: |
SPRINGER-VERLAG NEW YORK INC. |
| Pub. date: |
20 July, 2006 |
| Edition: |
2006 ed. |
| Series: |
Integrated Circuits and Systems |
| Pages: |
179 |
| Description: |
Considering both the size of 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. This book summarizes research on abstraction techniques for model checking large digital system. |
| Synopsis: |
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. |
| Illustrations: |
XIV, 179 p. |
| Publication: |
US |
| Imprint: |
Springer-Verlag New York Inc. |
| Returns: |
Returnable |