Constraining Designs for Synthesis and Timing Analysis sidottuEnglanti, 2013