综合与时序分析的设计约束 Synopsys设计约束