Formal Verification: An Essential Toolkit for Modern VLSI Design

  • 6h 58m
  • Erik Seligman, M V Achutha Kiran Kumar, Tom Schubert
  • Elsevier Science and Technology Books, Inc.
  • 2015
Demystifying Formal Verification (FV) and presenting the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies, this book will help readers prepare to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.