Introduction to Verification
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.
Please disable any pop-up blockers for proper viewing of this Whitepaper.