Αποστολή με SMS: Principles of Verifiable RTL Design