TY  - BOOK
AU  - Foster,Harry D.
AU  - Krolnik,Adam C.
ED  - SpringerLink (Online service)
TI  - Creating Assertion-Based IP
SN  - 9780387683980
AV  - TK7888.4 
U1  - 621.3815 23
PY  - 2008///
CY  - Boston, MA
PB  - Springer US
KW  - Engineering
KW  - Computer-aided engineering
KW  - Electrical engineering
KW  - Electronic circuits
KW  - Circuits and Systems
KW  - Computer-Aided Engineering (CAD, CAE) and Design
KW  - Electrical Engineering
KW  - Electronic books
KW  - local
N1  - Definitions and Terminology -- The Process -- Bus-Based Design Example -- Interfaces -- Arbiters -- Controllers -- Datapath
N2  - 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-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user’s existing verification environment, in other words the testbench infrastructure. The guiding principles promoted in this book when creating an assertion-based IP monitor are: modularity—assertion-based IP should have a clear separation between detection and action clarity—assertion-based IP should be written initially focusing on capturing intent (versus optimizations) A unique feature of this book is the fully worked out, detailed examples. The concepts presented in the book are drawn from the authors’ experience developing assertion-based IP, as well as general assertion-based techniques. Creating Assertion-Based IP is an important resource for design and verification engineers. From the Foreword: Creating Assertion-Based IP "…reduces to process the creation of one of the most valuable kinds of VIP: assertion-based VIP…This book will serve as a valuable reference for years to come." Andrew Piziali, Sr. Design Verification Engineer Co-Author, ESL Design and Verification: A Prescription for Electronic System Level Methodology Author, Functional Verification Coverage Measurement and Analysis
UR  - http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1007/978-0-387-68398-0
ER  -