会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Voltage drop effect on static timing analysis for multi-phase sequential circuit
    • 对多相顺序电路静态时序分析的电压降影响
    • US08832616B2
    • 2014-09-09
    • US13414052
    • 2012-03-07
    • Mau-chung Chang
    • Mau-chung Chang
    • G06F17/50
    • G06F17/5031G06F17/5036G06F2217/78G06F2217/84
    • In the present invention a method to address voltage drop effect in the path based timing analysis for multi-phase sequential circuit is proposed. In calculating the new delay of the gate along the specified path the fact that stored discrete arrival times with respect to different clock phases at each node is used to determine a set of gates that can have transitions overlapping with that of the said gate. Furthermore, the said set is reduced by the logic verification step. Two step approach is adopted, the first is to evaluate the power currents for the said reduced set of gates by using pre-characterized timing library, then use these currents to calculate new VDD of the said gate along the path and obtain new delay for this gate. Some cell may have several internal transitions, the process of modeling power currents in terms of several triangles is discussed.
    • 在本发明中,提出了一种解决多相顺序电路基于路径的时序分析中的电压降效应的方法。 在计算栅极沿着指定路径的新延迟时,使用相对于每个节点处的不同时钟相位的存储的离散到达时间来确定可以具有与所述门的跳变重叠的转换的一组门。 此外,所述组由逻辑验证步骤减少。 采用两步法,首先是通过使用预定义的定时库来评估所述减小的门组的功率电流,然后使用这些电流来计算沿着路径的所述门的新的VDD,并为此获得新的延迟 门。 一些电池可能有几个内部转换,讨论了几个三角形对功率电流建模的过程。
    • 2. 发明申请
    • Method for Verifying Timing of a Circuit with RLC Inputs and Outputs
    • 使用RLC输入和输出验证电路的时序的方法
    • US20080320425A1
    • 2008-12-25
    • US12186472
    • 2008-08-05
    • Mau-Chung Chang
    • Mau-Chung Chang
    • G06F17/50
    • G06F17/5031G06F17/5022G06F17/5036G06F2217/84
    • A single verification tool provides both static timing analysis and timing simulation capabilities targeted at both full-custom and ASIC designs in a unified environment. In various embodiments the verification tool includes the following features: (a) Integrating both static timing analysis and dynamic simulation tools into a single tool, (b) Efficient path search for multi-phase, multi-frequency and multi-cycle circuit in the presence of level sensitive latch, (c) Automatically identifying circuit structure, e.g. complex gate, for timing characterization, (d) Circuit structures at transistor level solved by incorporating function check, (e) Carrying out functional check to filter out failing path and identifying gate with simultaneously changing inputs, (f) Finding maximum operation frequency in the presence of level sensitive latches after filtering out false paths, (g) Crosstalk solver by utilizing the admittance matrix and voltage transfer of RLC part in frequency domain coupled with the non-linear driver in time domain implemented in spice-like simulator, (h) Making use of the correlation between inputs of aggressors and victim to determine switching time at victim's output iteratively.
    • 单一的验证工具提供了在统一的环境中针对全定制和ASIC设计的静态时序分析和时序仿真功能。 在各种实施例中,验证工具包括以下特征:(a)将静态时序分析和动态仿真工具集成到单个工具中,(b)在存在的情况下对多相,多频和多周期电路进行高效路径搜索 的电平敏感锁存器,(c)自动识别电路结构,例如 复合门,用于定时表征,(d)通过并入功能检查来解决晶体管级的电路结构,(e)进行功能检查以滤除故障路径并识别具有同时变化的输入的门,(f)找到最大工作频率 (g)通过利用导频矩阵和频域中的RLC部分与非线性驱动器中的时间域中的非线性驱动器的电压传输,在滤波掉伪路径之后存在电平敏感锁存器,(h) 利用侵略者和受害者的输入之间的相关性来迭代地确定受害者输出的切换时间。
    • 4. 发明申请
    • Method for Performing Timing Analysis of a Circuit
    • 执行电路定时分析的方法
    • US20080307375A1
    • 2008-12-11
    • US12186431
    • 2008-08-05
    • Mau-Chung Chang
    • Mau-Chung Chang
    • G06F17/50
    • G06F17/5031G06F17/5022G06F17/5036G06F2217/84
    • A single verification tool provides both static timing analysis and timing simulation capabilities targeted at both full-custom and ASIC designs in a unified environment. In various embodiments the verification tool includes the following features: (a) Integrating both static timing analysis and dynamic simulation tools into a single tool, (b) Efficient path search for multi-phase, multi-frequency and multi-cycle circuit in the presence of level sensitive latch, (c) Automatically identifying circuit structure, e.g. complex gate, for timing characterization, (d) Circuit structures at transistor level solved by incorporating function check, (e) Carrying out functional check to filter out failing path and identifying gate with simultaneously changing inputs, (f) Finding maximum operation frequency in the presence of level sensitive latches after filtering out false paths, (g) Crosstalk solver by utilizing the admittance matrix and voltage transfer of RLC part in frequency domain coupled with the non-linear driver in time domain implemented in spice-like simulator, (h) Making use of the correlation between inputs of aggressors and victim to determine switching time at victim's output iteratively.
    • 单一的验证工具提供了在统一的环境中针对全定制和ASIC设计的静态时序分析和时序仿真功能。 在各种实施例中,验证工具包括以下特征:(a)将静态时序分析和动态仿真工具集成到单个工具中,(b)在存在的情况下对多相,多频和多周期电路进行高效路径搜索 的电平敏感锁存器,(c)自动识别电路结构,例如 复合门,用于定时表征,(d)通过并入功能检查来解决晶体管级的电路结构,(e)进行功能检查以滤除故障路径并识别具有同时变化的输入的门,(f)找到最大工作频率 (g)通过利用导频矩阵和频域中的RLC部分与非线性驱动器中的时间域中的非线性驱动器的电压传输,在滤波掉伪路径之后存在电平敏感锁存器,(h) 利用侵略者和受害者的输入之间的相关性来迭代地确定受害者输出的切换时间。
    • 8. 发明授权
    • Method for performing timing analysis of a circuit
    • 执行电路定时分析的方法
    • US08001502B2
    • 2011-08-16
    • US12186431
    • 2008-08-05
    • Mau-Chung Chang
    • Mau-Chung Chang
    • G06F17/50
    • G06F17/5031G06F17/5022G06F17/5036G06F2217/84
    • A single verification tool provides both static timing analysis and timing simulation capabilities targeted at both full-custom and ASIC designs in a unified environment. In various embodiments the verification tool includes the following features: (a) Integrating both static timing analysis and dynamic simulation tools into a single tool, (b) Efficient path search for multi-phase, multi-frequency and multi-cycle circuit in the presence of level sensitive latch, (c) Automatically identifying circuit structure, e.g. complex gate, for timing characterization, (d) Circuit structures at transistor level solved by incorporating function check, (e) Carrying out functional check to filter out false path and identifying gate with simultaneously changing inputs, (f) Finding maximum operating frequency in the presence of level sensitive latches after filtering out false paths, (g) Crosstalk solver by utilizing the admittance matrix and voltage transfer of RLC part in frequency domain coupled with the non-linear driver in time domain implemented in spice-like simulator, (h) Making use of the correlation between inputs of aggressors and victim to determine switching time at victim's output iteratively.
    • 单一的验证工具提供了在统一的环境中针对全定制和ASIC设计的静态时序分析和时序仿真功能。 在各种实施例中,验证工具包括以下特征:(a)将静态时序分析和动态仿真工具集成到单个工具中,(b)在存在的情况下对多相,多频和多周期电路进行高效路径搜索 的电平敏感锁存器,(c)自动识别电路结构,例如 复合门,用于定时表征,(d)通过并入功能检查来解决晶体管级的电路结构,(e)进行功能检查以滤除错误路径并识别门,同时改变输入,(f)在最大工作频率 (g)通过利用导频矩阵和频域中的RLC部分与非线性驱动器中的时间域中的非线性驱动器的电压传输,在滤波掉伪路径之后存在电平敏感锁存器,(h) 利用侵略者和受害者的输入之间的相关性来迭代地确定受害者输出的切换时间。
    • 9. 发明授权
    • Method for verifying timing of a circuit with RLC inputs and outputs
    • 用于验证具有RLC输入和输出的电路的定时的方法
    • US07895543B2
    • 2011-02-22
    • US12186472
    • 2008-08-05
    • Mau-Chung Chang
    • Mau-Chung Chang
    • G06F17/50
    • G06F17/5031G06F17/5022G06F17/5036G06F2217/84
    • A single verification tool provides both static timing analysis and timing simulation capabilities targeted at both full-custom and ASIC designs in a unified environment. In various embodiments the verification tool includes the following features: (a) Integrating both static timing analysis and dynamic simulation tools into a single tool, (b) Efficient path search for multi-phase, multi-frequency and multi-cycle circuit in the presence of level sensitive latch, (c) Automatically identifying circuit structure, e.g. complex gate, for timing characterization, (d) Circuit structures at transistor level solved by incorporating function check, (e) Carrying out functional check to filter out false path and identifying gate with simultaneously changing inputs, (f) Finding maximum operating frequency in the presence of level sensitive latches after filtering out false paths, (g) Crosstalk solver by utilizing the admittance matrix and voltage transfer of RLC part in frequency domain coupled with the non-linear driver in time domain implemented in spice-like simulator, (h) Making use of the correlation between inputs of aggressors and victim to determine switching time at victim's output iteratively.
    • 单一的验证工具提供了在统一的环境中针对全定制和ASIC设计的静态时序分析和时序仿真功能。 在各种实施例中,验证工具包括以下特征:(a)将静态时序分析和动态仿真工具集成到单个工具中,(b)在存在的情况下对多相,多频和多周期电路进行高效路径搜索 的电平敏感锁存器,(c)自动识别电路结构,例如 复合门,用于定时表征,(d)通过并入功能检查来解决晶体管级的电路结构,(e)进行功能检查以滤除错误路径并识别门,同时改变输入,(f)在最大工作频率 (g)通过利用导频矩阵和频域中的RLC部分与非线性驱动器中的时间域中的非线性驱动器的电压传输,在滤波掉伪路径之后存在电平敏感锁存器,(h) 利用侵略者和受害者的输入之间的相关性来迭代地确定受害者输出的切换时间。
    • 10. 发明授权
    • Method for determining maximum operating frequency of a filtered circuit
    • 确定滤波电路最大工作频率的方法
    • US07650583B2
    • 2010-01-19
    • US12186467
    • 2008-08-05
    • Mau-Chung Chang
    • Mau-Chung Chang
    • G06F17/50
    • G06F17/5031G06F17/5022G06F17/5036G06F2217/84
    • A single verification tool provides both static timing analysis and timing simulation capabilities targeted at both full-custom and ASIC designs in a unified environment. In various embodiments the verification tool includes the following features: (a) Integrating both static timing analysis and dynamic simulation tools into a single tool, (b) Efficient path search for multi-phase, multi-frequency and multi-cycle circuit in the presence of level sensitive latch, (c) Automatically identifying circuit structure, e.g. complex gate, for timing characterization, (d) Circuit structures at transistor level solved by incorporating function check, (e) Carrying out functional check to filter out false path and identifying gate with simultaneously changing inputs, (f) Finding maximum operating frequency in the presence of level sensitive latches after filtering out false paths, (g) Crosstalk solver by utilizing the admittance matrix and voltage transfer of RLC part in frequency domain coupled with the non-linear driver in time domain implemented in spice-like simulator, (h) Making use of the correlation between inputs of aggressors and victim to determine switching time at victim's output iteratively.
    • 单一的验证工具提供了在统一的环境中针对全定制和ASIC设计的静态时序分析和时序仿真功能。 在各种实施例中,验证工具包括以下特征:(a)将静态时序分析和动态仿真工具集成到单个工具中,(b)在存在的情况下对多相,多频和多周期电路进行高效路径搜索 的电平敏感锁存器,(c)自动识别电路结构,例如 复合门,用于定时表征,(d)通过并入功能检查来解决晶体管级的电路结构,(e)进行功能检查以滤除错误路径并识别门,同时改变输入,(f)在最大工作频率 (g)通过利用导频矩阵和频域中的RLC部分与非线性驱动器中的时间域中的非线性驱动器的电压传输,在滤波掉伪路径之后存在电平敏感锁存器,(h) 利用侵略者和受害者的输入之间的相关性来迭代地确定受害者输出的切换时间。