STA约束验证器 用于处理静态时序约束的工具。