Hardware Verification with C++: A Practitioners Handbook
Mike Mintz, Robert Ekendahl - Hardware Verification with C++: A Practitioners Handbook
Published: 2006-09-08 | ISBN: 0387255435 | PDF | 341 pages | 3 MB
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 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.
Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.
Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.