Hardware verification with C++ a practitioner's handbook - Mintz, Mike (Springer, 2006)