Hardware Verification with C++