Αποστολή με SMS: VLSI Specification, Verification and Synthesis