Hardware Verification with SystemVerilog An Object-Oriented Framework /

• Κύριοι συγγραφείς: Mintz, Mike (Συγγραφέας), Ekendahl, Robert (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2007.
• Θέματα: Engineering.; Computer hardware.; Programming languages (Electronic computers).; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Circuits and Systems.; Computer Hardware.; Computer-Aided Engineering (CAD, CAE) and Design.; Programming Languages, Compilers, Interpreters.; Electrical Engineering.

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited t...

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

• SystemVerilog and Verification (The Why and How)
• Why SystemVerilog?
• OOP and SystemVerilog
• A Layered Approach
• An Open-Source Environment with SystemVerilog
• Teal Basics
• Truss: A Standard Verification Framework
• Truss Flow
• Truss Example
• Using OOP for Verification (Best Practices)
• Thinking OOP
• Designing with OOP
• OOP Classes
• OOP Connections
• Coding OOP
• Examples (Putting It All Together)
• Block-Level Testing
• Chip-Level Testing
• Things to Remember
• Examples (Putting It All Together).