发明名称 |
System and method for performing static timing analysis in the presence of correlations between asserted arrival times |
摘要 |
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. |
申请公布号 |
US8689158(B2) |
申请公布日期 |
2014.04.01 |
申请号 |
US20100944059 |
申请日期 |
2010.11.11 |
申请人 |
KALAFALA KERIM;BASILE JENNIFER E.;HATHAWAY DAVID J.;HEMMETT JEFFREY G.;QI PEIHUA;VENKATESWARAN NATESAN;VISWESWARIAH CHANDRAMOULI;ZOLOTOV VLADIMIR;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
KALAFALA KERIM;BASILE JENNIFER E.;HATHAWAY DAVID J.;HEMMETT JEFFREY G.;QI PEIHUA;VENKATESWARAN NATESAN;VISWESWARIAH CHANDRAMOULI;ZOLOTOV VLADIMIR |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|