Abstract
In this chapter, the authors introduce a new approach to addressing the functional verification challenge, known as assertion-based verification, which provides a unified methodology for unambiguously specifying design intent across multiple verification processes using assertions. Fundamental to the discussion of assertion-based verification is an understanding of the concepts of controllability and observability. The interest in assertion-based verification is focused on the use of assertions in simulation. A simulation testbench has high controllability of the design model’s input ports, during verification it can have very low controllability of an internal structure within the model. Embedding assertions in the design model increases observability. In this way, the verification environment no longer depends on generating proper input stimulus to propagate a bug to an observable port. The authors discuss different approaches to solving the functional specification challenge. They outline propositional temporal logic, which forms the basis for modern property specification languages.