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

1. 发明申请

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.
摘要翻译：一种方法和系统，用于通过测试包含模拟客户端和仪器服务器的批量模拟场内的硬件仿真模型来提供集中访问计数事件信息。所述硬件仿真模型的计数事件数据由仪器服务器从一个或多个仿真客户端接收。为硬件仿真模型生成第一和第二计数器报告，其中第一和第二计数器报告是从由仪器服务器接收的计数事件数据导出的。将第一个计数器报告与第二个计数器报告进行比较，并根据此比较，在仪表服务器内生成一个反差异报告，传达与不同模拟测试用例下的仿真模型相关的计数事件趋势。

2. 发明授权

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仿真模型对该设计进行仿真，并且计数事件的发生被累积在计数事件计数器中以获得计数事件值。此后，计数事件的计数事件值是否超过阈值的指示被记录在数据存储子系统内。

3. 发明授权

US07158924B2 Dynamic loading of C-API HDL model instrumentation 失效
标题翻译：动态加载C-API HDL模型仪器
公开(公告)号：US07158924B2
公开(公告)日：2007-01-02
申请号：US10116521
申请日：2002-04-04
申请人： Derek Edward Williams , Carol Ivash Gabele , Wolfgang Roesner
发明人： Derek Edward Williams , Carol Ivash Gabele , Wolfgang Roesner
IPC分类号： G06F17/50 , G06F9/44 , G06F11/00
CPC分类号： G06F17/5022
摘要： A method and system for tracking instances of a testcase execution event within a hardware description language (HDL) model using a simulation control program. In accordance with the method of the present invention, a design entity list is generated within the HDL model, wherein the design entity list identifies all design entities instantiated within the HDL model. One or more instrumentation code modules are dynamically loaded into the simulation control program, wherein the instrumentation code modules generate and process testcase execution events associated with at least one of the identified design entities.
摘要翻译：一种使用仿真控制程序在硬件描述语言（HDL）模型中跟踪测试用例执行事件的实例的方法和系统。根据本发明的方法，在HDL模型内生成设计实体列表，其中设计实体列表标识在HDL模型内实例化的所有设计实体。一个或多个仪器代码模块被动态地加载到仿真控制程序中，其中，仪表代码模块生成和处理与所识别的设计实体中的至少一个相关联的测试执行事件。

4. 发明授权

US07143018B2 Non-redundant collection of harvest events within a batch simulation farm network 失效
公开(公告)号：US07143018B2
公开(公告)日：2006-11-28
申请号：US09997458
申请日：2001-11-30
申请人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06G7/62 , G06F9/45 , G06F9/455
CPC分类号： G01R31/318357 , G01R31/318307 , G01R31/318314 , G06F17/5022
摘要： A method and system for minimizing redundancy in collected harvest event testcases from a batch simulation farm which includes a harvest testcase server that collects simulation data for a simulation model from at least one simulation client. In accordance with the method of the present invention, a testcase is executed on the simulation model within a simulation client. Responsive to the testcase triggering a harvest event, the harvest event is compared with a list of harvest events that have previously been triggered within the simulation model. In response to determining that the harvest event has not been previously triggered within the simulation model, the testcase is delivered to the harvest testcase server.

5. 发明授权

