Equivalence verification between transaction level models and RTL at the example to processors
    95.
    发明授权
    Equivalence verification between transaction level models and RTL at the example to processors 有权
    事务级别模型和RTL之间的等效验证在示例处理器

    公开(公告)号:US08359561B2

    公开(公告)日:2013-01-22

    申请号:US12275557

    申请日:2008-11-21

    IPC分类号: G06F17/50

    CPC分类号: G06F17/504

    摘要: A method for formally verifying the equivalence of an architecture description with an implementation description. The method comprises the steps of reading an implementation description, reading an architecture description, demonstrating that during execution of a same program with same initial values an architecture sequence of data transfers described by the architecture description is mappable to an implementation sequence of data transfers implemented by the implementation description, such that the mapping is bijective and ensures that the temporal order of the architecture sequence of data transfers corresponds to the temporal order of the implementation sequence of data transfers, and outputting a result of the verification of the equivalence of the architecture description with the implementation description.

    摘要翻译: 一种用于正式验证体系结构描述与实现描述的等价性的方法。 该方法包括以下步骤:读取实现描述,读取架构描述,证明在具有相同初始值的同一程序的执行期间,由架构描述描述的架构数据传输序列可映射到由 实现描述,使得映射是双射的并且确保数据传输的架构序列的时间顺序对应于数据传输的实现序列的时间顺序,并且输出验证结构描述的等价物的结果 具有实现描述。

    HIGH-K METAL GATE ELECTRODE STRUCTURES FORMED BY SEPARATE REMOVAL OF PLACEHOLDER MATERIALS USING A MASKING REGIME PRIOR TO GATE PATTERNING
    99.
    发明申请
    HIGH-K METAL GATE ELECTRODE STRUCTURES FORMED BY SEPARATE REMOVAL OF PLACEHOLDER MATERIALS USING A MASKING REGIME PRIOR TO GATE PATTERNING 有权
    高K金属电极结构通过使用屏蔽方式在放置栅格之前单独移除位置材料而形成

    公开(公告)号:US20120261765A1

    公开(公告)日:2012-10-18

    申请号:US13533807

    申请日:2012-06-26

    IPC分类号: H01L21/28 H01L27/092

    摘要: In a replacement gate approach in sophisticated semiconductor devices, the placeholder material of gate electrode structures of different type are separately removed. Furthermore, electrode metal may be selectively formed in the resulting gate opening, thereby providing superior process conditions in adjusting a respective work function of gate electrode structures of different type. In one illustrative embodiment, the separate forming of gate openings in gate electrode structures of different type may be based on a mask material that is provided in a gate layer stack.

    摘要翻译: 在复杂半导体器件中的替代栅极方法中,分别去除不同类型的栅电极结构的占位符材料。 此外,可以在所得到的栅极开口中选择性地形成电极金属,从而在调整不同类型的栅电极结构的各自的功函数方面提供优异的工艺条件。 在一个说明性实施例中,在不同类型的栅极电极结构中单独形成栅极开口可以基于设置在栅极层叠层中的掩模材料。

    Transistor including a high-K metal gate electrode structure formed on the basis of a simplified spacer regime
    100.
    发明授权
    Transistor including a high-K metal gate electrode structure formed on the basis of a simplified spacer regime 有权
    晶体管包括基于简化间隔区形式形成的高K金属栅电极结构

    公开(公告)号:US08143132B2

    公开(公告)日:2012-03-27

    申请号:US12899333

    申请日:2010-10-06

    IPC分类号: H01L21/336

    摘要: In sophisticated semiconductor devices, the threshold voltage adjustment of high-k metal gate electrode structures may be accomplished by a work function metal species provided in an early manufacturing stage. For this purpose, a protective sidewall spacer structure is provided, which is, in combination with a dielectric cap material, also used as an efficient implantation mask during the implantation of extension and halo regions, thereby increasing the ion blocking capability of the complex gate electrode structure substantially without affecting the sensitive gate materials.

    摘要翻译: 在复杂的半导体器件中,高k金属栅极电极结构的阈值电压调整可以通过在早期制造阶段提供的功函数金属来完成。 为此,提供了保护性侧壁间隔结构,其与电介质盖材料组合,在注入延伸部分和晕圈区域期间也用作有效的注入掩模,从而增加复合栅电极的离子阻挡能力 结构基本上不影响敏感栅极材料。