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 |
Table of Contents:
- Definitions and Terminology
- The Process
- Bus-Based Design Example
- Interfaces
- Arbiters
- Controllers
- Datapath.