2 eBooks tagged "AssertionBased"

Related tags: Series [+], On [+], IP [+], Creating [+]

dbeBooks.net - An Ebook Library

Creating Assertion-Based IP (Series on Integrated Circuits and Systems)
Posted: February 18th, 2008, 5:00pm CET by Ice Zero

Tags:  Creating AssertionBased IP Series On   [edit]

Publisher: Springer; 1 edition
Language: English
ISBN: 0387366415
Paperback: 312 pages
Data: November 16, 2007
Format: PDF
Description: 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 users existing verification environment, in other words the testbench infrastructure.

::The eBooks Web Porch

Creating Assertion-Based IP (Series on Integrated Circuits and Systems)
Posted: February 25th, 2008, 6:04am CET by sruthin

Tags:  Creating AssertionBased IP Series On   [edit]

















Publisher: Springer; 1 edition
Language: English
ISBN: 0387366415
Paperback: 312 pages
Data: November 16, 2007
Format: PDF
Description: 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 users existing verification environment, in other words the testbench infrastructure.

The guiding principles promoted in this book when creating an assertion-based IP monitor are:
modularityassertion-based IP should have a clear separation between detection and action
clarityassertion-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.

Download - (1 Mb)
External Download Link1:
http://www.paid4share.com/file/3948/0387366415-rar.html