An introduction to assertion-based verification

Assertion-based verification is a key methodology to address functional verification challenges. In this paper, we provide an overview of the concepts and the unique benefits of assertion-based verification. Our focus is mostly on the practical aspects of assertion-based verification. We illustrate, with examples, how assertions and coverage properties can be integrated in various stages of a verification process. We also highlight solutions to specific verification problems (e.g. performance or robustness testing) using assertion-based verification methodology.