Cantitate/Preț
Produs

Functional Verification Coverage Measurement and Analysis

Autor Andrew Piziali
en Limba Engleză Hardback – 7 iun 2004
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure.
Functional Verification Coverage Measurement and Analysis is the first book to introduce a useful taxonomy for coverage metric classification. Using this taxonomy, the reader clearly understands the process of creating an effective coverage model. A must read!
Harry Foster, Jasper Design Automation, Co-Author of Assertion-Based Design
Andrew's book is the most thoughtful and comprehensive treatment of coverage I have seen. I recommend reading (and re-reading) this book to anybody who is really serious about functional verification.
Yoav Hollander, CTO, Verisity Design
In the last few years, coverage has become a must in hardware verification and in software testing. From having to push people to use coverage, the situation changed to great interest... Andrew's excellent and comprehensive book on coverage, the first of its kind, could not have come at a better time.
Shmuel Ur, Research Scientist, IBM
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 61903 lei  6-8 săpt.
  Springer Us – 4 oct 2007 61903 lei  6-8 săpt.
Hardback (1) 62365 lei  6-8 săpt.
  Springer Us – 7 iun 2004 62365 lei  6-8 săpt.

Preț: 62365 lei

Preț vechi: 73371 lei
-15% Nou

Puncte Express: 935

Preț estimativ în valută:
11937 12441$ 9937£

Carte tipărită la comandă

Livrare economică 04-18 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781402080258
ISBN-10: 1402080255
Pagini: 232
Ilustrații: XVI, 216 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.46 kg
Ediția:2008
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States

Public țintă

Professional/practitioner

Cuprins

The Language of Coverage.- Functional Verification.- Measuring Verification Coverage.- Functional Coverage.- Code Coverage.- Assertion Coverage.- Coverage-Driven Verification.- Improving Coverage Fidelity With Hybrid Models.

Textul de pe ultima copertă

Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress.  Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing.  Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure.
Functional Verification Coverage Measurement and Analysis is the first book to introduce a useful taxonomy for coverage metric classification.  Using this taxonomy, the reader clearly understands the process of creating an effective coverage model.  A must read!
- Harry Foster, Jasper Design Automation, Co-Author of Assertion-Based Design
 
Andrew's book is the most thoughtful and comprehensive treatment of coverage I have seen.  I recommend reading (and re-reading) this book to anybody who is really serious about functional verification.
- Yoav Hollander, CTO, Verisity Design
 
In the last few years, coverage has become a must in hardware verification and in software testing.  From having to push people to use coverage, the situation changed to great interest... Andrew's excellent and comprehensive book on coverage, the first of its kind, could not have come at a better time.
-Shmuel Ur, Research Scientist, IBM