静态时序分析的基本方法07

        时序路径悲观移除

        静态时序分析工具在计算最快时钟路径与最慢时钟路径延时上可分别选择不同的延时路径或者不同的时序模型文件进行计算，但是最快时钟路径与最慢时钟路径上可能存在公共路径。

        那么在时序计算时，由于公共时钟路径的选择不同会出现不同的公共时钟路径延时值，而公共时钟路径延时出现差值却不符合实际情况，从而导致时序结果过于悲观。因此通过设置时钟路径悲观移除（CPPR）来移除时钟公共路径上信号延时计算带来的误差。

        这里以OCV分析模式下一条典型的时序路径为例，如下所示。

          B1为发射时钟路径和捕获时钟路径的公共部分。当不考虑CPPR时，在OCV模式下，建立时间分析中需要满足以下式。

          t1max+t2max+t3max≤t4min+tpa-tsu

        t1max为发射时钟最慢路径延时值，t2max为发射时序单元的最坏情况下的单元延时，t3max为数据路径中组合逻辑在最坏情况下的总延时，t2max+t3max为最慢数据路径延时值，t4min为捕获时钟最快路径延时，tpa为时钟周期，tsu为捕获时钟单元的建立时间要求值。

        公共时钟路径B1在计算发射时钟最慢路径延时值t1时使用MAX库，而在计算捕获时钟最快路径延时值t4时却使用MIN库。由于芯片实际工作时B1输出点作为两个不同传播延时的信号进行延时计算，这是不符合实际情况的。

        当考虑CPPR时，在OCV模式下，建立时间分析中满足如下式。

         t1max+t2max+t3max≤t4min+tpa-tsu+tcppr

        其中，增加了一个新参数tcppr，tcppr即为时钟公共路径B1在发射时钟路径和捕获时钟路径上计算的延时差值。这样计算出来的时序路径延时值就捕获过于悲观，更加符合真实情况。

        同样，当考虑CPPR时，在OCV模式下，保持数据分析中需要满足如下式。

        t1min+t2min+t3min+tcppr≥t4max+thold

         其中，t1min为发射时钟最快路径延时值，t2min为发射时序单元的最好情况下的单元延时，t3min为数据路径中组合逻辑在最好情况下的总延时，t2min+t3min为最快数据路径延时值，t4max为捕获时钟最慢路径时，tcppr即为时钟公共路径B1在发射时钟路径和捕获时钟路径上计算的延时差值thold为捕获时钟单元的保持时间要求值。