会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Accurately modeling an asynchronous interface using expanded logic elements
    • 使用扩展的逻辑元素精确地建模异步接口
    • US07877717B2
    • 2011-01-25
    • US11874620
    • 2007-10-18
    • Bing-Lun ChuYee JaBradley S. NelsonWolfgang Roesner
    • Bing-Lun ChuYee JaBradley S. NelsonWolfgang Roesner
    • G06F17/50G06F9/45
    • G06F17/5022G06F17/5031
    • Mechanisms for accurately modeling an asynchronous interface using expanded logic elements are provided. With these mechanisms, the logic of an asynchronous interface is reduced to primitive logic elements. These primitive logic elements are expanded by the mechanisms of the present invention to take into consideration whether or not the primitive logic elements themselves may be experiencing a switching or glitch hazard and whether or not the inputs to the primitive logic elements may be based on a switching or glitch hazard from another primitive logic element in the asynchronous interface logic. These expanded logic elements are used in an integrated circuit design to replace the original primitive logic elements in the design. The asynchronous interface may then be simulated with the expanded logic elements providing outputs indicative of whether the actual data output of the expanded logic elements is deterministic or not.
    • 提供了使用扩展逻辑元件对异步接口进行精确建模的机制。 利用这些机制,将异步接口的逻辑简化为原始逻辑元件。 这些原始逻辑元件通过本发明的机制来扩展,以考虑原语逻辑元件本身是否可能经历切换或毛刺危险,以及基本逻辑元件的输入是否可以基于切换 或异步接口逻辑中另一原始逻辑元件的故障危险。 这些扩展的逻辑元件用于集成电路设计中以替代设计中的原始原始逻辑元件。 然后可以用扩展的逻辑元件来模拟异步接口,该逻辑元件提供指示扩展的逻辑元件的实际数据输出是否是确定性的输出。
    • 4. 发明授权
    • Presentation of a simulated or hardware system including configuration entities
    • 介绍包括配置实体在内的模拟或硬件系统
    • US07805695B2
    • 2010-09-28
    • US11829447
    • 2007-07-27
    • Wolfgang RoesnerDerek Edward Williams
    • Wolfgang RoesnerDerek Edward Williams
    • G06F17/50G06F17/00G09G5/00
    • 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.
    • 在显示装置内,为模拟系统内的多个分层布置的设计实体实例中的每一个显示多个设计图形表示中的相应一个。 设计实体实例包括包含由特定设计图形表示表示的锁存器的特定设计实体实例。 在与模拟系统相关联的配置数据库中识别与特定设计实体相关联的配置实体实例。 配置实体实例具有多个不同的设置,每个设置反映锁存器的值。 在显示设备内,与对应于特定设计实体实例的特定设计图形表示相关联地呈现配置实体实例的配置图形表示。 此外,配置实体实例的当前设置与配置图形表示同时呈现。
    • 5. 发明授权
    • Specifying a configuration for a digital system utilizing dial biasing weights
    • 使用拨号偏置权重指定数字系统的配置
    • US07774724B2
    • 2010-08-10
    • US12102116
    • 2008-04-14
    • Bryan R. HuntWolfgang RoesnerRobert J. ShadowenDerek E. Williams
    • Bryan R. HuntWolfgang RoesnerRobert J. ShadowenDerek E. Williams
    • G06F17/50
    • G06F17/5045
    • In a method of data processing, a database defines a Dial entity and at least one instance of the Dial entity. Each instance of the Dial entity has an input having a plurality of different possible input values and one or more outputs, and each of the plurality of different possible input values has a different associated output value set for the one or more outputs. Each instance of the Dial entity determines a value of at least one of a plurality of configuration latches in a digital system separate from the database. The database also associates with the Dial entity at least one set of biasing weights that, when applied, determines a probability of each instance of the Dial entity having particular ones of the plurality of different possible input values. In response to a call to set the plurality of configuration latches, the database is accessed to apply the at least one set of biasing weights to select one of the plurality of different possible input values for the at least one instance of the Dial entity. The plurality of configuration latches in the digital system are set based upon the output value set for the one or more outputs of the at least one instance of the Dial entity.
    • 在数据处理的方法中,数据库定义了Dial实体和Dial实体的至少一个实例。 Dial实体的每个实例具有具有多个不同可能输入值和一个或多个输出的输入,并且多个不同可能输入值中的每一个具有为一个或多个输出设置的不同的相关输出值。 Dial实体的每个实例确定与数据库分离的数字系统中的多个配置锁存器中的至少一个的值。 所述数据库还将所述至少一组偏置权重与所述拨号实体相关联,所述偏置权重在被应用时确定具有所述多个不同可能输入值中的特定个体的所述拨号实体的每个实例的概率。 响应于设置多个配置锁存器的呼叫,访问数据库以应用至少一组偏置权重以选择Dial实体的至少一个实例的多个不同可能输入值中的一个。 基于为Dial实体的至少一个实例的一个或多个输出设置的输出值来设置数字系统中的多个配置锁存器。
    • 6. 发明授权
    • Configuration database supporting selective presentation of configuration entities
    • 配置数据库支持配置实体的选择性呈现
    • US07765513B2
    • 2010-07-27
    • US11762597
    • 2007-06-13
    • Wolfgang RoesnerDerek Edward Williams
    • Wolfgang RoesnerDerek Edward Williams
    • G06F17/50
    • G06F17/5022
    • In at least one hardware definition language (HDL) file, at least one design entity containing a functional portion of a digital system is specified. The design entity logically contains a latch having a respective plurality of different possible latch values. With one or more statements in one or more files, a configuration entity is associated with the latch. The configuration entity has a plurality of different settings and each setting reflects which of the plurality of different possible values is loaded in the associated latch. A controlling value set for at least one instance of the configuration entity is also defined in one or more files. The controlling value set indicates at least one controlling value for which presentation of a current setting of the configuration entity instance is restricted. Thereafter, in response to a request to present at least a partial state of the digital system, a current setting of the configuration entity instance is excluded from presentation by reference to a configuration database indicating the controlling value set.
    • 在至少一个硬件定义语言(HDL)文件中,指定包含数字系统功能部分的至少一个设计实体。 设计实体逻辑地包含具有相应多个不同可能锁存值的锁存器。 在一个或多个文件中使用一个或多个语句,配置实体与锁存器相关联。 配置实体具有多个不同的设置,并且每个设置反映多个不同的可能值中的哪一个加载到相关联的锁存器中。 对于配置实体的至少一个实例设置的控制值也被定义在一个或多个文件中。 控制值集合指示限制配置实体的当前设置的呈现的至少一个控制值。 此后,响应于呈现数字系统的至少部分状态的请求,通过参考指示控制值集合的配置数据库将配置实体实例的当前设置排除在呈现之外。
    • 7. 发明授权
    • Tracking converge results in a batch simulation farm network
    • 跟踪收敛导致批量仿真农场网络
    • US07752026B2
    • 2010-07-06
    • US12049680
    • 2008-03-17
    • Carol Ivash GabeleWolfgang RoesnerDerek Edward Williams
    • Carol Ivash GabeleWolfgang RoesnerDerek Edward Williams
    • G06F17/50G06F9/45G06F11/30
    • G06F17/5022
    • A system and computer program product for providing centralized access to count event information from testing of a hardware simulation model within a batch simulation farm which includes simulation clients and an instrumentation server. Count event data for said hardware simulation model is received by the instrumentation server from one or more simulation clients. A first and a second counter report are generated for the hardware simulation model, in which the first and second counter reports are derived from the count event data received by the instrumentation server. The first counter report is compared to the second counter report, and responsive to this comparison, a counter difference report is generated within the instrumentation server that conveys count event trends associated with the simulation model under different simulation testcases.
    • 一种系统和计算机程序产品,用于通过在包含模拟客户端和仪器服务器的批处理模拟场内对硬件仿真模型进行测试来集中访问计数事件信息。 所述硬件仿真模型的计数事件数据由仪器服务器从一个或多个仿真客户端接收。 为硬件仿真模型生成第一和第二计数器报告,其中第一和第二计数器报告是从由仪器服务器接收的计数事件数据导出的。 将第一个计数器报告与第二个计数器报告进行比较,并根据此比较,在仪表服务器内生成一个反差异报告,传达与不同模拟测试用例下的仿真模型相关的计数事件趋势。
    • 8. 发明申请
    • MODEL BUILD IN THE PRESENCE OF A NON-BINDING REFERENCE
    • 模型建立在非绑定参考文献中
    • US20100153898A1
    • 2010-06-17
    • US12335766
    • 2008-12-16
    • Wolfgang RoesnerRobert J. ShadowenDerek E. Williams
    • Wolfgang RoesnerRobert J. ShadowenDerek E. Williams
    • G06F17/50
    • G06F17/5045
    • One or more hardware description language (HDL) files describe a plurality of hierarchically arranged design entities defining a digital design to be simulated and a plurality of configuration entities not belonging to the digital design that logically control settings of a plurality of configuration latches in the digital design. The HDL file(s) are compiled to obtain a simulation executable model of the digital design and an associated configuration database. The compiling includes parsing a configuration statement that specifies an association between an instance of a configuration entity and a specified configuration latch, determining whether or not the specified configuration latch is described in the HDL file(s), and if not, creating an indication in the configuration database that the instance of the configuration latch had a specified association to a configuration latch to which it failed to bind.
    • 一个或多个硬件描述语言(HDL)文件描述了定义要仿真的数字设计的多个分层布置的设计实体以及不属于数字设计的多个配置实体,所述多个配置实体逻辑地控制数字的多个配置锁存器的设置 设计。 编译HDL文件以获得数字设计的模拟可执行模型和相关联的配置数据库。 编译包括解析配置语句,该配置语句指定配置实体的实例与指定的配置锁存器之间的关联,确定在HDL文件中是否描述了指定的配置锁存器,以及如果不是,则创建指示 配置数据库,配置锁存器的实例与其无法绑定到的配置锁存器具有指定的关联。