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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag New York |
Country of origin | United States |
Series | Integrated Circuits and Systems |
Release date | May 2007 |
Availability | Expected to ship within 12 - 17 working days |
First published | 2007 |
Authors | Malay Ganai, Aarti Gupta |
Dimensions | 235 x 155 x 20mm (L x W x T) |
Format | Hardcover |
Pages | 330 |
Edition | 2007 ed. |
ISBN-13 | 978-0-387-69166-4 |
Barcode | 9780387691664 |
Categories | |
LSN | 0-387-69166-9 |