Summary
In this chapter, we introduced the Functional Observation Principle that is fundamental to the verification process’ ability to observe (white-box testing) and measure (coverage) functional behavior.
In addition to the principle presented in this chapter, a simple and effective coding technique for embedding event monitors and assertion checkers directly into the RTL was our main focus. This coding technique provides a mechanism for (a) measuring functional coverage, (b) increasing verification observability, and (c) defining verification targets for block-level simulation and model checking.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2002 Kluwer Academic Publishers
About this chapter
Cite this chapter
(2002). Coverage, Events and Assertions. In: Principles of Verifiable RTL Design. Springer, Boston, MA. https://doi.org/10.1007/0-306-47631-2_3
Download citation
DOI: https://doi.org/10.1007/0-306-47631-2_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7368-1
Online ISBN: 978-0-306-47631-0
eBook Packages: Springer Book Archive