Ebook: Functional Verification Coverage Measurement and Analysis
Author: Andrew Piziali (auth.)
- Tags: Circuits and Systems, Electronic and Computer Engineering, Computer-Aided Engineering (CAD CAE) and Design
- Year: 2008
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
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
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
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
Content:
Front Matter....Pages i-xx
The Language of Coverage....Pages 5-13
Functional Verification....Pages 15-30
Measuring Verification Coverage....Pages 31-38
Functional Coverage....Pages 39-78
Code Coverage....Pages 79-95
Assertion Coverage....Pages 97-107
Coverage-Driven Verification....Pages 109-137
Improving Coverage Fidelity With Hybrid Models....Pages 139-150
Back Matter....Pages 151-213
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
Content:
Front Matter....Pages i-xx
The Language of Coverage....Pages 5-13
Functional Verification....Pages 15-30
Measuring Verification Coverage....Pages 31-38
Functional Coverage....Pages 39-78
Code Coverage....Pages 79-95
Assertion Coverage....Pages 97-107
Coverage-Driven Verification....Pages 109-137
Improving Coverage Fidelity With Hybrid Models....Pages 139-150
Back Matter....Pages 151-213
....