Creating Assertion-Based IP (Series on Integrated Circuits and Systems)

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.




Mirror -> Depositfiles



Mirror RS
http://rapidshare.com/files/92939599/asdertyyuu__o.rar


Mirror: Easy-Share
Mirror: FileFactory
Mirror: MegaUpload

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Creating Assertion-Based IP (Series on Integrated Circuits and Systems)" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1583
2. Creating Assertion-Based IP (Series on Integrated Circuits and Systems)
3. Ultra Wideband: Circuits, Transceivers and Systems (Series on Integrated Circuits and Systems)
4. Ultra Wideband: Circuits, Transceivers and Systems (Series on Integrated Circuits and Systems)
5. [share_ebook] Creating Assertion-Based IP
6. CMOS Biotechnology (Series on Integrated Circuits and Systems)
7. CMOS Biotechnology (Series on Integrated Circuits and Systems)
8. CMOS Biotechnology (Series on Integrated Circuits and Systems)
9. CMOS Biotechnology (Series on Integrated Circuits and Systems)
10. Semiconductor Device Physics and Design (Series on Integrated Circuits and Systems)
11. Modern Circuit Placement: Best Practices and Results (Series on Integrated Circuits and Systems)
12. Ultra-Low Power Wireless Technologies for Sensor Networks (Series on Integrated Circuits and Systems)
13. High-Performance Energy-Efficient Microprocessor Design (Series on Integrated Circuits and Systems)
14. Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
15. Low Power Methodology Manual: For System-on-Chip Design (Series on Integrated Circuits and Systems)
16. Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits