Formal Verification

Formal Verification: An Essential Toolkit for Modern VLSI Design demystifies formal verification (FV) and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. The book will prepare working engineers to introduce FV in their organizations and deploy FV techniques to increase design and validation productivity.