Functional Verification Coverage Measurement and Analysis

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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

Author(s): Andrew Piziali
Series: Information Technology: Transmission, Processing and Storage
Edition: 1
Publisher: Springer
Year: 2004

Language: English
Pages: 230

Functional Verification Coverage Measurement and Analysis......Page 1
Table of Contents......Page 6
Foreword......Page 10
Preface......Page 13
Introduction......Page 18
1. The Language of Coverage......Page 22
2. Functional Verification......Page 32
3. Measuring Verification Coverage......Page 48
4. Functional Coverage......Page 56
5. Code Coverage......Page 96
6. Assertion Coverage......Page 114
7. Coverage-Driven Verification......Page 126
8. Improving Coverage Fidelity With Hybrid Models......Page 156
Appendix A: e Language BNF......Page 168
INDEX......Page 209