Αποστολή με SMS: Formal Hardware Verification