US07480608B2 Method and system for reducing storage requirements of simulation data via KEYWORD restrictions 有权
标题翻译：通过KEYWORD限制减少模拟数据的存储需求的方法和系统
公开(公告)号：US07480608B2
公开(公告)日：2009-01-20
申请号：US12049736
申请日：2008-03-17
申请人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F9/44
CPC分类号： G06F17/5022
摘要： Disclosed herein is a method of managing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, a restriction list associated with the HDL model is received. The HDL model has a maximum number of possible keyword/value pairs sets for which result data can be obtained, and the restriction list specifies a fewer number of keyword/value pair sets for which the result data can be queried based upon at least one keyword. In response to receipt of result data obtained by simulation of the HDL model, the result data are stored within a data storage subsystem by reference to the restriction list, such that particular result data attributable to each of the plurality of keyword/value sets is separately accessible.
摘要翻译：本文公开了一种基于关键字来管理硬件描述语言（HDL）模型的模拟处理的数据结果的方法。根据该方法，接收与HDL模型相关联的限制列表。 HDL模型具有可以获得结果数据的可能的关键字/值对集合的最大数量，并且限制列表指定少量关键字/值对集合，根据至少一个关键字可以查询结果数据。响应于接收到通过HDL模型的模拟而获得的结果数据，结果数据通过参考限制列表被存储在数据存储子系统内，使得归因于多个关键字/值集合中的每一个的特定结果数据分开无障碍。

6. 发明授权

US07194400B2 Method and system for reducing storage and transmission requirements for simulation results 失效
标题翻译：减少模拟结果存储和传输要求的方法和系统
公开(公告)号：US07194400B2
公开(公告)日：2007-03-20
申请号：US10355684
申请日：2003-01-30
申请人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F17/5022
摘要： A simulation control program receives a hardware description language (HDL) model including design entities and count event registers. Each count event registers is associated with a respective instance of an event. The count event registers include first and second registers for counting occurrences of a same replicated event generated within different instances of a same design entity having a same hierarchical level within the HDL model. The simulation control program also receives a correlation data structure indicating which count event registers are associated with instances of the same replicated event. During simulation processing, each of the count event registers maintains a respective count value representing a number of times an associated event instance occurs. The simulation control program sums count values of the first and second count event registers in accordance with the correlation data structure and outputs a count event data packet containing the aggregate count value.
摘要翻译：模拟控制程序接收包括设计实体和计数事件寄存器的硬件描述语言（HDL）模型。每个计数事件寄存器与事件的相应实例相关联。计数事件寄存器包括第一和第二寄存器，用于计数在HDL模型内具有相同分层级别的相同设计实体的不同实例内生成的相同复制事件的发生。仿真控制程序还接收指示哪些计数事件寄存器与相同复制事件的实例相关联的相关数据结构。在仿真处理期间，每个计数事件寄存器维持表示相关事件实例发生次数的相应计数值。仿真控制程序根据相关数据结构对第一和第二计数事件寄存器的计数值求和，并输出包含累计计数值的计数事件数据包。

7. 发明授权

US07529655B2 Program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language 失效
标题翻译：使用高级语言定义和记录模拟的最小和最大事件计数的程序产品
公开(公告)号：US07529655B2
公开(公告)日：2009-05-05
申请号：US12106416
申请日：2008-04-21
申请人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： According to one method of simulation processing, instrumentation code, such as an runtime executive (rtx), receives one or more statements describing an count event and identifying the count event as an outlying count event. While simulating a design utilizing the HDL simulation model, occurrences of the outlying count event are counted to obtain a count event value. Simulation result data obtained from simulating the design is then received and processed. In the processing, the count event value is recorded within a data storage subsystem responsive to a determination of whether or not the count event value of the outlying count event exceeds a previously recorded count event value.
摘要翻译：根据模拟处理的一种方法，诸如运行时执行程序（rtx）的仪器代码接收描述计数事件的一个或多个语句，并将计数事件识别为外部计数事件。在使用HDL仿真模型模拟设计的同时，计算出外部计数事件以获得计数事件值。然后接收并处理从模拟设计获得的仿真结果数据。在处理中，响应于确定偏移计数事件的计数事件值是否超过先前记录的计数事件值，将计数事件值记录在数据存储子系统内。

8. 发明授权

