Hardware verification with C++ : a practioner's handbook. - Mintz, Mike; Ekendahl, Robert (Springer, 2006)