时序裕量

（1）时序裕量

     裕量（Slack）是实际所用时间和设计所需时间的差值，表示设计是否满足时序的一个称谓：正的Slack表示满足时序（时序的裕量），负的Slack表示不满足时序（时序的欠缺量）。Slack分为建立时间裕量和保持时间裕量。

                                                                      图1.1 时序的基本概念图（1）

                                                         图1.2 时序的节本概念图（2）

建立时间的裕量的示意图如图1.1所示；

根据图可以归纳出如下计算方法：

 

保持时间的裕量的示意图如图1.2所示；

根据图也可以归纳出如下计算方法：

裕量概念中，比较重要的是保持时间裕量，这个概念主要用于衡量寄存器到寄存器路径上数据稳定采样的最小保持时间是否满足。如果要稳定采样，数据在目的寄存器上升沿到来后要保持稳定的最小值等于目的寄存器时间。换句话说，当目的寄存器上升沿到来后，数据保持稳定的时间必须大于等于目的寄存器的时间，否则就不能稳定采样。造成数据保持时间裕量为负，即数据保持时间不够的主要原因是数据路径的延迟小于时钟路径的延迟。