Vitalsource Technologies, Inc. Constraining Designs For Synthesis And Timing Analysis