Hardware Verification with C++

Written for both experienced and beginner verification engineers, Hardware Verification with C++: A Practitioner's Guide takes a street-smart look at verification of large designs. Object Oriented Programming using C++ is described from a verification perspective. Special consideration is given to verification of third party IP. Hardware Verification with C++: A Practitioner's Guideincludes numerous examples of C++ classes and techniques.In addition, this book describes TEAL, a C/C++ Test Environment Abstraction Layer. It is intended for verification engineers who use TEAL. Engineers perform verification in order to minimize the probability of hardware functional errors, ensure that the hardware meets performance requirements, and ensure that the hardware is usable by software. TEAL aids in this endeavor by providing a set of capabilities that access HDL signals and enable actions based on changes in the values of these signals. In addition, it encourages independent generators, transactors, and checkers by providing for management of independent user created threads.Because TEAL is a C/C++ library, algorithms can be developed that both validate the hardware design and can be re-used in the production software. The program is provided on the enclosed CD.