公开(公告)号：US08201120B2

公开(公告)日：2012-06-12

申请号：US12652338

申请日：2010-01-05

申请人： Jeffrey P. Soreff ,  Barry Lee Dorfman ,  Jeffrey G. Hemmett ,  Ravichander Ledalla ,  Vasant Rao ,  Fred Lei Yang

发明人： Jeffrey P. Soreff ,  Barry Lee Dorfman ,  Jeffrey G. Hemmett ,  Ravichander Ledalla ,  Vasant Rao ,  Fred Lei Yang

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

CPC分类号： G06F17/5031

摘要： A method and a system for selecting timing points in an electrical interconnect network to be used in electrical simulations for a static timing analysis for improved accuracy. The present method includes discovering choke points in an electrical model of the interconnect for which all the paths from drivers to receivers must pass through on certain types of nets. The method then uses the choke point electrical nodes, where they exist, as an output timing point of the logic gate driving the net. The method solves the problem of inaccuracies due to resistances between different driver pins on the same interconnect net, though it can also be applied to solving analogous inaccuracies due to resistances between different receiver pins associated with the same receiver timing point. It further also applies to interconnect with other two-port parasitic elements, to cases where only a subset of receiver pins on the net require accurate timing, and to cases where a set of electrical nodes, rather than a single node, partition all paths from drivers to receivers on a net.

摘要翻译： 一种用于选择电气互连网络中用于静态时序分析的电气仿真中的定时点的方法和系统，以提高精度。 本发明的方法包括发现在互连的电气模型中的阻塞点，所述互连的所有路径对于所述路由器必须在某些类型的网络上通过。 然后，该方法使用其存在的阻塞点电子节点作为驱动网络的逻辑门的输出定时点。 该方法解决了由于同一互连网上的不同驱动器引脚之间的电阻引起的不准确性的问题，尽管它也可以应用于解决由于与相同接收器定时点相关联的不同接收器引脚之间的电阻引起的类似不准确性。 它还适用于与其他双端口寄生元件的互连，仅在网络上的接收器引脚的子集需要精确的定时的情况下，以及一组电气节点而不是单个节点将所有路径从 驱动程序到网络上的接收器。

公开(公告)号：US20110167395A1

公开(公告)日：2011-07-07

申请号：US12652338

申请日：2010-01-05

申请人： Jeffrey P. Soreff ,  Barry Lee Dorfman ,  Jeffrey G. Hemmett ,  Ravichander Ledalla ,  Vasant Rao ,  Fred Lei Yang

发明人： Jeffrey P. Soreff ,  Barry Lee Dorfman ,  Jeffrey G. Hemmett ,  Ravichander Ledalla ,  Vasant Rao ,  Fred Lei Yang

IPC分类号： G06F17/50

CPC分类号： G06F17/5031

摘要： A method and a system for selecting timing points in an electrical interconnect network to be used in electrical simulations for a static timing analysis for improved accuracy. The present method includes discovering choke points in an electrical model of the interconnect for which all the paths from drivers to receivers must pass through on certain types of nets. The method then uses the choke point electrical nodes, where they exist, as an output timing point of the logic gate driving the net. The method solves the problem of inaccuracies due to resistances between different driver pins on the same interconnect net, though it can also be applied to solving analogous inaccuracies due to resistances between different receiver pins associated with the same receiver timing point. It further also applies to interconnect with other two-port parasitic elements, to cases where only a subset of receiver pins on the net require accurate timing, and to cases where a set of electrical nodes, rather than a single node, partition all paths from drivers to receivers on a net.

摘要翻译： 一种用于选择电气互连网络中用于静态时序分析的电气仿真中的定时点的方法和系统，以提高精度。 本发明的方法包括发现在互连的电气模型中的阻塞点，所述互连的所有路径对于所述路由器必须在某些类型的网络上通过。 然后，该方法使用其存在的阻塞点电子节点作为驱动网络的逻辑门的输出定时点。 该方法解决了由于同一互连网上的不同驱动器引脚之间的电阻引起的不准确性的问题，尽管它也可以用于解决由于与相同接收器定时点相关联的不同接收器引脚之间的电阻引起的类似不准确性。 它还适用于与其他双端口寄生元件的互连，仅在网络上的接收器引脚的子集需要精确的定时的情况下，以及一组电气节点而不是单个节点将所有路径从 驱动程序到网络上的接收器。

公开(公告)号：US20090183130A1

公开(公告)日：2009-07-16

