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

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Foster, Harry D. (Author), Krolnik, Adam C. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: New York, NY : Springer US : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Integrated Circuits and Systems,
Subjects:
Electronic circuits.
Computer-aided engineering.
Electrical engineering.
Electronic Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electrical and Electronic Engineering.
Online Access:Texto Completo

Internet

Texto Completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items