Hardware Verification with C++ A Practitionerβs Handbook - Mintz, Mike (Springer Science+Business Media, LLC, 2006)