Constraining Designs for Synthesis and Timing Analysis - Gangadharan, Sridhar; Churiwala, Sanjay (Springer New York, 2013)