Constraining designs for synthesis and timing analysis : A Practical Guide to Synopsys Design Constraints (SDC) (2013)