Creating Assertion-Based IP

Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-b...

Full description

Main Authors: Foster, Harry D. (Author, http://id.loc.gov/vocabulary/relators/aut), Krolnik, Adam C. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Integrated Circuits and Systems,
Subjects:
Online Access:https://doi.org/10.1007/978-0-387-68398-0