数据到达时间、数据要求时间以及建立时间裕量和保持时间裕量？

数据到达时间（Data Arrival Time）指数据从源触发器的时钟上升沿开始，经过组合逻辑路径到达目标触发器输入端的实际传播延迟，包括时钟偏斜、路径延迟等。数据要求时间（Data Required Time）指为了保证目标触发器正确采样，数据在时钟沿前必须稳定到达的时间（建立时间检查）或时钟沿后必须保持稳定的时间（保持时间检查）。建立时间裕量（Setup Slack）等于数据要求时间减去数据到达时间，正值表示满足建立时间要求，负值表示违规。保持时间裕量（Hold Slack）等于数据到达时间减去数据要求时间，正值表示满足保持时间要求，负值表示违规。两者互为对偶关系：建立时间关心路径最大延迟，保持时间关心路径最小延迟。实际STA分析中，建立时间检查基于最大路径延迟，保持时间检查基于最小路径延迟，同时需考虑时钟偏斜的不确定性。