APP测试

STA不依赖特定激励，而是对同步时序路径（时钟源→Launch FF→组合逻辑→Capture FF）进行数学建模，计算数据传播时间并与Setup/Hold要求比较。
Setup检查数据能否“及时到达”：Tcq + Tdata + Tsetup ≤ T。若数据到达过晚产生违例，通常因路径长、逻辑级数多或频率高引起，可通过降低逻辑深度、优化单元尺寸或改善布局布线修复。
Hold检查数据是否“到得太早”：Tcq(min) + Tdata(min) ≥ Thold。若新数据过早到达破坏原有数据，通常通过增加Buffer或延长数据路径修复。
STA还需考虑时钟偏斜、抖动及PVT、OCV等影响，在不同Corner下分析并建立约束。最终通过Slack（裕量）判断时序：Setup看Data Required Time − Data Arrival Time，Hold看实际与允许最早到达时间关系。Slack ≥ 0即满足要求，< 0则违例。
STA本质即：建立模型 → 计算最坏数据到达与允许时间 → 比较得Slack → 定位并修复违例。