Tell your friends about this item:
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems Softcover reprint of hardcover 1st ed. 2007 edition
Malay Ganai
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems Softcover reprint of hardcover 1st ed. 2007 edition
Malay Ganai
This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.
330 pages, 118 black & white illustrations, 33 black & white tables, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | November 19, 2010 |
ISBN13 | 9781441943415 |
Publishers | Springer-Verlag New York Inc. |
Pages | 330 |
Dimensions | 155 × 235 × 18 mm · 503 g |
See all of Malay Ganai ( e.g. Hardcover Book and Paperback Book )