Post-Silicon and Runtime Verification for Modern Processors