Buch, Englisch, 216 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 1130 g
ISBN: 978-1-4020-8025-8
Verlag: Springer US
This book 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. This is the first book to introduce a useful taxonomy for coverage of metric classification. Using this taxonomy, the reader will clearly understand the process of creating an effective coverage model. This book offers a thoughtful and comprehensive treatment of its subject for anybody who is really serious about functional verification.
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Fachgebiete
- Geisteswissenschaften Design Produktdesign, Industriedesign
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Mikroprozessoren
- Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Wissenschaft & Technologie
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise
- Technische Wissenschaften Technik Allgemein Computeranwendungen in der Technik
- Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
- Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
Weitere Infos & Material
The Language of Coverage.- Functional Verification.- Measuring Verification Coverage.- Functional Coverage.- Code Coverage.- Assertion Coverage.- Coverage-Driven Verification.- Improving Coverage Fidelity With Hybrid Models.
