Hardware Verification with C++ A Practitioner’s Handbook /

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

Written by two verification engineers, Hardware Verification with C++: A Practitioner’s Handbook is a four-part tour of how to perform object-oriented techniques. Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II presents two ope...

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

• C++ and Verification (The Why and How)
• Why C++?
• OOP, C++, and Verification
• A Layered Approach
• An Open-Source Environment with C++
• 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.