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.
- ISBN10 0387513906
- ISBN13 9780387513904
- Publish Date 30 August 2008 (first published 1 January 2006)
- Publish Status Withdrawn
- Out of Print 18 October 2014
- Publish Country DE
- Imprint Springer
- Format Hardcover
- Pages 612
- Language English