Hardware Verification with C++ A Practitioners Handbook - Mintz, Mike.; Ekendahl, Robert; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, LLC, 2006)
Keywords: Engineering; Computer science; Computer aided design; Systems engineering; Engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Programming Languages, Compilers, Interpreters; Electronic and Computer Engineering