O'Reilly logo

Hardware Design Verification: Simulation and Formal Method-Based Approaches by William K. Lam

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 7. Formal Verification Preliminaries

Simulation-based verification relies much on one’s ability to generate vectors to explore corner cases. In reality, two major problems exist. First, it is almost impossible, especially in large designs, to consider all possible test scenarios and, as a result, bugs arise from scenarios that were never anticipated. Second, even if one could enumerate all the possible corner cases in a design, it must be done intelligently so that the computation time to verify them all is realistic. Formal verification is a systematic ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required