0
Your cart

Your cart is empty

Books > Professional & Technical > Energy technology & engineering > Electrical engineering

Buy Now

Creating Assertion-Based IP (Paperback, Softcover reprint of hardcover 1st ed. 2008) Loot Price: R3,041
Discovery Miles 30 410
Creating Assertion-Based IP (Paperback, Softcover reprint of hardcover 1st ed. 2008): Harry D. Foster, Adam C. Krolnik

Creating Assertion-Based IP (Paperback, Softcover reprint of hardcover 1st ed. 2008)

Harry D. Foster, Adam C. Krolnik

Series: Integrated Circuits and Systems

 (sign in to rate)
Loot Price R3,041 Discovery Miles 30 410 | Repayment Terms: R285 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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"

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Integrated Circuits and Systems
Release date: November 2010
First published: 2008
Authors: Harry D. Foster • Adam C. Krolnik
Dimensions: 235 x 155 x 17mm (L x W x T)
Format: Paperback
Pages: 318
Edition: Softcover reprint of hardcover 1st ed. 2008
ISBN-13: 978-1-4419-4218-0
Categories: Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
LSN: 1-4419-4218-1
Barcode: 9781441942180

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners