Goodreads helps you keep track of books you want to read.
Start by marking “SAT-Based Scalable Formal Verification Solutions” as Want to Read:
SAT-Based Scalable Formal Verification Solutions
Enlarge cover
Rate this book
Clear rating
Open Preview

SAT-Based Scalable Formal Verification Solutions

0.00  ·  Rating Details  ·  0 Ratings  ·  0 Reviews
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 ...more
Hardcover, 326 pages
Published May 22nd 2007 by Springer (first published January 1st 2007)
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about SAT-Based Scalable Formal Verification Solutions, please sign up.

Be the first to ask a question about SAT-Based Scalable Formal Verification Solutions

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 0-0 of 0)
filter  |  sort: default (?)  |  Rating Details
There are no discussion topics on this book yet. Be the first to start one »

Share This Book