申请号：US11972923

申请日：2008-01-11

申请人： Philip G. Shephard, III ,  Ravichander Ledalla ,  Vasant Rao ,  Jeffrey P. Soreff

发明人： Philip G. Shephard, III ,  Ravichander Ledalla ,  Vasant Rao ,  Jeffrey P. Soreff

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： A method for hierarchical analysis of electronic circuits comprises selecting a first one of a plurality of abstraction levels of a general design model (GDM). The GDM comprises a first design description of electronic circuits at a plurality of abstraction levels and a plurality of foci, organized into sub-blocks. The method selects a first focus of the plurality of foci to select a first sub-block. The method identifies incomplete electronic circuits in the selected first sub-block. The method generates a second design description of the first sub-block to exclude identified incomplete electronic circuits, wherein the second design description is suitable for electronic design analysis (EDA). The method stores the generated second design description for subsequent use. Subsequent iterations thereby include all components of circuits that were incomplete in prior iterations.

摘要翻译： 一种用于电子电路的层次分析的方法包括选择通用设计模型（GDM）的多个抽象层中的第一个抽象层。 GDM包括在多个抽象级别的电子电路的第一设计描述和被组织成子块的多个焦点。 该方法选择多个焦点的第一焦点以选择第一子块。 该方法识别所选择的第一子块中不完整的电子电路。 该方法产生第一子块的第二设计描述以排除所识别的不完整电子电路，其中第二设计描述适用于电子设计分析（EDA）。 该方法存储生成的第二设计描述供后续使用。 随后的迭代因此包括在先前迭代中不完整的电路的所有组件。

公开(公告)号：US07870515B2

公开(公告)日：2011-01-11

申请号：US11972923

申请日：2008-01-11

申请人： Philip G. Shephard, III ,  Ravichander Ledalla ,  Vasant Rao ,  Jeffrey P. Soreff

发明人： Philip G. Shephard, III ,  Ravichander Ledalla ,  Vasant Rao ,  Jeffrey P. Soreff

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： A method for hierarchical analysis of electronic circuits comprises selecting a first one of a plurality of abstraction levels of a general design model (GDM). The GDM comprises a first design description of electronic circuits at a plurality of abstraction levels and a plurality of foci, organized into sub-blocks. The method selects a first focus of the plurality of foci to select a first sub-block. The method identifies incomplete electronic circuits in the selected first sub-block. The method generates a second design description of the first sub-block to exclude identified incomplete electronic circuits, wherein the second design description is suitable for electronic design analysis (EDA). The method stores the generated second design description for subsequent use. Subsequent iterations thereby include all components of circuits that were incomplete in prior iterations.

摘要翻译： 一种用于电子电路的层次分析的方法包括选择通用设计模型（GDM）的多个抽象层中的第一个抽象层。 GDM包括在多个抽象级别的电子电路的第一设计描述和被组织成子块的多个焦点。 该方法选择多个焦点的第一焦点以选择第一子块。 该方法识别所选择的第一子块中不完整的电子电路。 该方法产生第一子块的第二设计描述以排除所识别的不完整电子电路，其中第二设计描述适用于电子设计分析（EDA）。 该方法存储生成的第二设计描述供后续使用。 随后的迭代因此包括在先前迭代中不完整的电路的所有组件。

公开(公告)号：US06763504B2

公开(公告)日：2004-07-13

申请号：US10237328

申请日：2002-09-06

申请人： Vasant B. Rao ,  Ravichander Ledalla ,  Jeffrey P. Soreff ,  Fred L. Yang

发明人： Vasant B. Rao ,  Ravichander Ledalla ,  Jeffrey P. Soreff ,  Fred L. Yang

IPC分类号： G06F1750

CPC分类号： G06F17/5036

摘要： A method for further reducing RC parasitics in an interconnect network following internal node elimination is described. A resistor is initially selected as a candidate for shorting, and it is established whether the accumulated delay error at either end of the resistor is less than a predetermined threshold. This threshold must be a fraction of the time-constant threshold selected by internal node elimination techniques in order to limit the growth of the accumulated delay errors. An important aspect of the invention is the simplicity of the formula used to change the downstream resistor values, namely, the product of the value of the resistor shorted and the ratio of the cumulative downstream capacitances of the two ends of the resistor whose value is being changed. This particular choice of updating the downstream resistor values minimizes the absolute-value of the delay errors at every node due to shorting of the selected resistor. It also preserves the delays at all nodes in the interconnect network apart from the two ends of the resistor selected for shorting.

