METHOD AND SYSTEM FOR EVALUATING STATISTICAL SENSITIVITY CREDIT IN PATH-BASED HYBRID MULTI-CORNER STATIC TIMING ANALYSIS
    1.
    发明申请
    METHOD AND SYSTEM FOR EVALUATING STATISTICAL SENSITIVITY CREDIT IN PATH-BASED HYBRID MULTI-CORNER STATIC TIMING ANALYSIS 失效
    基于路径的混合多角度静态时序分析评估统计灵敏度信息的方法和系统

    公开(公告)号:US20080209373A1

    公开(公告)日:2008-08-28

    申请号:US11679251

    申请日:2007-02-27

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5031

    摘要: Methods, systems and computer program products for analyzing a timing design of an integrated circuit are disclosed. According to an embodiment, a method for analyzing a timing design of an integrated circuit comprises: providing an initial static timing analysis of the integrated circuit; selecting a static timing test with respect to a static timing test point based on the initial static timing analysis; selecting a timing path leading to the static timing test point for the static timing test; determining an integrated slack path variability for the timing path based on a joint probability distribution of at least one statistically independent parameter; and analyzing the timing design based on the integrated slack path variability.

    摘要翻译: 公开了用于分析集成电路的定时设计的方法,系统和计算机程序产品。 根据实施例,用于分析集成电路的定时设计的方法包括:提供集成电路的初始静态时序分析; 基于初始静态时序分析,选择静态定时测试点的静态定时测试; 选择通过静态定时测试的静态定时测试点的定时路径; 基于至少一个统计学独立参数的联合概率分布来确定所述定时路径的综合松弛路径可变性; 并基于综合的松弛路径变异性分析时序设计。

    System and method for correlated process pessimism removal for static timing analysis
    8.
    发明授权
    System and method for correlated process pessimism removal for static timing analysis 失效
    静态时序分析相关过程悲观消除的系统和方法

    公开(公告)号:US07117466B2

    公开(公告)日:2006-10-03

    申请号:US10665273

    申请日:2003-09-18

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5031

    摘要: A method of removing pessimism in static timing analysis is described. Delays are expressed as a function of discrete parameter settings allowing for both local and global variation to be taken in to account. Based on a specified target slack, each failing timing test is examined to determine a consistent set of parameter settings which produces the worst possible slack. The analysis is performed on a path basis. By considering only parameters which are in common to a particular data/clock path-pair, the number of process combinations that need to be explored is reduced when compared to analyzing all combinations of the global parameter settings. Further, if parameters are separable and linear, worst-case variable assignments for a particular clock/data path pair can be computed in linear time by independently assigning each parameter value. In addition, if available, the incremental delay change with respect to each physically realizable process variable may be used to project the worst-case variable assignment on a per-path basis without the need for performing explicit corner enumeration.

    摘要翻译: 描述了静态时序分析中消除悲观情绪的方法。 延迟表示为离散参数设置的函数,允许将本地和全局变量都用于账户。 根据指定的目标松弛,检查每个失败的定时测试,以确定一组一致的参数设置,从而产生最差的松弛。 分析以路径为基础进行。 通过仅考虑与特定数据/时钟路径对共同的参数,与分析全局参数设置的所有组合相比,需要探索的进程组合的数量减少。 此外,如果参数是可分离的和线性的,则通过独立地分配每个参数值,可以在线性时间内计算特定时钟/数据路径对的最差情况变量分配。 另外,如果可用,可以使用相对于每个物理上可实现的过程变量的增量延迟变化来在每个路径基础上投射最坏情况的变量赋值,而不需要执行明确的角点枚举。

    System and method for correlated process pessimism removal for static timing analysis
    10.
    发明申请
    System and method for correlated process pessimism removal for static timing analysis 失效
    静态时序分析相关过程悲观消除的系统和方法

    公开(公告)号:US20050066297A1

    公开(公告)日:2005-03-24

    申请号:US10665273

    申请日:2003-09-18

    IPC分类号: G06F9/45 G06F17/50

    CPC分类号: G06F17/5031

    摘要: A method of removing pessimism in static timing analysis is described. Delays are expressed as a function of discrete parameter settings allowing for both local and global variation to be taken in to account. Based on a specified target slack, each failing timing test is examined to determine a consistent set of parameter settings which produces the worst possible slack. The analysis is performed on a path basis. By considering only parameters which are in common to a particular data/clock path-pair, the number of process combinations that need to be explored is reduced when compared to analyzing all combinations of the global parameter settings. Further, if parameters are separable and linear, worst-case variable assignments for a particular clock/data path pair can be computed in linear time by independently assigning each parameter value. In addition, if available, the incremental delay change with respect to each physically realizable process variable may be used to project the worst-case variable assignment on a per-path basis without the need for performing explicit corner enumeration.

    摘要翻译: 描述了静态时序分析中消除悲观情绪的方法。 延迟表示为离散参数设置的函数,允许将本地和全局变量都用于账户。 根据指定的目标松弛,检查每个失败的定时测试,以确定一组一致的参数设置,从而产生最差的松弛。 分析以路径为基础进行。 通过仅考虑与特定数据/时钟路径对共同的参数,与分析全局参数设置的所有组合相比,需要探索的进程组合的数量减少。 此外,如果参数是可分离的和线性的,则通过独立地分配每个参数值,可以在线性时间内计算特定时钟/数据路径对的最差情况变量分配。 另外,如果可用,可以使用相对于每个物理上可实现的过程变量的增量延迟变化来在每个路径基础上投射最坏情况的变量赋值,而不需要执行明确的角点枚举。