Mike Gordon and Hardware Verification