静态时序分析-建立时间和保持时间违例分析

单一分析模式

时序分析模式分别为：单一分析模式（single mode）、最好-最坏分析模式（BC_WC mode）、全芯片变换分析模式（OCV mode），这里仅分析单一模式，其他模式类似只是最快数据路径和最慢路径选择不同。

更多知识参考：
详解建立时间和保持时间
时序违例解决方法

setup公式

数据到达延时 <= 数据要求延时
Tlaunch+Tck2q+Tdp <= Tcapture+Tclk-Tsetup
setup slack =数据要求延时 - 数据到达延时
            =Tcapture+Tclk-Tsetup -(Tlaunch+Tck2q+Tdp) 

hold公式

数据到达延时 >= 数据要求延时
Tlaunch+Tck2q+Tdp >= Tcapture+Thold
hold slack = 数据到达时间 - 数据要求时间
           =Tlaunch+Tck2q+Tdp - (Tcapture+Thold)

1.建立时间分析

时钟周期(T) = 4
发射时钟最慢路径延时值(Tck)=U1单元延时+U2单元延时=0.8+0.6 = 1.4
最慢数据路径延时值 (Tcmb) = 3.6
捕获时钟最快路径延时值(Tde)=U1单元延时+U3单元延时=0.8+0.5 = 1.3
时序单元的setup时间要求值(Tsetup) = 0.2
数据到达延时值 = 发射时钟最慢路径延时值+最慢数据路径延时值
=Tck+Tcmb = 5
数据要求延时值 = 时钟周期+时序单元的setup时间要求值-时序单元的setup时间要求值
=T+Tde-Tsetup=4+1.3-0.2=5.1
延时违反值 = 数据要求延时值 - 数据到达延时值 = 5.1 -5 = 0.1为正值，没有时序违例

2.保持时间分析

时钟周期(T) = 4
发射时钟最慢路径延时值(Tck)=U1单元延时+U2单元延时=0.6+0.4 = 1.0
最快数据路径延时值 (Tcmb) = 1.0
捕获时钟最快路径延时值(Tde)=U1单元延时+U3单元延时=0.6+0.3= 0.9
时序单元的hold时间要求值(Thold) = 0.1
数据到达延时值 = 发射时钟最慢路径延时值+最快数据路径延时值
=Tck+Tcmb = 2.0
数据要求延时值 = 时序单元的hold时间要求值+捕获时钟最快路径延时值
=Thold+Tde=0.1+0.9=1.0
延时违反值 = 数据要求延时值 - 数据到达延时值 = 1.0 -2.0 = -1.0为负值，没有时序违例

参考：
集成电路静态时序分析与建模——刘峰