Αποστολή με SMS: Post-Silicon and Runtime Verification for Modern Processors