Αποστολή με SMS: Correct Hardware Design and Verification Methods