摘要翻译： 描述了在内部节点消除之后进一步减少互连网络中的RC寄生效应的方法。 最初选择一个电阻作为短路的候选，并且确定电阻器两端的累积延迟误差是否小于预定阈值。 该阈值必须是通过内部节点消除技术选择的时间常数阈值的一小部分，以便限制累积延迟误差的增长。 本发明的一个重要方面是用于改变下游电阻值的公式的简单性，即，电阻器的值的乘积与电阻器的两端的累积下游电容的比值，其值为 改变了 更新下游电阻值的这一特定选择可以使由于所选择的电阻器的短路导致的每个节点的延迟误差的绝对值最小化。 它还保留互连网络中所有节点之间的延迟，除了选择短路的电阻器的两端之外。

公开(公告)号：US20110035714A1

公开(公告)日：2011-02-10

申请号：US12538229

申请日：2009-08-10

申请人： Eric A. Foreman ,  Peter A. Habitz ,  David J. Hathaway ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Jeffrey P. Soreff

发明人： Eric A. Foreman ,  Peter A. Habitz ,  David J. Hathaway ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Jeffrey P. Soreff

IPC分类号： G06F17/50

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

摘要： A system and method for adjustment of modeled timing data variation as a function of past state and/or switching history during static timing analysis. One illustrative embodiment may include inputting and asserting at least one of initial signal history bound and explicit device history bound constraints for at least one signal of a circuit design and evaluating for a segment processed during a forward propagation of block based static timing analysis whether any input signal to a current segment has a bounded history, at least one of propagated and asserted. The method may further include evaluating for the segment whether history bounds are downstream from a gating restriction, and processing a next segment until there are no further segments.

摘要翻译： 一种用于在静态时序分析期间调整作为过去状态和/或切换历史的函数的建模定时数据变化的系统和方法。 一个说明性实施例可以包括输入和断言用于电路设计的至少一个信号的初始信号历史约束和显式设备历史约束约束中的至少一个，并且针对在基于块的静态时序分析的正向传播期间处理的段来评估是否有任何输入 对当前段的信号具有有界历史，至少一个传播和断言。 该方法可以进一步包括评估该段是否历史边界是在门控限制的下游，以及处理下一个段，直到没有进一步的段。

公开(公告)号：US08141014B2

公开(公告)日：2012-03-20

申请号：US12538229

申请日：2009-08-10

申请人： Eric A. Foreman ,  Peter A. Habitz ,  David J. Hathaway ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Jeffrey P. Soreff

发明人： Eric A. Foreman ,  Peter A. Habitz ,  David J. Hathaway ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Jeffrey P. Soreff

IPC分类号： G06F17/50

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

摘要： A system and method for adjustment of modeled timing data variation as a function of past state and/or switching history during static timing analysis. One illustrative embodiment may include inputting and asserting at least one of initial signal history bound and explicit device history bound constraints for at least one signal of a circuit design and evaluating for a segment processed during a forward propagation of block based static timing analysis whether any input signal to a current segment has a bounded history, at least one of propagated and asserted. The method may further include evaluating for the segment whether history bounds are downstream from a gating restriction, and processing a next segment until there are no further segments.

摘要翻译： 一种用于在静态时序分析期间调整作为过去状态和/或切换历史的函数的建模定时数据变化的系统和方法。 一个说明性实施例可以包括输入和断言用于电路设计的至少一个信号的初始信号历史约束和显式设备历史约束约束中的至少一个，并且针对在基于块的静态时序分析的正向传播期间处理的段来评估是否有任何输入 对当前段的信号具有有界历史，至少一个传播和断言。 该方法可以进一步包括评估该段是否历史边界是在门控限制的下游，以及处理下一个段，直到没有进一步的段。

公开(公告)号：US08108816B2

公开(公告)日：2012-01-31

申请号：US12484293

申请日：2009-06-15

申请人： Eric A. Foreman ,  Peter A. Habitz ,  David J. Hathaway ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Jeffrey P. Soreff

发明人： Eric A. Foreman ,  Peter A. Habitz ,  David J. Hathaway ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Jeffrey P. Soreff

IPC分类号： G06F17/50

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

