a| 0387255435

a| Howest

a| eng

a| 621.39

a| 663.43 2| vsiso

a| Hardware verification with C++ : b| a practioner's handbook.

a| New York : b| Springer, c| 2006.

a| XX, 341 p.

a| 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, all provided as open-source code on the companion CD. 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, all provided as open-source on the companion CD.

a| Digitale elektronica.

a| Logische schakelingen.

a| Mintz, Mike, d| ....- 0| (viaf)

a| Ekendahl, Robert, d| ....- 0| (viaf)

b| HWPNT c| PENTA j| PENTA.663.43 MINT 06 p| 3009928

a| book