主要通过（ ）来验证时序是否满足设计要求。