Hardware Verification with C++: A Practitioner S Handbook