Creating Assertion-Based IP (Series on Integrated Circuits and Systems)
Springer; 1 edition | ISBN: 0387366415 | 312 pages | November 16, 2007 | PDF | 1 Mb
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)
more 6000+ ebooks & magazines...
Mirror -> Depositfiles
Mirror RS
[rapidshare.com]
Mirror: Easy-Share
Mirror: FileFactory
Mirror: MegaUpload