Hardware Verification with C++ : A Practitioner S Handbook

Mike Mintz; Robert Ekendahl
9780387255439
0-387-25543-5

Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.Takes a realistic view of reusability.

read more…

and distills lessons learned down to a tool box of techniques and guidelines.