[发明专利]用于静态时序中点对点延迟限制的有效分析的系统和方法

权利要求书

1.一种用于执行对电路的静态时序分析的方法，该电路在所述电路的第一点和第二点之间具有至少一个点对点延迟限制，所述方法包括步骤：

从所述静态时序分析的前向传播到达时间与后向传播所需到达时间中的至少一个来计算所述点对点延迟限制的第一测量准则的第一边界；

从所述第一边界确定是否保证所述点对点延迟限制：a)得到满足，b)得不到满足，以及c)不确定。

2.根据权利要求1所述的方法，其中，如果所述第一边界是不确定的，则选择第二测量准则的第二边界，并且对基于其他测量准则的边界进行迭代计算，直到保证所述点对点延迟限制得到满足或得不到满足为止，或直到已经基于所有可用的测量准则对边界进行了计算为止。

3.根据权利要求2所述的方法，其中，所述点对点延迟限制从包括下列的群组中选择而来：最小延迟限制、最大延迟限制以及它们的任意组合。

4.根据权利要求3所述的方法，其中，所述点对点延迟限制具有最大延迟限制，并且基于所述测量准则计算的所述边界包括下列中的至少一个：

当满足所述点对点最大延迟限制时，对产生保守边界的后期模式到达时间的比较；

当满足所述点对点最大延迟限制时，对产生第二保守边界的后期模式所需到达时间的比较；

当满足所述点对点最大延迟限制时，对产生乐观边界的早期模式到达时间的比较；以及

当满足所述点对点最大延迟限制时，对产生第二乐观边界的早期模式所需到达时间的比较。

5.根据权利要求4所述的方法，其中，所述至少一个边界是从包括下列的群组中选择而来：乐观边界、保守边界、基于AT的边界、基于RAT的边界以及它们以任何顺序的组合。

6.根据权利要求3所述的方法，其中，所述点对点延迟限制具有最小延迟限制，并且基于所述测量准则计算的所述边界包括：

当满足所述点对点最大延迟限制时，对产生乐观边界的后期模式到达时间的比较；

当满足所述点对点最大延迟限制时，对产生第二乐观边界的后期模式所需到达时间的比较；

当满足所述点对点最大延迟限制时，对产生保守边界的早期模式到达时间的比较；以及

当满足所述点对点最大延迟限制时，对产生另一保守边界的早期模式所需到达时间的比较。

7.根据权利要求6所述的方法，其中，所述至少一个边界是从包括下列的群组中选择而来：乐观边界、保守边界、基于AT的边界、基于RAT的边界以及它们以任何顺序的组合。

8.根据权利要求1所述的方法，其中，所述静态时序分析在下列至少其中之一上执行：门级电路、晶体管级电路、层级电路、具有可组合逻辑的电路以及具有序列逻辑的电路。

9.根据权利要求1所述的方法，其中，所述静态时序分析的时序包括下列至少一个的分析：耦合噪声、多输入切换以及任意时序测试。

10.根据权利要求9所述的方法，其中，所述任意时序测试在选自下列的群组上执行：设定、保持、循环结束、脉冲宽度、时钟门控以及环路切断测试。

11.根据权利要求1所述的方法，其中，所述静态时序分析的所述时序是在存在多个时钟域的情况下执行。

12.根据权利要求1所述的方法，其中，所述静态时序分析包括确定上升和下降时间。

13.根据权利要求1所述的方法，其中，所述至少一个点对点延迟限制是多循环路径限制。

14.根据权利要求1所述的方法，其中，所述至少一个点对点延迟限制是异步路径限制。