5.3 全局时序约束实验