Hardware Verification with C++: A Practitioners Handbook

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 and distills lessons learned down to a tool box of techniques and guidelines.