静态时序分析包括寄存器到寄存器分析、I/O分析和异步复位分析。为了验证电路性能并检测时序违规，时序分析器使用数据所需时间、数据到达时间和时钟到达时间。为了验证电路性能并检测可能的时序违规，时序分析器使用数据到达时间、数据所需时间和时钟到达时间。为了使设计正确运行，定时分析器确定定时关系，并将到达时间与所需时间进行比较。

为了确定每个寄存器到寄存器路径的设置关系，时序分析器分析每个启动和锁存边沿。定时分析器在每个锁存边沿的目标寄存器中使用最靠近锁存边沿处的启动边沿。图1说明了两种设置关系，即设置A和设置B。对于10ns的锁存边沿，用作启动边沿的最近时钟为3ns，并标记为设置A。对于20ns的锁闩边沿，用作发射边沿的最接近时钟为19ns，称为设置B。

为了确定每个寄存器到寄存器路径的设置关系，时序分析器分析每个启动和锁存边沿。

定时分析器根据时钟设置检查报告松弛值。Slack是否满足时间要求。正的松弛表示满足了要求，而负的松弛表示未满足要求。时序分析器计算公式1中内部寄存器到寄存器路径的时钟设置间隙。

时钟保持检查

所有源寄存器和目标寄存器对的每个可能的设置关系都由定时分析器确定，以确定时钟保持关系。定时分析器通过比较所有相邻的时钟边沿来确定保持关系。定时分析器对每个设置关系进行两次保持检查。在第一保持检查期间，确定先前的锁存边沿是否没有捕获由当前启动边沿启动的数据。它确定由下一个启动边沿启动的数据没有被第二次保持检查的当前锁存边沿捕获。

定时分析器检查来自所有设置关系的所有相邻时钟边沿，以确定保持关系。定时分析器对每个设置关系进行两次分析。在第一保持检查期间，确定先前的锁存边沿是否没有捕获由当前启动边沿启动的数据。它确定由下一个启动边沿启动的数据没有被第二次保持检查的当前锁存边沿捕获。

定时分析器从可能的持有关系中选择限制性最强的持有关系。选择锁存和启动边缘之间差异最小的保持关系（即锁存-启动，而不是锁存-发射绝对值），因为它确定了寄存器到寄存器通信允许的最小延迟。

当使用外部放电装置时，逻辑电平（DIS）引脚连接到外部电阻器（Rdis），该外部电阻器可用于控制电容器的放电，例如ATAVRTS2080B。

公式4

数据到达时间-所需数据时间=时钟保持时间

数据所需时间等于时钟到达时间乘以时间不确定性加上tH
锁存边缘+到目标寄存器的时钟网络延迟=时钟到达时间
从启动边缘到源寄存器的延迟+时钟网络延迟+tCO+寄存器到寄存器延迟=数据到达时间
使用等式5，时序分析器计算从输入端口到内部寄存器的数据路径的保持空闲时间。

公式5
所需数据时间=锁存边缘+到目标寄存器的时钟网络延迟+μtH
输入最小延迟乘以输入引脚到寄存器的延迟等于数据到达时间加上启动边缘和时钟网络延迟。
数据到达时间是通过将启动边缘延迟、时钟网络延迟、输入最小延迟和引脚延迟添加到源寄存器来计算的。
引脚的输入最小延迟+输入引脚到寄存器的延迟=数据到达时间+启动边缘+到源寄存器的时钟网络延迟。

所需数据时间=锁定边缘+到目标寄存器的网络延迟+tH

如果数据路径是内部寄存器，则定时分析器基于等式6中的等式来计算保持松弛时间。

公式6
数据到达时间-数据要求时间=时钟设置空闲时间
通过将启动边缘加上时钟网络延迟加到源寄存器以及tCO加上寄存器到引脚延迟来计算数据到达时间。
所需数据时间的计算方法是将锁存沿除以到达目标寄存器的时钟网络延迟（引脚的输出最小延迟）。


恢复和移除
例如，异步控制信号和预设必须在下一个活动时钟边沿之前的一定时间内保持稳定。如果注册了异步控制，则定时分析器基于等式7计算恢复松弛时间。


公式7
恢复空闲时间可以通过从数据到达时间中减去数据所需时间来计算
倒计时网络延迟到源寄存器+启动边缘延迟+tCO延迟+寄存器到寄存器延迟=数据到达时间
所需数据时间等于锁存沿加上到达目标寄存器的时钟网络延迟-μtSU
若未登记异步控制，则为了计算恢复松弛时间，定时分析器使用等式8中的等式。


公式8
数据延迟时间=数据需求时间-数据到达时间
到达要注册的端口的延迟加上最大输入延迟=数据到达时间
时钟网络延迟+所需数据时间=最长锁存边沿+最长时钟寄存器延迟+μtSU
为了使时序分析器对来自端口（设备I/O）的异步重置信号执行恢复分析，必须将输入最大延迟分配给异步重置引脚。
在异步控制的情况下，定时分析器根据等式9计算去除松弛时间。

多循环路径

需要几个时钟周期来将数据锁存在多周期路径上的目的寄存器处。例如，每第二个或第三个上升时钟沿可能需要捕获寄存器中的数据。