会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 122. 发明授权
    • Semiconductor memory with charge-trapping stack arrangement
    • 具有电荷俘获堆叠布置的半导体存储器
    • US07528425B2
    • 2009-05-05
    • US11193026
    • 2005-07-29
    • Michael SpechtWolfgang RoesnerFranz Hofmann
    • Michael SpechtWolfgang RoesnerFranz Hofmann
    • H01L29/792
    • H01L29/7887G11C16/0475H01L29/513H01L29/66833H01L29/7923
    • A semiconductor memory having a multitude of memory cells (21-1), the semiconductor memory having a substrate (1), at least one wordline (5-1), a first (15-1) and a second line (15-2; 16-1), wherein each of the multitude of memory cells (21-1) comprises a first doping region (6) disposed in the substrate (1), a second doping region (7) disposed in the substrate (1), a channel region (22) disposed in the substrate (1) between the first doping region (6) and the second doping region (7), a charge-trapping layer stack (2) disposed on the substrate (1), on the channel region (22), on a portion of the first doping region (6) and on a portion of the second doping region (7). Each memory cell (21-1) further comprises a conductive layer (3) disposed on the charge-trapping layer stack (2), wherein the conductive layer (3) is electrically floating. A dielectric layer (4) is disposed on a top surface of the conductive layer (3) and on sidewalls (23) of the conductive layer (3). The first line (15-1) extends along a first direction and is coupled to the first doping region (6), and the second line (15-2; 16-1) extends along the first direction and is coupled to the second doping region (7). The at least one wordline (5-1) extends along a second direction and is disposed on the dielectric layer (4).
    • 一种具有多个存储单元(21-1)的半导体存储器,所述半导体存储器具有衬底(1),至少一个字线(5-1),第一(15-1)和第二线(15-2) ; 16-1),其中多个存储单元(21-1)中的每一个包括设置在所述基板(1)中的第一掺杂区域(6),设置在所述基板(1)中的第二掺杂区域(7) 设置在第一掺杂区域(6)和第二掺杂区域(7)之间的衬底(1)中的沟道区域(22),设置在衬底(1)上的电荷捕获层堆叠(2) 在第一掺杂区域(6)的一部分上和第二掺杂区域(7)的一部分上的区域(22)。 每个存储单元(21-1)还包括设置在电荷捕获层堆叠(2)上的导电层(3),其中导电层(3)是电浮置的。 介电层(4)设置在导电层(3)的顶表面和导电层(3)的侧壁(23)上。 第一行(15-1)沿着第一方向延伸并且耦合到第一掺杂区域(6),并且第二线路(15-2; 16-1)沿第一方向延伸并耦合到第二掺杂区域 地区(7)。 所述至少一个字线(5-1)沿着第二方向延伸并设置在所述电介质层(4)上。
    • 123. 发明申请
    • PROGRAM PRODUCT SUPPORTING PHASE EVENTS IN A SIMULATION MODEL OF A DIGITAL SYSTEM
    • 在数字系统仿真模型中支持相关事件的程序产品
    • US20080294413A1
    • 2008-11-27
    • US12130104
    • 2008-05-30
    • GABOR BOBOKWolfgang RoesnerDerek E. Williams
    • GABOR BOBOKWolfgang RoesnerDerek E. Williams
    • G06F17/50
    • G06F17/5022
    • According to a method of simulation processing, an instrumented simulation executable model of a design is built by compiling one or more hardware description language (HDL) files specifying one or more design entities within the design and one or more instrumentation entities and instantiating instances of the one or more instrumentation entities within instances of the one or more design entities. Operation of the design is then simulated utilizing the instrumented simulation executable model. Simulating operation includes each of multiple instantiations of the one or more instrumentation entities generating a respective external phase signal representing an occurrence of a particular phase of operation and instrumentation combining logic generating from external phase signals of the multiple instantiations of the one or more instrumentation entities an aggregate phase signal representing an occurrence of the particular phase.
    • 根据模拟处理的方法,通过编译指定设计中的一个或多个设计实体的一个或多个硬件描述语言(HDL)文件和一个或多个设备实体和一个或多个设备实例的实例化来构建设计的仪器化模拟可执行模型 在一个或多个设计实体的实例内的一个或多个仪表实体。 然后使用仪器化模拟可执行模型对设计的操作进行模拟。 模拟操作包括一个或多个仪器实体的多个实例中的每个实例,其产生表示特定操作阶段的出现的相应的外部相位信号,以及组合从一个或多个仪器实体的多个实例的外部相位信号产生的逻辑 聚合相位信号表示特定相位的出现。
    • 124. 发明授权
    • Clock-gated model transformation for asynchronous testing of logic targeted for free-running, data-gated logic
    • 用于针对自由运行,数据门控逻辑的逻辑的异步测试的时钟门控模型转换
    • US07453759B2
    • 2008-11-18
    • US11380257
    • 2006-04-26
    • Yee JaBradley S. NelsonWolfgang Roesner
    • Yee JaBradley S. NelsonWolfgang Roesner
    • G11C8/00
    • G06F17/504G06F17/5022G06F2217/62
    • Asynchronous behavior of a circuit is modeled by modifying latches in a netlist to add an extra port to the latches, e.g., a single-port latch is transformed into a dual-port latch. Each input port has an enable line and a data input. The data input in the added port is a feedback line from the latch output, and the enable line in the added port is the logical NOR of all of the original enable lines. By adding this extra latch port in the higher-level model, it becomes possible to introduce assertion logic to ensure that one and only one latch port for a given latch is ever active during the same simulation cycle. The model can then be tested earlier in the design methodology prior to the availability of the post-synthesis netlist. The model can also be used in both simulation and formal or semi-formal verification.
    • 电路的异步行为是通过修改网表中的锁存器来增加锁存器的额外端口来建模的,例如,单端口锁存器被转换成双端口锁存器。 每个输入端口都有一个使能线和数据输入。 添加端口中输入的数据是来自锁存器输出的反馈线,加入端口中的使能线为所有原始使能线的逻辑或。 通过在更高级别的模型中添加这个额外的锁存端口,可以引入断言逻辑,以确保给定锁存器中的一个和唯一一个锁存端口在同一仿真周期内始终处于活动状态。 然后可以在设计方法之前对该模型进行测试,然后才能获得后合成网表。 该模型也可用于模拟和正式或半正式验证。
    • 125. 发明申请
    • METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PRESENTATION OF A SIMULATED OR HARDWARE SYSTEM INCLUDING CONFIGURATION ENTITIES
    • 方法,系统和程序产品支持模拟或硬件系统的介绍,包括配置实体
    • US20080021691A1
    • 2008-01-24
    • US11829447
    • 2007-07-27
    • Wolfgang RoesnerDerek Williams
    • Wolfgang RoesnerDerek Williams
    • G06F17/50
    • G06F17/5022
    • Within a display device, a respective one of a plurality of design graphical representations is displayed for each of a plurality of hierarchically arranged design entity instances within a simulated system. The design entity instances include a particular design entity instance containing a latch that is represented by a particular design graphical representation. A configuration entity instance associated with the particular design entity is identified within a configuration database associated with the simulated system. The configuration entity instance has a plurality of different settings that each reflects a value of the latch. Within the display device, a configuration graphical representation of the configuration entity instance is presented in association with the particular design graphical representation corresponding to the particular design entity instance. In addition, a current setting of the configuration entity instance is presented concurrently with the configuration graphical representation.
    • 在显示装置内,为模拟系统内的多个分层布置的设计实体实例中的每一个显示多个设计图形表示中的相应一个。 设计实体实例包括包含由特定设计图形表示表示的锁存器的特定设计实体实例。 在与模拟系统相关联的配置数据库中识别与特定设计实体相关联的配置实体实例。 配置实体实例具有多个不同的设置,每个设置反映锁存器的值。 在显示设备内,与对应于特定设计实体实例的特定设计图形表示相关联地呈现配置实体实例的配置图形表示。 此外,配置实体实例的当前设置与配置图形表示同时呈现。
    • 127. 发明申请
    • Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs
    • 提供配置规范语言的方法,系统和程序产品,支持用于配置结构的任意映射功能
    • US20070174806A1
    • 2007-07-26
    • US11408835
    • 2006-04-21
    • Wolfgang RoesnerDerek Williams
    • Wolfgang RoesnerDerek Williams
    • G06F17/50
    • G06F17/505G06F17/5022
    • A method is disclosed of associating a mapping function with a configuration construct of a digital design defined by one or more hardware description language (HDL) files. According to the method, in the HDL files, a configuration latch is specified within a design entity forming at least a portion of the digital design. In addition, a Dial is specified that defines a relationship between each of a plurality of input values and a respective one of a plurality of different output values. The HDL files also include a statement that instantiates an instance of the Dial in association with the configuration latch such that a one-to-one correspondence exists between a value contained within the configuration latch and an input value of the instance of the Dial. The HDL files further include a statement associating the Dial with a mapping function that applies a selected transformation to values read from or written to the instance of the Dial.
    • 公开了一种将映射函数与由一个或多个硬件描述语言(HDL)文件定义的数字设计的配置结构相关联的方法。 根据该方法,在HDL文件中,在形成数字设计的至少一部分的设计实体内指定配置锁存器。 此外,指定了一个Dial,其定义了多个输入值中的每一个与多个不同输出值中的相应的一个之间的关系。 HDL文件还包括一个语句,用于与配置锁存器相关联地实例化Dial的实例,使得在配置锁存器中包含的值与Dial的实例的输入值之间存在一一对应的对应关系。 HDL文件还包括将Dial与将映射功能相关联的语句,该映射函数将选择的变换应用于从Dial的实例读取或写入的值。
    • 129. 发明申请
    • Method for reconfiguration of random biases in a synthesized design without recompilation
    • 在没有重新编译的情况下,在合成设计中重新配置随机偏差的方法
    • US20060190867A1
    • 2006-08-24
    • US11050232
    • 2005-02-03
    • Jason BaumgartnerAli El-ZeinDaniel HellerWolfgang Roesner
    • Jason BaumgartnerAli El-ZeinDaniel HellerWolfgang Roesner
    • G06F17/50
    • G06F17/5022
    • A method, system and computer program product for performing testing and verification is disclosed. The method includes converting a bias data specification to a driver specification. The driver specification is then parsed into a base constraint and bias file, wherein the base constraint and bias file is suitable for conversion into one of a set comprising a netlist representation and a random simulation representation. A verification framework is selected from among a set comprising a random verification framework using the random simulation representation and a synthesized verification framework using the netlist representation. In response to selecting the random verification framework using the random simulation representation, the random simulation representation is compiled into a parameter database. In response to selecting the synthesized verification framework using the netlist representation, the netlist representation is compiled into a synthesized model. A property of at least one of a set of the synthesized model and the parameter database is tested and verified.
    • 公开了一种用于执行测试和验证的方法,系统和计算机程序产品。 该方法包括将偏置数据规范转换为驱动器规范。 然后将驱动器规范解析为基本约束和偏置文件,其中基本约束和偏置文件适于转换成包括网表表示和随机模拟表示的集合之一。 从包括使用随机模拟表示的随机验证框架的集合和使用网表表示的合成验证框架中选择验证框架。 响应于使用随机模拟表示法选择随机验证框架,随机模拟表示被编译成参数数据库。 响应于使用网表表示来选择合成的验证框架,网表表示被编译成合成模型。 测试和验证合成模型和参数数据库中的至少一个的属性。