Hardware Verification with C++: A Practitioners Handbook

Authors: Mike Mintz, Robert Ekendahl Publisher: Springer Edition: 1 Publish Year: 2006 ISBN: 9780387255439 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.