Hardware Verification with C++: A Practitioner S Handbook

Written by two verification engineers, Hardware Verification with C++: A Practitioners 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.