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...
Main Authors: | , |
---|---|
Corporate Author: | |
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 |