In this chapter I introduce assertions and assertion coverage. I discuss several ways of classifying assertions, the kinds of properties that may be specified and the various property specification languages. The different meanings of “asssertion coverage” are distinguished from one another. Finally, you will learn how to measure assertion coverage and analyze the results.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2008). Assertion Coverage. In: Functional Verification Coverage Measurement and Analysis. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-8026-5_6
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8026-5_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-73992-2
Online ISBN: 978-1-4020-8026-5
eBook Packages: EngineeringEngineering (R0)