会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明申请
    • Novel varactors for CMOS and BiCMOS technologies
    • 用于CMOS和BiCMOS技术的新型变容二极管
    • US20050245038A1
    • 2005-11-03
    • US11053721
    • 2005-02-08
    • Douglas CoolbaughJames DunnMichael GordonMohamed HammadJeffrey JohnsonDavid Sheridan
    • Douglas CoolbaughJames DunnMichael GordonMohamed HammadJeffrey JohnsonDavid Sheridan
    • H01L21/8222H01L27/08H01L29/93H01L29/94
    • H01L27/0811H01L27/0808H01L29/93H01L29/94
    • Varactors are provided which have a high tunability and/or a high quality factor associated therewith as well as methods for fabricating the same. One type of varactor disclosed is a quasi hyper-abrupt base-collector junction varactor which includes a substrate having a collector region of a first conductivity type atop a subcollector region, the collector region having a plurality of isolation regions present therein; reach-through implant regions located between at least a pair of the isolation regions; a SiGe layer atop a portion of the substrate not containing a reach-through implant region, the SiGe layer having an extrinsic base region of a second conductivity type which is different from the first conductivity type; and an antimony implant region located between the extrinsic base region and the subcollector region. Another type of varactor disclosed is an MOS varactor which includes at least a poly gate region and a well region wherein the poly gate region and the well region have opposite polarities.
    • 提供了具有高可调性和/或与之相关的高品质因素的变形反应器及其制造方法。 公开的一种类型的变容二极管是准超突发的基极 - 集电极结变容二极管,其包括在子集电极区域顶部具有第一导电类型的集电极区域的基板,所述集电极区域中存在多个隔离区域; 位于至少一对隔离区之间的贯穿植入区; 所述SiGe层位于所述衬底的不包含直通注入区域的部分之上,所述SiGe层具有不同于所述第一导电类型的第二导电类型的非本征基区; 以及位于外部基极区域和子集电极区域之间的锑注入区域。 所公开的另一种类型的变容二极管是MOS变容二极管,其至少包括多晶硅栅极区域和阱区域,其中多晶硅栅极区域和阱区域具有相反的极性。
    • 9. 发明授权
    • 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)表示的硬件设计的断言的方法包括通过设计运行模拟迹线以产生仿真数据; 提取关于感兴趣的变量的设计的领域特定信息; 使用模拟数据和域特定信息执行数据挖掘算法,通过机器学习针对域特定信息生成一组感兴趣的变量的候选断言,候选断言可能是不变的; 通过输出通过验证的候选断言作为不变量,对每个候选断言进行设计的形式验证; 迭代地将由每个故障候选者断言产生的反例跟踪反馈给算法,每个反例行轨迹包括设计中至少有一个附加变量,以前没有输入到数据挖掘算法中,从而增加设计状态空间的覆盖。