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

Creating Assertion-Based IP (Series on Integrated Circuits and Systems), 9780387366418 (0387366415), Springer, 2007

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.

Comments

Amazing Books

Land of Lisp: Learn to Program in Lisp, One Game at a Time!

No Starch Press, 2010

Lisp has been hailed as the world's most powerful programming language, but its cryptic syntax and academic reputation can be enough to scare off even experienced programmers. Those dark days are finally over—Land of Lisp brings the power of functional programming to the people!

With his brilliantly...

Syngress IT Security Project Management Handbook

Syngress Publishing, 2006

Let’s start by stating two assumptions we’re making in this book. First, we’re assuming you have a solid understanding of IT project management. If not, we have provided you with a free download of the book How to Cheat at IT Project Management (visit www.syngress.com/solutions to register this book and download the PDF) so you...

Creativity Across Domains: Faces of the Muse

Lawrence Erlbaum Associates, 2004

Creativity Across Domains: Faces of the Muse sorts through the sometimes-confusing theoretical diversity that domain specificity has spawned. It also brings together writers who have studied creative thinkers in different areas, such as the various arts, sciences, and communication/leadership. Each contributor explains what is known about the...

Abel's Theorem in Problems and Solutions : Based on the lectures of Professor V.I. Arnold

Springer, 2004

In high school algebraic equations in one unknown of first and second
degree are studied in detail. One learns that for solving these equations
there exist general formulae expressing their roots in terms of the coefficients
by means of arithmetic operations and of radicals. But very
few students know whether similar formulae do...

Database Programming with JDBC and Java

O'Reilly, 1997

Java and databases make a powerful combination. Getting the two sides to work together, however, takes some effort--largely because Java deals in objects while most databases do not.This book describes the standard Java interfaces that make portable object-oriented access to relational databases possible and offers a robust model for writing...

Fiber Optics: Physics and Technology

Springer, 2010

Telephone, telefax, email and internet - the key ingredient of the inner workings is the conduit: the line which is designed to carry massive amounts of data at breakneck speed. In their data-carrying capacity optical fiber lines beat other technologies (copper cable, microwave beacons, satellite links) hands down, at least in the long...