摘要： A system and method for the adjustment of history based delay variation during static timing analysis of an integrated circuit design. The method may include obtaining information through sources of variability of history based components of delay variability, and a relationship between the sources of variability and one or more bounded device histories. Then, inputting history bounds for at least one signal of the integrated circuit design, and computing and propagating history bounds through at least one first segment of the integrated circuit design to at least one signal of the integrated circuit design. Further, the method may include evaluating from at least one of the propagated history bounds, device history bounds for at least one second segment of the integrated circuit design, and based on the evaluated device history bounds, adjusting at least one of a value of the history based delay variability and propagation of timing.

摘要翻译： 一种用于在集成电路设计的静态时序分析期间调整基于历史的延迟变化的系统和方法。 该方法可以包括通过延迟变异性的基于历史的组件的变异源获得信息，以及变异源与一个或多个有界设备历史之间的关系。 然后，为集成电路设计的至少一个信号输入历史界限，并且通过集成电路设计的至少一个第一段将集成电路设计的至少一个信号计算和传播历史界限。 此外，该方法可以包括从至少一个传播的历史界限评估集成电路设计的至少一个第二段的设备历史界限，以及基于所评估的设备历史界限，调整至少一个 基于历史的延迟变异性和时间传播。

公开(公告)号：US20100318951A1

公开(公告)日：2010-12-16

申请号：US12484293

申请日：2009-06-15

申请人： Eric A. Foreman ,  Peter A. Habitz ,  David J. Hathaway ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Jeffrey P. Soreff

发明人： Eric A. Foreman ,  Peter A. Habitz ,  David J. Hathaway ,  Jeffrey G. Hemmett ,  Kerim Kalafala ,  Jeffrey P. Soreff

IPC分类号： G06F17/50

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

摘要： A system and method for the adjustment of history based delay variation during static timing analysis of an integrated circuit design. The method may include obtaining information through sources of variability of history based components of delay variability, and a relationship between the sources of variability and one or more bounded device histories. Then, inputting history bounds for at least one signal of the integrated circuit design, and computing and propagating history bounds through at least one first segment of the integrated circuit design to at least one signal of the integrated circuit design. Further, the method may include evaluating from at least one of the propagated history bounds, device history bounds for at least one second segment of the integrated circuit design, and based on the evaluated device history bounds, adjusting at least one of a value of the history based delay variability and propagation of timing.

摘要翻译： 一种用于在集成电路设计的静态时序分析期间调整基于历史的延迟变化的系统和方法。 该方法可以包括通过延迟变异性的基于历史的组件的变异源获得信息，以及变异源与一个或多个有界设备历史之间的关系。 然后，为集成电路设计的至少一个信号输入历史界限，并且通过集成电路设计的至少一个第一段将集成电路设计的至少一个信号计算和传播历史界限。 此外，该方法可以包括从至少一个传播的历史界限评估集成电路设计的至少一个第二段的设备历史界限，以及基于所评估的设备历史界限，调整至少一个 基于历史的延迟变异性和时间传播。

公开(公告)号：US08655634B2

公开(公告)日：2014-02-18

申请号：US12721227

申请日：2010-03-10

申请人： David J. Hathaway ,  Vasant Rao ,  Ronald D. Rose ,  Ali Sadigh ,  Jeffrey P. Soreff ,  David W. Winston

发明人： David J. Hathaway ,  Vasant Rao ,  Ronald D. Rose ,  Ali Sadigh ,  Jeffrey P. Soreff ,  David W. Winston

IPC分类号： G06F17/50

CPC分类号： G06F17/5036 ,  G06F17/509 ,  G06F2217/84

摘要： A system, method and program product for modeling load effects of a load CCC (channel connected component) in a transistor network. A system is disclosed that includes an analysis system that determines allowable logical state and transition functions for nets in a load CCC for a transition or state of a driving CCC for which a load condition is being determined; a trace system that traverses paths in the load CCC from a set of input terminals; and an element replacement system that replaces circuit elements in the load CCC to create a modeled CCC, wherein a circuit element replacement is based on a type of circuit element encountered along a trace, and state and transition functions of nets connected to an encountered circuit element.

摘要翻译： 一种用于建模晶体管网络中负载CCC（通道连接部件）的负载影响的系统，方法和程序产品。 公开了一种系统，其包括分析系统，该分析系统确定负载CCC中针对正在确定负载条件的驱动CCC的转变或状态的网络的允许逻辑状态和转换功能; 跟踪系统，从一组输入端子遍历负载CCC中的路径; 以及元件替换系统，其替换负载CCC中的电路元件以创建建模的CCC，其中电路元件替换基于沿着跟踪遇到的电路元件的类型，以及连接到遇到的电路元件的网络的状态和转换功能 。