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

• Main Authors: Mintz, Mike (Author), Ekendahl, Robert (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2006.
• Subjects: 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...

Table of Contents:

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