SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

by Malay Ganai (Author), Aarti Gupta (Author)

• New

  Hardcover
  2007

  $171.29

  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.