Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9781441943415 | 1441943412
- Cover: Paperback
- Copyright: 5/22/2007
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.