会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 12. 发明授权
    • Integration of data mining and static analysis for hardware design verification
    • 数据挖掘和静态分析的集成用于硬件设计验证
    • US09021409B2
    • 2015-04-28
    • US13433909
    • 2012-03-29
    • Shobha VasudevanDavid SheridanLingyi Liu
    • Shobha VasudevanDavid SheridanLingyi Liu
    • G06F17/50
    • G06F17/504G06F17/5022
    • A method of generating assertions for verification of a hardware design expressed at a register transfer level (RTL) includes running simulation traces through the design to generate simulation data; extract domain-specific information about the design for variables of interest; execute a data mining algorithm with the simulation data and the domain-specific information, to generate a set of candidate assertions for variable(s) of interest through machine learning with respect to the domain-specific information, the candidate assertions being likely invariants; conduct formal verification on the design with respect to each candidate assertion by outputting as invariants the candidate assertions that pass verification; iteratively feed back into the algorithm a counterexample trace generated by each failed candidate assertion, each counterexample trace including at least one additional variable in the design not previously input into the data mining algorithm, to thus increase coverage of a state space of the design.
    • 生成用于验证在寄存器传送级(RTL)表示的硬件设计的断言的方法包括通过设计运行模拟迹线以产生仿真数据; 提取关于感兴趣的变量的设计的领域特定信息; 使用模拟数据和域特定信息执行数据挖掘算法,通过机器学习针对域特定信息生成一组感兴趣的变量的候选断言,候选断言可能是不变的; 通过输出通过验证的候选断言作为不变量,对每个候选断言进行设计的形式验证; 迭代地将由每个故障候选者断言产生的反例跟踪反馈给算法,每个反例行轨迹包括设计中至少有一个附加变量,以前没有输入到数据挖掘算法中,从而增加设计状态空间的覆盖。
    • 18. 发明申请
    • METHOD AND STRUCTURE FOR ION IMPLANTATION BY ION SCATTERING
    • 离子散射的离子注入方法和结构
    • US20060234484A1
    • 2006-10-19
    • US10907752
    • 2005-04-14
    • Louis LanzerottiDavid SheridanSteven Voldman
    • Louis LanzerottiDavid SheridanSteven Voldman
    • H01L21/22H01L21/38
    • H01L21/266H01L27/0259H01L29/66242H01L29/7378
    • A scatter-implant process and device is provided where a bi-level doping pattern is achieved in a single doping step. Additionally, devices having different breakdown voltages can be produced in a single implant process. The scatter-implant is fabricated by scattering implant ions off the edge of a mask, thereby reducing the ion energy causing the ions to doping shallower regions than the non-scattered ions which dope a lower region. By adjusting various parameters of the doping process such as, for example, ion type, ion energy, mask type and geometry, in a position of scattering edge relative to other structure of the device, the scatter-implant can be tuned to achieve certain properties of the semiconductor device. Additionally, circuits can be made using the scatter-implant process where pre-selected portion of the circuit incorporate the scatter-implant region and other portions of the circuit do not rely on the scatter region.
    • 提供散射注入工艺和器件,其中在单个掺杂步骤中实现双电平掺杂图案。 另外,具有不同击穿电压的器件可以在单个注入工艺中产生。 散射注入是通过将注入离子从掩模的边缘散射而制造的,从而减少了离子掺杂比掺杂较低区域的非散射离子更浅的区域的离子能。 通过调整掺杂过程的各种参数,例如离子类型,离子能量,掩模类型和几何形状,在相对于器件的其他结构的散射边缘的位置,可以调整散射植入物以实现某些特性 的半导体器件。 另外,可以使用散射注入工艺制造电路,其中电路的预选部分包含散射注入区域,并且电路的其它部分不依赖于散射区域。
    • 19. 发明申请
    • INTEGRATION OF DATA MINING AND STATIC ANALYSIS FOR HARDWARE DESIGN VERIFICATION
    • 数据采集​​与硬件设计验证的静态分析综合
    • US20130019216A1
    • 2013-01-17
    • US13433909
    • 2012-03-29
    • Shobha VasudevanDavid SheridanLingyi LiuHyung Sul Kim
    • Shobha VasudevanDavid SheridanLingyi LiuHyung Sul Kim
    • G06F17/50
    • G06F17/504G06F17/5022
    • A method of generating assertions for verification of a hardware design expressed at a register transfer level (RTL) includes running simulation traces through the design to generate simulation data; extract domain-specific information about the design for variables of interest; execute a data mining algorithm with the simulation data and the domain-specific information, to generate a set of candidate assertions for variable(s) of interest through machine learning with respect to the domain-specific information, the candidate assertions being likely invariants; conduct formal verification on the design with respect to each candidate assertion by outputting as invariants the candidate assertions that pass verification; iteratively feed back into the algorithm a counterexample trace generated by each failed candidate assertion, each counterexample trace including at least one additional variable in the design not previously input into the data mining algorithm, to thus increase coverage of a state space of the design.
    • 生成用于验证在寄存器传送级(RTL)表示的硬件设计的断言的方法包括通过设计运行模拟迹线以产生仿真数据; 提取关于感兴趣的变量的设计的领域特定信息; 使用模拟数据和域特定信息执行数据挖掘算法,通过机器学习针对域特定信息生成一组感兴趣的变量的候选断言,候选断言可能是不变的; 通过输出通过验证的候选断言作为不变量,对每个候选断言进行设计的形式验证; 迭代地将由每个故障候选者断言产生的反例跟踪反馈给算法,每个反例行轨迹包括设计中至少有一个附加变量,以前没有输入到数据挖掘算法中,从而增加设计状态空间的覆盖。