Hardware Verification with C++: A Practitioner's Handbook
- 4h 31m
- Mike Mintz, Robert Ekendahl
- Springer
- 2006
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. This handbook goes beyond hype and theoretical discussions to show fully implemented examples.
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP).
Part II presents two open-source C++ libraries that enable efficient verification with C++ -- Teal, a C++ to Verilog interface, and Truss, a standard verification framework.
Part III focuses on OOP with examples from real verification projects.
Part IV puts it all together showing complete block-level and system-level verification systems.
Both a learning and a reference tool, Hardware Verification with C++: A Practitioner’s Handbook gives you everything you need to do hardware verification with C++ apart from a simulator.
In this Book
-
Introduction
-
Why C++?
-
OOP, C++, and Verification
-
A Layered Approach
-
Teal Basics
-
Truss—A Standard Verification Framework
-
Truss Flow
-
Truss Example
-
Thinking OOP
-
Designing with OOP
-
OOP Classes
-
OOP Connections
-
Coding OOP
-
Block Level Testing
-
Chip Level Testing
-
Things to Remember
