SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /

• Κύριος συγγραφέας: Mehta, Ashok B. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York : Imprint: Springer, 2014.
• Θέματα: Engineering.; Microprocessors.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Electronics and Microelectronics, Instrumentation.; Processor Architectures.

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...

Πίνακας περιεχομένων:

• Introduction
• System Verilog Assertions
• Immediate Assertions
• Concurrent Assertions – Basics (sequence, property, assert).- Sampled Value Functions   $rose, $fell
• Operators
• System Functions and Tasks
• Multiple clocks
• Local Variables
• Recursive property
• Detecting and using endpoint of a sequence
• ‘expect’
• ‘assume’ and formal (static functional) verification
• Other important topics
• Asynchronous Assertions !!!
• IEEE-1800–2009 Features
• SystemVerilog Assertions LABs
• System Verilog Assertions – LAB Answers
• Functional Coverage
• Performance Implications of coverage methodology
• Coverage Options (Reference material).