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
SHOW MORE
FREE ACCESS