专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US07536288B2 Method, system and program product supporting user tracing in a simulator 失效
标题翻译：在模拟器中支持用户跟踪的方法，系统和程序产品
公开(公告)号：US07536288B2
公开(公告)日：2009-05-19
申请号：US10750590
申请日：2003-12-31
申请人： Bradley Nelson , Wolfgang Roesner , Derek Edward Williams
发明人： Bradley Nelson , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50 , G06F9/45 , G06F9/455
CPC分类号： G06F17/5022
摘要： According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more hardware description language (HDL) files. In addition, a trace array for storing data generated through simulation of the simulation model is specified in one or more statements in the one or more HDL files. The HDL files may subsequently be processed to create a simulation model containing at least one design entity and a trace array within the design entity for storing trace data regarding specified signals of interest.
摘要翻译：根据指定用于数字设计的仿真的跟踪阵列的方法，模拟模型中的一个或多个实体用一个或多个硬件描述语言（HDL）文件中的一个或多个语句来指定。另外，在一个或多个HDL文件中的一个或多个语句中指定用于存储通过模拟仿真模型生成的数据的跟踪数组。随后可以处理HDL文件以创建包含设计实体内的至少一个设计实体和跟踪阵列的模拟模型，用于存储关于所关心的指定信号的跟踪数据。

2. 发明申请

US20080288234A1 METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING USER TRACING IN A SIMULATOR 审中-公开
标题翻译：方法，系统和程序产品支持用户跟踪在模拟器
公开(公告)号：US20080288234A1
公开(公告)日：2008-11-20
申请号：US12035984
申请日：2008-02-22
申请人： BRADLEY NELSON , Wolfgang Roesner , Derek Edward Williams
发明人： BRADLEY NELSON , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F9/45
CPC分类号： G06F8/48 , G06F8/447 , G06F17/5022
摘要： According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more hardware description language (HDL) files. In addition, a trace array for storing data generated through simulation of the simulation model is specified in one or more statements in the one or more HDL files. The HDL files may subsequently be processed to create a simulation model containing at least one design entity and a trace array within the design entity for storing trace data regarding specified signals of interest.
摘要翻译：根据指定用于数字设计的仿真的跟踪阵列的方法，模拟模型中的一个或多个实体用一个或多个硬件描述语言（HDL）文件中的一个或多个语句来指定。另外，在一个或多个HDL文件中的一个或多个语句中指定用于存储通过模拟仿真模型生成的数据的跟踪数组。随后可以处理HDL文件以创建包含设计实体内的至少一个设计实体和跟踪阵列的模拟模型，用于存储关于所关心的指定信号的跟踪数据。

3. 发明授权

US06993729B2 Method, system and program product for specifying a dial group for a digital system described by a hardware description language (HDL) model 失效
标题翻译：用于指定由硬件描述语言（HDL）模型描述的数字系统的拨号组的方法，系统和程序产品
公开(公告)号：US06993729B2
公开(公告)日：2006-01-31
申请号：US10425070
申请日：2003-04-28
申请人： Bradley Nelson , Wolfgang Roesner , Hugh Shen , Derek Edward Williams
发明人： Bradley Nelson , Wolfgang Roesner , Hugh Shen , Derek Edward Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G06F17/5045
摘要： A statement in at least one hardware definition language (HDL) file specifies a plurality of design entities representing a functional portion of a digital system. The plurality of design entities have an associated plurality of configuration latches each having a plurality of different possible latch values, where different sets of latch values for the plurality of configuration latches correspond to different configurations of the functional portion of the digital system. With a statement in the at least one HDL file, a Dial group entity is associated with one of the plurality of design entities. The Dial group entity has a Dial list listing a plurality of Dial entities whose settings collectively control which set of latch values is loaded into the plurality of configuration latches. Membership in the Dial group constrains all instances of the plurality of Dial entities belonging to a particular instance of the Dial group to be set as a group.
摘要翻译：至少一种硬件定义语言（HDL）文件中的语句指定表示数字系统的功能部分的多个设计实体。多个设计实体具有相关联的多个配置锁存器，每个配置锁存器具有多个不同的可能的锁存值，其中用于多个配置锁存器的不同的锁存值集合对应于数字系统的功能部分的不同配置。通过至少一个HDL文件中的语句，Dial组实体与多个设计实体之一相关联。拨号组实体具有列出多个拨号实体的拨号列表，其多个拨号实体的设置共同控制哪个锁存值集合被加载到多个配置锁存器中。 Dial组中的成员资格限制属于Dial组的特定实例的多个Dial实体的所有实例被设置为一组。

4. 发明申请

