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

Discussion in 'Programming' started by Kanka, Oct 27, 2019.

  1. Kanka

    Kanka Well-Known Member Loyal User

    Messages:
    16,047
    Likes Received:
    449
    Trophy Points:
    83
    [​IMG]

    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.)

    -------------
     
    Last edited by a moderator: Mar 8, 2022