Αποστολή με SMS: Practical Formal Verification in Microprocessor Design