synopsys关于时序约束的资料,关于时序约束的用户手册,讲的很细很清楚