会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • Fault Tolerant Self-Correcting Non-Glitching Low Power Circuit for Static and Dynamic Data Storage
    • 用于静态和动态数据存储的容错自校正无毛刺低功率电路
    • US20090249174A1
    • 2009-10-01
    • US12060593
    • 2008-04-01
    • Kirk David Lamb
    • Kirk David Lamb
    • G06F7/04G06F11/07
    • H03K19/007H03K19/0008
    • In a computer system in which personalization data for an ASIC is stored in latches, this data is susceptible to soft errors. Many computer systems require high levels of error detection, error correction, fault isolation, fault tolerance, and self-healing. In order to complete an ASIC design and release it to a foundry, it must first be verified that the design meets the frequency requirements of its specification. A fault tolerant, self-correcting, non-glitching, low power circuit is described which meets all the requirements for reliability, while also eliminating any requirement to add area or power to the ASIC in order to meet the frequency specification for personalization latches. By using the circuits as a repeatable structure, the verification of the self-healing property is simplified relative to a collection of Error Correction Code usages of various bit widths.
    • 在其中存储用于ASIC的个性化数据的计算机系统中,该数据容易受到软错误的影响。 许多计算机系统需要高水平的错误检测,纠错,故障隔离,容错和自愈。 为了完成ASIC设计并将其发布到代工厂,必须首先验证设计符合其规范的频率要求。 描述了容错,自校正,无毛刺,低功率电路,其满足可靠性的所有要求,同时还消除了为了满足个性化锁存器的频率规范而向ASIC添加面积或功率的任何要求。 通过将电路用作可重复结构,相对于各种位宽度的误差校正码使用的集合,简化了自修复属性的验证。
    • 4. 发明授权
    • Modeling for soft error specification
    • 软错误规范建模
    • US08661382B2
    • 2014-02-25
    • US12637016
    • 2009-12-14
    • Kirk David Lamb
    • Kirk David Lamb
    • G06F17/50G06F11/22G06G7/62
    • G06F17/5009
    • Soft error modeling of circuits. Soft error upset (SEU) specification and design information is received from a design entry. The SEU specification comprises expected SEU behavior of a node. A logical simulation model is created based on the SEU specification and the design information. A logical verification is performed based on the logical simulation model to produce a first result. The logical verification comprises selecting a first node for injection, injecting an SEU into the first node to produce a first result, and responsive to the first result not agreeing with the SEU specification, providing the first result to the design entry. A netlist based on the SEU specification and the design information is created. The netlist comprises a specification-based-logic-derating derived from the SEU specification. A physical design verification based on the netlist, a logic derating, and clock information is performed. It comprises calculating node failure-in-time based on the specification-based-logic-derating.
    • 电路软误差建模。 从设计条目接收到软错误(SEU)规范和设计信息。 SEU规范包括节点的预期SEU行为。 基于SEU规范和设计信息创建逻辑仿真模型。 基于逻辑仿真模型执行逻辑验证以产生第一结果。 逻辑验证包括选择用于注入的第一节点,将SEU注入到第一节点中以产生第一结果,并且响应于不符合SEU规范的第一结果,将第一结果提供给设计条目。 创建基于SEU规范和设计信息的网表。 网表包括从SEU规范派生的基于规范的逻辑降额。 执行基于网表的物理设计验证,逻辑降额和时钟信息。 它包括基于基于规范的逻辑降额来计算节点故障时间。
    • 5. 发明申请
    • Modeling for Soft Error Specification
    • 软错误规范建模
    • US20110145771A1
    • 2011-06-16
    • US12637016
    • 2009-12-14
    • Kirk David Lamb
    • Kirk David Lamb
    • G06F17/50
    • G06F17/5009
    • Soft error modeling of circuits. Soft error upset (SEU) specification and design information is received from a design entry. The SEU specification comprises expected SEU behavior of a node. A logical simulation model is created based on the SEU specification and the design information. A logical verification is performed based on the logical simulation model to produce a first result. The logical verification comprises selecting a first node for injection, injecting an SEU into the first node to produce a first result, and responsive to the first result not agreeing with the SEU specification, providing the first result to the design entry. A netlist based on the SEU specification and the design information is created. The netlist comprises a specification-based-logic-derating derived from the SEU specification. A physical design verification based on the netlist, a logic derating, and clock information is performed. It comprises calculating node failure-in-time based on the specification-based-logic-derating.
    • 电路软误差建模。 从设计条目接收到软错误(SEU)规范和设计信息。 SEU规范包括节点的预期SEU行为。 基于SEU规范和设计信息创建逻辑仿真模型。 基于逻辑仿真模型执行逻辑验证以产生第一结果。 逻辑验证包括选择用于注入的第一节点,将SEU注入到第一节点中以产生第一结果,并且响应于不符合SEU规范的第一结果,将第一结果提供给设计条目。 创建基于SEU规范和设计信息的网表。 网表包括从SEU规范派生的基于规范的逻辑降额。 执行基于网表的物理设计验证,逻辑降额和时钟信息。 它包括基于基于规范的逻辑降额来计算节点故障时间。