SPRI | Hardware Verification With C++: A Practitioner's Handbook (2006 EN)

Author: Mike Mintz, Robert Ekendahl
Full Title: Hardware Verification With C++: A Practitioner's Handbook
Publisher: Springer; 2006 edition (August 10, 2006)
Year: 2006
ISBN-13: 9780387362540 (978-0-387-36254-0), 9780387255439 (978-0-387-25543-9), 9781489978974 (978-1-4899-7897-4)
ISBN-10: 0387362541, 0387255435, 1489978976
Pages: 341
Language: English
Genre: Programming
File type: PDF (True, but nonnative Cover)
Quality: 9/10
Price: 166.39 €


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.


"The handbook provides a clear understanding of object-oriented programming, and how it applies to hardware verification. It is clear to me that C++, together with Teal and Truss, could form a strong platform for the next generation of hardware verification." (Dr. Stanley Hyduke, CEO of Aldec, Inc.)

-------------
Our members see more. Join us!