SAT-Based Scalable Formal Verification Solutions
| Author | : Malay Ganai |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 338 |
| Release | : 2007-05-26 |
| ISBN-13 | : 9780387691671 |
| ISBN-10 | : 0387691677 |
| Rating | : 4/5 (77 Downloads) |
Book Synopsis SAT-Based Scalable Formal Verification Solutions by : Malay Ganai
Download or read book SAT-Based Scalable Formal Verification Solutions written by Malay Ganai and published by Springer Science & Business Media. This book was released on 2007-05-26 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
