静态时序分析中的计算问题

1. 几个重要概念

1.1 Clock Setup Time (Tsu)

时钟沿到来之前数据需要稳定的时间

1.2 Clock Hold Time (Th)

时钟沿到来之后数据需要稳定的时间

1.3 Clock-to-Output Delay（Tco）

寄存器的时钟有效沿 —— 》寄存器Q端有输出的时间

1.4 Clock skew

前后两个寄存器时钟输入端的偏移量，Tskew = Tclk2 - Tclk1(Tclk2>Tclk1)

1.5 Data Arrival Time

时钟源的Launch发射沿 ——》后一个寄存器D端的时间，即Tclk1+Tco+Tdata

1.6 Clock Arrival Time  

第二个寄存器Latch沿的绝对时间，即T+Tclk2(T为时钟周期)

1.7 Data Required Time（setup/hold）

（建立）数据需求时间计算公式例如以下：

Data Required Time = Clock Arrival Time - Tsu

（保持）数据需求时间计算公式例如以下：

Data Required Time = Clock Arrival Time + Th

1.8 Setup slack

Setup slack = Data Required Time - Data Arrival Time

由公式可知。正的slack表示数据需求时间大于数据到达时间，满足时序（时序的余量）。负的slack表示数据需求时间小于数据到达时间，不满足时序（时序的欠缺量）。

1.9 Hold slack

Tclk2+T+Th <= Tclk1+Tco+Tdata+Tdata-hold

2. 最大频率的计算（最小时钟周期）

当Data Required Time = Data Arrival Time时周期最小，频率最大

以源时钟的Launth沿为原点，假设setup slack=0，则有下式成立

0+Tclk2+Tmin-Tsu=Tclk1+Tco+Tdata(Tclk2>Tclk1)

0+Tskew+Tmin-Tsu=Tco+Tdata

Tmin=Tco+Tdata+Tsu-Tskew