Hardware Verification with C++ A Practitioner’s Handbook - Mintz, Mike; Ekendahl, Robert (Springer US, 2006)