Verification Methodology Manual for SystemVerilog

• Κύριοι συγγραφείς: Bergeron, Janick (Συγγραφέας), Cerny, Eduard (Συγγραφέας), Hunter, Alan (Συγγραφέας), Nightingale, Andrew (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2006.
• Θέματα: Engineering.; Programming languages (Electronic computers).; Computer-aided engineering.; Electrical engineering.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Programming Languages, Compilers, Interpreters.; Computer-Aided Engineering (CAD, CAE) and Design.; Electronics and Microelectronics, Instrumentation.; Electrical Engineering.

Functional verification remains one of the single biggest challenges in the development of complex system-on-chip (SoC) devices. Despite the introduction of successive new technologies, the gap between design capability and verification confidence continues to widen. The biggest problem is that thes...

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

• Verification Planning
• Assertions
• Testbench Infrastructure
• Stimulus and Response
• Coverage-Driven Verification
• Assertions for Formal Tools
• System-Level Verification
• Processor Integration Verification.