Verification-Aware Processor Design