时序裕量计算之三：两种计算方法的比较

可以明显看到，两者的结果是一致的。

一、Clock Setup Slack

        ASIC的结论如下：

把等式稍微变换一下，stUn放到第一个括号里面，可得

        Clock Setup Slack

     = (Latch – Launch - stUn) + (Td-D(min) – Td-S(max)) – uTsu – uTco – Td(max)

(Latch – Launch - stUn)实际上就是SR，(Td-D(min) – Td-S(max))就是Tcs(min)。

        这与Altera的结论是相同的：

二、Clock Hold Slack

        ASIC的结论：

        Altera的结论：

        稍微转换一下，可发现两者完全相同。