US07373290B2 Method and system for reducing storage requirements of simulation data via keyword restrictions 有权
标题翻译：通过关键词限制减少模拟数据存储需求的方法和系统
公开(公告)号：US07373290B2
公开(公告)日：2008-05-13
申请号：US10388976
申请日：2003-03-13
申请人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F9/44
CPC分类号： G06F17/5022
摘要： Disclosed herein is a method of managing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, a restriction list associated with the HDL model is received. The HDL model has a maximum number of possible keyword/value pairs sets for which result data can be obtained, and the restriction list specifies a fewer number of keyword/value pair sets for which the result data can be queried based upon at least one keyword. In response to receipt of result data obtained by simulation of the HDL model, the result data are stored within a data storage subsystem by reference to the restriction list, such that particular result data attributable to each of the plurality of keyword/value sets is separately accessible.
摘要翻译：本文公开了一种基于关键字来管理硬件描述语言（HDL）模型的模拟处理的数据结果的方法。根据该方法，接收与HDL模型相关联的限制列表。 HDL模型具有可以获得结果数据的可能的关键字/值对集合的最大数量，并且限制列表指定少量关键字/值对集合，根据至少一个关键字可以查询结果数据。响应于接收到通过HDL模型的模拟而获得的结果数据，结果数据通过参考限制表被存储在数据存储子系统内，使得归因于多个关键字/值集合中的每一个的特定结果数据是分开的无障碍。

9. 发明授权

US07359847B2 Tracking converage results in a batch simulation farm network 有权
标题翻译：跟踪结果可以在批量仿真农场网络中获得
公开(公告)号：US07359847B2
公开(公告)日：2008-04-15
申请号：US09997460
申请日：2001-11-30
申请人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50 , G06F9/45 , G06G7/62 , G06F9/44 , G06F13/10 , G06F13/12
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.
摘要翻译：一种方法和系统，用于通过测试包含模拟客户端和仪器服务器的批量模拟场内的硬件仿真模型来提供集中访问计数事件信息。所述硬件仿真模型的计数事件数据由仪器服务器从一个或多个仿真客户端接收。为硬件仿真模型生成第一和第二计数器报告，其中第一和第二计数器报告是从由仪器服务器接收的计数事件数据导出的。将第一个计数器报告与第二个计数器报告进行比较，并根据此比较，在仪表服务器内生成一个反差异报告，传达与不同模拟测试用例下的仿真模型相关的计数事件趋势。

10. 发明授权

US07203633B2 Method and system for selectively storing and retrieving simulation data utilizing keywords 失效
标题翻译：使用关键词选择性地存储和检索模拟数据的方法和系统
公开(公告)号：US07203633B2
公开(公告)日：2007-04-10
申请号：US10366438
申请日：2003-02-13
申请人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
发明人： Carol Ivash Gabele , Wolfgang Roesner , Derek Edward Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： Disclosed herein is a method of storing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, result data obtained by simulation of at least one HDL model are received. In association with the result data, a plurality of value sets is received, where each value set includes at least one keyword having an associated value. Each keyword identifies a parameter external to the HDL model that affected the result data. The data results are stored within a data storage subsystem in association with the plurality of value sets such that particular result data are attributable to particular ones of the plurality of value sets. In one embodiment, a keyword table is built in the data storage system that indicates which data subdirectories store result data associated with particular value sets. The result data can then be queried based upon selected keywords of interest, for example, by reference to the keyword table.
摘要翻译：本文公开了一种基于关键字存储硬件描述语言（HDL）模型的模拟处理的数据结果的方法。根据该方法，接收通过模拟至少一个HDL模型获得的结果数据。与结果数据相关联，接收多个值集合，其中每个值集合包括至少一个具有关联值的关键字。每个关键字标识影响结果数据的HDL模型外部的参数。数据结果与多个值集合相关联地存储在数据存储子系统中，使得特定结果数据可归因于多个值集合中的特定值。在一个实施例中，在数据存储系统中建立关键字表，其指示哪些数据子目录存储与特定值集相关联的结果数据。然后，可以基于所选择的感兴趣的关键字来查询结果数据，例如通过参考关键字表来查询结果数据。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式