Αποστολή με SMS: Formal Verification of Floating-Point Hardware Design