公开(公告)号：US07437697B2

公开(公告)日：2008-10-14

申请号：US11303792

申请日：2005-12-16

申请人： Natesan Venkateswaran ,  Chandramouli Viswewariah ,  JinJun Xiong ,  Vladimir Zolotov

发明人： Natesan Venkateswaran ,  Chandramouli Viswewariah ,  JinJun Xiong ,  Vladimir Zolotov

IPC分类号： G06F17/50 ,  G06F9/455

CPC分类号： G06F17/5031 ,  G06F2217/84

摘要： 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.

摘要翻译： 描述了用于确定电路的时序图的边缘的临界概率的方法。 该方法包括形成对应于正在定时的电路的有向非循环时序图，对于感兴趣的每个边缘执行电路的统计定时，定义将定时图分成多个部分的切片，确定每个边缘的边缘松弛 在切片中，计算切片中所有边缘松弛的统计最大值，并从统计最大值推断每个边缘的边缘关键概率。 还描述了用于确定电路的时序图的边缘的关键概率的系统。

公开(公告)号：US20070143722A1

公开(公告)日：2007-06-21

申请号：US11303792

申请日：2005-12-16

申请人： Natesan Venkateswaran ,  Chandramouli Viswewariah ,  JinJun Xiong ,  Vladimir Zolotov

发明人： Natesan Venkateswaran ,  Chandramouli Viswewariah ,  JinJun Xiong ,  Vladimir Zolotov

IPC分类号： G06F17/50

CPC分类号： G06F17/5031 ,  G06F2217/84

摘要： 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.

摘要翻译： 描述了用于确定电路的时序图的边缘的临界概率的方法。 该方法包括形成对应于正在定时的电路的有向非循环时序图，对于感兴趣的每个边缘执行电路的统计定时，定义将定时图分成多个部分的切片，确定每个边缘的边缘松弛 在切片中，计算切片中所有边缘松弛的统计最大值，并从统计最大值推断每个边缘的边缘关键概率。 还描述了用于确定电路的时序图的边缘的关键概率的系统。