網絡課程《數字內建電路靜态時序分析基礎》的筆記
位址：https://www.iccollege.cn/portal/courseDetail/193.mooc
魯棒性檢查
工藝制成和環境因素會導緻die上的延遲不均勻，影響因素包括：
這些偏差被稱為OCV，在做STA時也需要考慮到OCV
通過derating把延遲加到特定的路徑上，模拟OCV的影響
建立時間檢查
下面考慮測建立時間的OCV影響
最壞的情況就是發射路徑變大，而捕獲路徑減小。
建立時間的關系為：
那麼就有
最小的時鐘周期為5.49ns，如果考慮OCV，可以添加derate參數，放大發射路徑，縮小捕獲路徑，讓檢查更加嚴格
總而言之通過derate讓限制變緊，下面是一個例子，cell和net延遲都可以用derate進行索方
對于剛剛的例子，如果施加下面的derate
那麼計算參數的變化如下
時序變緊，最大時鐘周期為7.171ns。對于建立時間，early會施加在捕獲路徑上，late會施加在發射路徑上，cell會施加在cell的建立時間上。
值得注意的是，在公用的路徑中，在發射路徑和捕獲路徑中，一個放大，一個縮小，實際上不應該這樣計算。
共用路徑計算不一緻會導緻STA結果過于悲觀，被稱作CPP，而移除的方法被稱為CPPR
CPP的計算是通過公用路徑的終點計算的，計算內插補點然後再進行補償。
那麼在剛剛的例子中，CPP的值為0.36，補償以後時鐘周期從7.171減小到6.811
總的來說，引入OCV然後再移除CPPR，時鐘周期從5.49增加到6.81
如果建立時間檢查的時候已經在最差的PVT中，那麼發射路徑已經很慢了，不需要derate再去悲觀考慮，隻考慮将捕獲路徑縮小
引入OCV以後的時序報告，發射路徑
看到高亮處，在發射路徑和捕獲路徑不一樣，這是由于derate參數設定的問題，而紅線辨別的CPP就是在補償。
保持時間檢查
收緊保持時間檢查就需要在OCR條件裡，縮短發射時間，延長捕獲路徑。保持時間檢查公式為：
下面舉例
考慮OCV，施加限制
考慮OCV以後，保持時間不滿足。保持時間檢查時，PVT條件是最快的，那麼隻讓捕獲路徑變慢就好了，發射路徑已經不能再快了
和建立時間中的也是一樣的，共用路徑的CPP也要考慮
那麼時序報告如下
CPP也被去掉了