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...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Foster, Harry D. (Autor), Krolnik, Adam C. (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2008.
|
Edición: | 1st ed. 2008. |
Colección: | Integrated Circuits and Systems,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Assertion-Based Design
por: Foster, Harry D., et al.
Publicado: (2005) -
Constraint-Based Verification
por: Yuan, Jun, et al.
Publicado: (2006) -
Functional Verification Coverage Measurement and Analysis
por: Piziali, Andrew
Publicado: (2008) -
Digital Design and Implementation with Field Programmable Devices
por: Navabi, Zainalabedin
Publicado: (2005) -
Clocking in Modern VLSI Systems
Publicado: (2009)