Відправити по sms: Practical Formal Verification in Microprocessor Design