Foto dell'editore

Creating Assertion-Based IP

Harry D. Foster

0 valutazioni da Goodreads
ISBN 10: 0387366415 / ISBN 13: 9780387366418
Editore: Springer-Verlag Gmbh Dez 2007, 2007
Nuovi Condizione: Neu
Da Rhein-Team Lörrach Ivano Narducci e.K. (Lörrach, Germania)

Libreria AbeBooks dal 11 gennaio 2012

Quantità: 1

Compra nuovo
Prezzo consigliato: 179.00
Prezzo: EUR 165,84 Convertire valuta
Spedizione: EUR 12,01 Da: Germania a: U.S.A. Destinazione, tempi e costi
Aggiungere al carrello

Riguardo questo articolo

Neuware - 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 EngineerCo-Author, ESL Design and Verification: A Prescription for Electronic System Level MethodologyAuthor, Functional Verification Coverage Measurement and Analysis 313 pp. Englisch. Codice inventario libreria 9780387366418

Fare una domanda alla libreria

Dati bibliografici

Titolo: Creating Assertion-Based IP

Casa editrice: Springer-Verlag Gmbh Dez 2007

Data di pubblicazione: 2007

Legatura: Buch

Condizione libro:Neu

Descrizione articolo

Riassunto:

This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions

Note that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP. This is the first book published on this subject.

From the Back Cover:

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Visita la pagina della libreria

Condizioni di vendita:

Allgemeine Geschäftsbedingungen (abebooks.de)

Rhein-Team Lörrach, Inhaber Ivano Narducci e.K., Mühlestr. 1
D-79539 Lörrach, nachfolgend als Verkäufer bezeichnet.

§ 1 Allgemeines, Begriffsbestimmungen

(1) Der Verkäufer bietet unter dem Nutzernamen rhein-team unter der Plattform abebooks.de insbesondere Bücher an. Die folgenden Allgemeinen Geschäftsbedingungen (AGB) gelten für die Geschäftsbeziehung zwischen dem Verkäufer und dem Kunden in ihrer zum Zeitpunkt der Bestellung gültigen Fassung. Ferne...

Ulteriori informazioni
Condizioni di spedizione:

Die Ware wird innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbestätigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten für 1 kg schwere Bücher. Über abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verkäufer informiert.


Informazioni dettagliate sul venditore

Tutti i libri della libreria

Metodi di pagamento
accettati dalla libreria

Visa Mastercard American Express Carte Bleue

Assegno PayPal