SystemVerilog Assertions and Functional Coverage
Автор: Ashok B. MehtaНазвание: SystemVerilog Assertions and Functional CoverageИздательство: SpringerISBN : 978-1-4614-7323-7Год: 2013Количество страниц: 374Формат: PDFРазмер: 28 MbЯзык: EnglishДля сайта: MirKnig.com This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SytemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to…