US20090192778A1 TRACKING CONVERGE RESULTS IN A BATCH SIMULATION FARM NETWORK 有权
标题翻译：在批量模拟农场网络中跟踪转化结果
公开(公告)号：US20090192778A1
公开(公告)日：2009-07-30
申请号：US12049680
申请日：2008-03-17
申请人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50 , G06G7/62 , G06F9/45 , G06F13/10 , G06F13/12 , G06F9/44
CPC分类号： G06F17/5022
摘要： A method and system 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.
摘要翻译：一种方法和系统，用于通过测试包含模拟客户端和仪器服务器的批量模拟场内的硬件仿真模型来提供集中访问计数事件信息。所述硬件仿真模型的计数事件数据由仪器服务器从一个或多个仿真客户端接收。为硬件仿真模型生成第一和第二计数器报告，其中第一和第二计数器报告是从由仪器服务器接收的计数事件数据导出的。将第一个计数器报告与第二个计数器报告进行比较，并根据此比较，在仪表服务器内生成一个反差异报告，传达与不同模拟测试用例下的仿真模型相关的计数事件趋势。

5. 发明授权

US07519524B2 Program product for providing a configuration specification language supporting incompletely specified configuration entities 失效
标题翻译：用于提供支持不完整指定配置实体的配置规范语言的程序产品
公开(公告)号：US07519524B2
公开(公告)日：2009-04-14
申请号：US12142000
申请日：2008-06-19
申请人： Bradley S. Nelson , Wolfgang Roesner , Derek Edward Williams
发明人： Bradley S. Nelson , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50 , G06F7/00
CPC分类号： G06F17/5022 , Y10S707/99931 , Y10S707/99943 , Y10S707/99945
摘要： In a hardware definition language (HDL) file among one or more files, one or more design entities containing a functional portion of a digital system are specified. The one or more design entities logically contain a plurality of latches having a respective plurality of different possible latch values that each corresponds to a different configuration of the functional portion of the digital system. With one or more statements in the one or more files, a multi-level Dial tree is defined that includes a selective control Dial (SCDial) entity at an upper level that is associated with at least one design entity. The SCDial entity has a Dial input, a plurality of Dial outputs coupled to inputs of the plurality of lower level Dials, and a mapping table indicating a mapping between each of a plurality of possible input values of the Dial input and a respective one of a plurality of sets of output values for the plurality of Dial outputs. At least one set of output values in the mapping table specifies output values for fewer than all of the plurality of Dial outputs. Each specified output value reflects a setting of at least one lower level Dial, and settings of the lower level Dials reflect which of the plurality of different possible configuration values is loaded in the plurality of configuration latches.
摘要翻译：在一个或多个文件中的硬件定义语言（HDL）文件中，指定包含数字系统的功能部分的一个或多个设计实体。一个或多个设计实体在逻辑上包含多个具有相应多个不同可能锁存值的锁存器，每个闩锁值对应于数字系统的功能部分的不同配置。利用一个或多个文件中的一个或多个语句，定义多级拨号树，其包括与至少一个设计实体相关联的上级的选择性控制拨号（SCDial）实体。 SCDial实体具有拨号输入，多个拨号输出耦合到多个下级拨号的输入，以及映射表，其指示拨号输入的多个可能输入值中的每一个与相应的一个多个拨号输出的多组输出值。映射表中的至少一组输出值指定少于所有多个拨号输出的输出值。每个指定的输出值反映至少一个较低级别拨号的设置，并且下级拨号的设置反映多个不同的可能配置值中的哪一个被加载到多个配置锁存器中。

6. 发明授权

US07469400B2 Method, system and program product supporting presentation of a simulated or hardware system including configuration entities 有权
标题翻译：包括配置实体的模拟或硬件系统的方法，系统和程序产品
公开(公告)号：US07469400B2
公开(公告)日：2008-12-23
申请号：US11948461
申请日：2007-11-30
申请人： Wolfgang Roesner , Derek Edward Williams
发明人： Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50 , G06F17/00 , G06G7/62
CPC分类号： 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.
摘要翻译：在显示装置内，为模拟系统内的多个分层布置的设计实体实例中的每一个显示多个设计图形表示中的相应一个。设计实体实例包括包含由特定设计图形表示表示的锁存器的特定设计实体实例。在与模拟系统相关联的配置数据库中识别与特定设计实体相关联的配置实体实例。配置实体实例具有多个不同的设置，每个设置反映锁存器的值。在显示设备内，与对应于特定设计实体实例的特定设计图形表示相关联地呈现配置实体实例的配置图形表示。此外，配置实体实例的当前设置与配置图形表示同时呈现。

7. 发明授权

US07454325B2 Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases 失效
标题翻译：方法，系统和程序产品，用于通过测试案例定义和记录模拟的阈值限定计数事件
公开(公告)号：US07454325B2
公开(公告)日：2008-11-18
申请号：US11006093
申请日：2004-12-07
申请人： Michael Lee Behm , Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Michael Lee Behm , Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50 , G06F11/00
CPC分类号： G06F17/5022
摘要： According to one method of simulation processing, a count event counter for a count event is created within instrumentation of a hardware description language (HDL) simulation model of a design and a threshold greater than 1 is established for the count event counter. The design is then simulated utilizing the HDL simulation model, and occurrences of the count event are accumulated in the count event counter to obtain a count event value. Thereafter, an indication of whether the count event value of the count event exceeds the threshold is recorded within a data storage subsystem.
摘要翻译：根据模拟处理的一种方法，在设计的硬件描述语言（HDL）仿真模型的仪表内创建计数事件的计数事件计数器，并且为计数事件计数器建立大于1的阈值。然后利用HDL仿真模型对该设计进行仿真，并且计数事件的发生被累积在计数事件计数器中以获得计数事件值。此后，计数事件的计数事件值是否超过阈值的指示被记录在数据存储子系统内。

