The number of transistors that can be contained on a silicon device continues to increase year after year. While many think that the silicon limits are approaching in the near future, today’s devices continue to be extremely complex to design and create error-free.

Building a device that contains hundreds of millions of transistors is a nontrivial task that requires a deliberate and consistent verification methodology to prevent design errors. Chapter 1 of Applied Formal Verification will focus on some of the reasons that design verification is so important.

Reproduced from the book Applied Formal Verification. Copyright 2005 The McGraw-Hill Companies. Reproduced by permission of The McGraw-Hill Companies. Written permission from The McGraw-Hill Companies is required for all other uses.