Functional Verification Coverage Measurement And Analysis

Functional Verification Coverage Measurement and Analysis addresses a means ofquantitatively assessing functional verification progress. Without thisprocess des... » 

Functional Verification Coverage Measurement and Analysis addresses a means ofquantitatively assessing functional verification progress. Without thisprocess design and verification engineers and their management are leftguessing whether or not they have completed verifying the device they aredesigning. Using the techniques described in this book they will learn how tobuild a toolset which allows them to know how close they are to functionalclosure. Functional Verification Coverage Measurement and Analysis is the firstbook to introduce a useful taxonomy for coverage metric classification. Usingthis taxonomy the reader clearly understands the process of creating aneffective coverage model. A must read Harry Foster Jasper Design AutomationCoAuthor of AssertionBased Design Andrews book is the most thoughtful andcomprehensive treatment of coverage I have seen. I recommend reading and rereading this book to anybody who is really serious about functionalverification. Yoav Hollander CTO Verisity Design In the last few yearscoverage has become a must in hardware verification and in software testing.From having to push people to use coverage the situation changed to greatinterest... Andrews excellent and comprehensive book on coverage the first ofits kind could not have come at a better time. Shmuel Ur Research ScientistIBM TOCIntroduction. The Language of Coverage. Functional Verification.Measuring Verification Coverage. Functional Coverage. Code Coverage.Assertion Coverage.CoverageDriven Verification. Improving Coverage Fidelitywith Hybrid Models.Appendix A e Language BNF. «