发明申请
US20120124534A1 System and Method for Performing Static Timing Analysis in the Presence of Correlations Between Asserted Arrival Times
失效
在断定到达时间之间相关性的情况下执行静态时序分析的系统和方法
- 专利标题： System and Method for Performing Static Timing Analysis in the Presence of Correlations Between Asserted Arrival Times
- 专利标题（中）： 在断定到达时间之间相关性的情况下执行静态时序分析的系统和方法
-
申请号： US12944059申请日： 2010-11-11
-
公开(公告)号： US20120124534A1公开(公告)日： 2012-05-17
- 发明人: Kerim Kalafala , Jennifer E. Basile , David J. Hathaway , Jeffrey G. Hemmett , Peihua Qi , Natesan Venkateswaran , Chandramouli Visweswariah , Vladimir Zolotov
- 申请人： Kerim Kalafala , Jennifer E. Basile , David J. Hathaway , Jeffrey G. Hemmett , Peihua Qi , Natesan Venkateswaran , Chandramouli Visweswariah , Vladimir Zolotov
- 申请人地址： US NY Armonk
- 专利权人： International Business Machines Corporation
- 当前专利权人： International Business Machines Corporation
- 当前专利权人地址： US NY Armonk
- 主分类号： G06F17/50
- IPC分类号： G06F17/50
摘要：
A method of applying common path credit in a static timing analysis in the presence of correlations between asserted arrival times, comprising the steps of using a computer, identifying one or more pairs of asserted arrival times for which one or more correlations exist; propagating to each of the one or more pairs of asserted arrival times a timing value dependent on the one or more correlations; and performing a subsequent common path pessimism removal analysis for at least one test during which a timing value dependent on the one or more correlations between asserted arrival times is used to compute an adjusted test slack.