8. 发明授权

US07389490B2 Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities 有权
标题翻译：用于提供支持配置实体的选择性呈现的配置规范语言的方法，系统和程序产品
公开(公告)号：US07389490B2
公开(公告)日：2008-06-17
申请号：US10902595
申请日：2004-07-29
申请人： Wolfgang Roesner , Derek Edward Williams
发明人： Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50 , G06F9/44
CPC分类号： 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, a configuration entity is associated with the latch. The configuration entity has a plurality of different settings and each setting reflects which value is loaded in the associated latch. A controlling value set, indicating at least one controlling value for which presentation of a current setting of the configuration entity instance is restricted, is also defined in one or more files. 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）文件中，指定包含数字系统的功能部分的至少一个设计实体。设计实体逻辑地包含具有相应多个不同可能锁存值的锁存器。使用一个或多个语句，配置实体与锁存器相关联。配置实体具有多个不同的设置，并且每个设置反映在相关联的锁存器中加载哪个值。控制值集合指示至少一个控制值，用于显示配置实体的当前设置的呈现被限制在一个或多个文件中。此后，响应于呈现数字系统的至少部分状态的请求，通过参考指示控制值集合的配置数据库将配置实体实例的当前设置排除在呈现之外。

9. 发明授权

US07239993B2 Method, system and program product that automatically generate coverage instrumentation for configuration constructs within a digital system 失效
标题翻译：方法，系统和程序产品，自动生成数字系统中配置结构的覆盖仪器
公开(公告)号：US07239993B2
公开(公告)日：2007-07-03
申请号：US10651156
申请日：2003-08-28
申请人： Wolfgang Roesner , Derek Edward Williams
发明人： Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： A method, data processing system, and program product for building an instrumented simulation model of a digital design are disclosed. According to the method, a model build tool locates, within design data collectively defining a simulation model of the digital design, a definition of a configuration construct specifying a relationship between values of one or more configuration latches within the digital design and settings of the configuration construct. In response to locating the definition of the configuration construct, the model build tool automatically creates an instrumentation entity within the design data. The instrumentation entity has one or more inputs logically coupled to the one or more configuration latches and one or more outputs for providing signals indicating characteristics of the configuration construct during simulation.
摘要翻译：公开了一种用于构建数字设计仪表化仿真模型的方法，数据处理系统和程序产品。根据该方法，模型构建工具在设计数据中共同定义数字设计的仿真模型，定义了指定数字设计中的一个或多个配置锁存器的值与配置设置之间的关系的配置结构构造。响应定位配置结构的定义，模型构建工具会自动在设计数据中创建一个检测实体。仪器实体具有逻辑上耦合到一个或多个配置锁存器和一个或多个输出的一个或多个输入，用于在模拟期间提供指示配置结构特征的信号。

10. 发明授权

US07236918B2 Method and system for selective compilation of instrumentation entities into a simulation model of a digital design 有权
标题翻译：将仪器实体选择性汇编为数字设计仿真模型的方法和系统
公开(公告)号：US07236918B2
公开(公告)日：2007-06-26
申请号：US10749607
申请日：2003-12-31
申请人： Wolfgang Roesner , Derek Edward Williams
发明人： Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50
CPC分类号： G01R31/318364
摘要： In a method of compiling a simulation model of a digital design, a compiler receives an indication of a desired set of instrumentation entities to be included within a simulation model of a digital design described by a plurality of hierarchically arranged design entities. The instrumentation entities monitor logical operation of one or more of the plurality of design entities during simulation for occurrence of events of interest. In response to the indication, the compiler determines by reference to a bill-of-materials of a previously compiled file whether or not the previously compiled file was compiled with instrumentation entities compatible with the desired set of instrumentation entities. In response to determining that the previously compiled file was compiled with compatible instrumentation entities, the compiler compiles the simulation model of the digital design utilizing the previously compiled file in accordance with the indication.
摘要翻译：在编译数字设计的仿真模型的方法中，编译器接收要包括在由多个分层布置的设计实体描述的数字设计的仿真模型内的期望的一组仪器实体的指示。仪器实体在仿真期间监视多个设计实体中的一个或多个设计实体的逻辑运算，用于感兴趣事件的发生。响应于该指示，编译器通过参考先前编译的文件的材料清单来确定先前编译的文件是否是与所需的一组仪器实体兼容的仪器实体编译的。响应于确定先前编译的文件是使用兼容的仪器实体编译的，编译器将根据指示使用先前编译的文件编译数字设计的仿真模型。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式