Constraining Designs for Synthesis and Timing Analysis inbundenEngelska, 2013