Αποστολή με SMS: Constraining Designs for Synthesis and Timing Analysis