静态时序分析与时序约束