Describir: Hardware Verification with C++