摘要 |
<p>A method for determining criticality probability of an edge of a timing graph of a circuit is described. The method includes forming a directed acyclic timing graph corresponding to a circuit being timed, performing statistical timing of the circuit, for each edge of interest, defining a cutset that divides the timing graph into a plurality of parts, determining an edge slack for each edge in the cutset, computing a statistical maximum of all edge slacks in the cutset, and inferring edge criticality probabilities of each edge from the statistical maximum. A system for determining criticality probability of an edge of a timing graph of a circuit is also described.</p> |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION;IBM UNITED KINGDOM LIMITED;ZOLOTOV, VLADIMIR;VISWESWARIAH, CHANDRAMOULI;VENTKATESWARAN, NATESAN;XIONG, JINJUN |
发明人 |
ZOLOTOV, VLADIMIR;VISWESWARIAH, CHANDRAMOULI;VENTKATESWARAN, NATESAN;XIONG, JINJUN |