专项审查 false path、multicycle、case analysis、clock group 等 STA exception，识别过度约束、漏约束和缺少证据的时序风险。