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.
