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...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
New York, NY :
Springer US
2008.
Cham : Springer Nature |
| Col·lecció: | Integrated Circuits and Systems
|
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Creating Assertion-Based IP, Texte imprimé, 9781441942180 • Creating Assertion-Based IP, Texte imprimé, 9780387366418 • Superconducting electronics, edited by Harold Weinstock, Martin Nisenoff, Berlin, Springer-Verlag, 1989, 1 volume (XII-441 p.), NATO ASI series, 0-387-51521-6 |
Taula de continguts:
- Definitions and Terminology
- The Process
- Bus-Based Design Example
- Interfaces
- Arbiters
- Controllers
- Datapath.