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

1. 发明授权

US08229727B2 System and method for incorporating design behavior and external stimulus in microprocessor emulation model feedback using a shared memory 失效
标题翻译：使用共享存储器将设计行为和外部刺激结合在微处理器仿真模型反馈中的系统和方法
公开(公告)号：US08229727B2
公开(公告)日：2012-07-24
申请号：US11621335
申请日：2007-01-09
申请人： Sanjay Gupta , Joseph Anthony Perrie, III , Steven Leonard Roberts , Todd Swanson
发明人： Sanjay Gupta , Joseph Anthony Perrie, III , Steven Leonard Roberts , Todd Swanson
IPC分类号： G06F9/455
CPC分类号： G06F17/5022
摘要： A system and method for incorporating design behavior and external stimulus in microdevice model feedback using a shared memory is presented. The invention describe herein uses the attached memory model to provide additional heuristics to an application executing on an emulation system's device model, which results in a more detail and real-life device emulation. The attached memory model provides a storage area for a runtime software environment to store emulation data, which is subsequently provided to the device model during emulation. The emulation data may include 1) randomization stimuli to the device model, 2) additional runtime data for checking heuristics, and 3) emulation data points that are otherwise not accessible to the device model.
摘要翻译：提出了一种使用共享存储器将设计行为和外部刺激并入微设计模型反馈的系统和方法。本文描述的本发明使用附加的存储器模型来为在仿真系统的设备模型上执行的应用提供附加启发式，这导致更细节和真实的设备仿真。附加的存储器模型为运行时软件环境提供存储区域以存储仿真数据，随后在仿真期间将其提供给设备模型。仿真数据可以包括1）对设备模型的随机化刺激，2）用于检查启发式的附加运行时间数据，以及3）设备模型否则不可访问的仿真数据点。

2. 发明申请

US20080167854A1 System and Method for Incorporating Design Behavior and External Stimulus in Microprocessor Emulation Model Feedback Using a Shared Memory 失效
标题翻译：在微处理器仿真模型反馈中使用共享存储器并入设计行为和外部激励的系统和方法
公开(公告)号：US20080167854A1
公开(公告)日：2008-07-10
申请号：US11621335
申请日：2007-01-09
申请人： Sanjay Gupta , Joseph Anthony Perrie , Steven Leonard Roberts , Todd Swanson
发明人： Sanjay Gupta , Joseph Anthony Perrie , Steven Leonard Roberts , Todd Swanson
IPC分类号： G06F9/455
CPC分类号： G06F17/5022
摘要： A system and method for incorporating design behavior and external stimulus in microdevice model feedback using a shared memory is presented. The invention describe herein uses the attached memory model to provide additional heuristics to an application executing on an emulation system's device model, which results in a more detail and real-life device emulation. The attached memory model provides a storage area for a runtime software environment to store emulation data, which is subsequently provided to the device model during emulation. The emulation data may include 1) randomization stimuli to the device model, 2) additional runtime data for checking heuristics, and 3) emulation data points that are otherwise not accessible to the device model.
摘要翻译：提出了一种使用共享存储器将设计行为和外部刺激并入微设计模型反馈的系统和方法。本文描述的本发明使用附加的存储器模型来为在仿真系统的设备模型上执行的应用提供附加启发式，这导致更细节和真实的设备仿真。附加的存储器模型为运行时软件环境提供存储区域以存储仿真数据，随后在仿真期间将其提供给设备模型。仿真数据可以包括1）对设备模型的随机化刺激，2）用于检查启发式的附加运行时间数据，以及3）设备模型否则不可访问的仿真数据点。

3. 发明申请

US20080288230A1 STRUCTURE FOR TESTING AN OPERATION OF INTEGRATED CIRCUITRY 有权
标题翻译：用于测试集成电路运行的结构
公开(公告)号：US20080288230A1
公开(公告)日：2008-11-20
申请号：US12130675
申请日：2008-05-30
申请人： Matthew E. Fernsler , Tilman Gloekler , Sanjay Gupta , Christopher J. Spandikow , Todd Swanson
发明人： Matthew E. Fernsler , Tilman Gloekler , Sanjay Gupta , Christopher J. Spandikow , Todd Swanson
IPC分类号： G06F17/50
CPC分类号： G01R31/31704 , G01R31/318357 , G06F17/5022
摘要： A design structure is embodied in a machine readable medium for designing, manufacturing, or testing integrated circuitry. The design structure includes a general purpose computational resource for performing general purpose operations of a system. A special purpose computational resource is coupled to the general purpose computational resource. The special purpose computational resource is for: storing test patterns, a description of the integrated circuitry, and a description of hardware for testing the integrated circuitry; and executing software for simulating an operation of the described hardware's testing of the described integrated circuitry in response to the test patterns.
摘要翻译：设计结构体现在用于设计，制造或测试集成电路的机器可读介质中。该设计结构包括用于执行系统的通用操作的通用计算资源。专用计算资源与通用计算资源相连。专用计算资源用于：存储测试模式，集成电路的描述以及用于测试集成电路的硬件描述; 以及执行用于模拟所述硬件对所述集成电路的测试的响应于所述测试模式的软件。

4. 发明授权

US07627843B2 Dynamically interleaving randomly generated test-cases for functional verification 失效
标题翻译：随机生成测试用例的动态交织功能验证
公开(公告)号：US07627843B2
公开(公告)日：2009-12-01
申请号：US11087466
申请日：2005-03-23
申请人： Igor Dozorets , Roy Emek , Sanjay Gupta , Itai Jaeger , Lawrence Allyn McConville , Tzach Schechner , Todd Swanson
发明人： Igor Dozorets , Roy Emek , Sanjay Gupta , Itai Jaeger , Lawrence Allyn McConville , Tzach Schechner , Todd Swanson
IPC分类号： G06F9/00
CPC分类号： G06F17/5022 , G01R31/318371
摘要： The input for a test generator is a plurality of test templates, each of which typically aims at covering a specific verification task. Test templates direct the production of distinct transactions, which are the atomic functional building blocks of the design-under-verification. Test templates directed to different hardware functions of the scenario are dynamically interleaved. In this way several transactions are combined together in complex statements in order to achieve a complex test scenario. The transactions are submitted to the test generator, which generates test cases, in which the different hardware functions of the scenario are exercised in combinations. Variation among the test cases is achieved through a large number of random decisions made during the generation process.
摘要翻译：测试发生器的输入是多个测试模板，每个测试模板通常旨在覆盖特定的验证任务。测试模板可以直接生成不同的事务，这是不合格设计的原子功能构建块。定向到场景的不同硬件功能的测试模板是动态交错的。以这种方式，在复杂语句中将多个事务合并在一起，以实现复杂的测试场景。这些事务被提交给测试发生器，该测试发生器生成测试用例，其中组合运行该场景的不同硬件功能。测试用例之间的变化是通过在生成过程中做出的大量随机决策来实现的。

5. 发明授权

US08027825B2 Structure for testing an operation of integrated circuitry 有权
标题翻译：用于测试集成电路操作的结构
公开(公告)号：US08027825B2
公开(公告)日：2011-09-27
申请号：US12130675
申请日：2008-05-30
申请人： Matthew E. Fernsler , Tilman Gloekler , Sanjay Gupta , Christopher J. Spandikow , Todd Swanson
发明人： Matthew E. Fernsler , Tilman Gloekler , Sanjay Gupta , Christopher J. Spandikow , Todd Swanson
IPC分类号： G06F17/50 , G01R31/28
CPC分类号： G01R31/31704 , G01R31/318357 , G06F17/5022
摘要： A design structure is embodied in a machine readable medium for designing, manufacturing, or testing integrated circuitry. The design structure includes a general purpose computational resource for performing general purpose operations of a system. A special purpose computational resource is coupled to the general purpose computational resource. The special purpose computational resource is for: storing test patterns, a description of the integrated circuitry, and a description of hardware for testing the integrated circuitry; and executing software for simulating an operation of the described hardware's testing of the described integrated circuitry in response to the test patterns.
摘要翻译：设计结构体现在用于设计，制造或测试集成电路的机器可读介质中。该设计结构包括用于执行系统的通用操作的通用计算资源。专用计算资源与通用计算资源相连。专用计算资源用于：存储测试模式，集成电路的描述以及用于测试集成电路的硬件描述; 以及执行用于模拟所述硬件对所述集成电路的测试的响应于所述测试模式的软件。

6. 发明授权

US08006155B2 Testing an operation of integrated circuitry 有权
标题翻译：测试集成电路的操作
公开(公告)号：US08006155B2
公开(公告)日：2011-08-23
申请号：US11621361
申请日：2007-01-09
申请人： Matthew E. Fernsler , Tilman Gloekler , Sanjay Gupta , Christopher J. Spandikow , Todd Swanson
发明人： Matthew E. Fernsler , Tilman Gloekler , Sanjay Gupta , Christopher J. Spandikow , Todd Swanson
IPC分类号： G01R31/28
CPC分类号： G06F17/5022 , G01R31/31704 , G01R31/318357 , G06F11/261
摘要： A general purpose computational resource is provided for performing general purpose operations of a system. A special purpose computational resource is coupled to the general purpose computational resource. The special purpose computational resource is provided for: storing test patterns, a description of integrated circuitry, and a description of hardware for testing the integrated circuitry; and executing software for simulating an operation of the described hardware's testing of the described integrated circuitry in response to the test patterns.
摘要翻译：提供通用计算资源用于执行系统的通用操作。专用计算资源与通用计算资源相连。专用计算资源用于：存储测试模式，集成电路的描述以及用于测试集成电路的硬件描述; 以及执行用于模拟所述硬件对所述集成电路的测试的响应于所述测试模式的软件。

7. 发明申请

US20080167853A1 Method and System for Testing An Operation of Integrated Circuitry 有权
标题翻译：集成电路运行测试方法与系统
公开(公告)号：US20080167853A1
公开(公告)日：2008-07-10
申请号：US11621361
申请日：2007-01-09
申请人： Matthew E. Fernsler , Tilman Gloekler , Sanjay Gupta , Christopher J. Spandikow , Todd Swanson
发明人： Matthew E. Fernsler , Tilman Gloekler , Sanjay Gupta , Christopher J. Spandikow , Todd Swanson
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G01R31/31704 , G01R31/318357 , G06F11/261
摘要： A general purpose computational resource is provided for performing general purpose operations of a system. A special purpose computational resource is coupled to the general purpose computational resource. The special purpose computational resource is provided for: storing test patterns, a description of integrated circuitry, and a description of hardware for testing the integrated circuitry; and executing software for simulating an operation of the described hardware's testing of the described integrated circuitry in response to the test patterns
摘要翻译：提供通用计算资源用于执行系统的通用操作。专用计算资源与通用计算资源相连。专用计算资源用于：存储测试模式，集成电路的描述以及用于测试集成电路的硬件描述; 以及执行用于模拟所述硬件对所述集成电路的测试的响应于所述测试模式的软件

8. 发明申请

US20060218513A1 Dynamically interleaving randomly generated test-cases for functional verification 失效
公开(公告)号：US20060218513A1
公开(公告)日：2006-09-28
申请号：US11087466
申请日：2005-03-23
申请人： Igor Dozorets , Roy Emek , Sanjay Gupta , Itai Jaeger , Lawrence McConville , Tzach Schechner , Todd Swanson
发明人： Igor Dozorets , Roy Emek , Sanjay Gupta , Itai Jaeger , Lawrence McConville , Tzach Schechner , Todd Swanson
IPC分类号： G06F17/50 , G06F9/45
CPC分类号： G06F17/5022 , G01R31/318371
摘要： The input for a test generator is a plurality of test templates, each of which typically aims at covering a specific verification task. Test templates direct the production of distinct transactions, which are the atomic functional building blocks of the design-under-verification. Test templates directed to different hardware functions of the scenario are dynamically interleaved. In this way several transactions are combined together in complex statements in order to achieve a complex test scenario. The transactions are submitted to the test generator, which generates test cases, in which the different hardware functions of the scenario are exercised in combinations. Variation among the test cases is achieved through a large number of random decisions made during the generation process.

9. 发明授权

US09043148B2 Navigation system and methods for generating enhanced search results 有权
标题翻译：导航系统和生成增强搜索结果的方法
公开(公告)号：US09043148B2
公开(公告)日：2015-05-26
申请号：US12579536
申请日：2009-10-15
申请人： Francis Bourque , Sanjay Gupta , Mark Hansen
发明人： Francis Bourque , Sanjay Gupta , Mark Hansen
IPC分类号： G01C21/36 , G08G1/0968
CPC分类号： G01C21/36 , G01C21/3611 , G01C21/3617 , G06F17/30873 , G08G1/096827 , G08G1/096888
摘要： A navigation system and various methods of using the system are described herein. Search query results are refined by the system and are prioritized based at least in part upon sub-search categories selected during the searching process. Sub-searches can be represented by graphical icons displayed on the user interface.
摘要翻译：这里描述了导航系统和使用该系统的各种方法。搜索查询结果由系统改进，并且至少部分地基于在搜索过程中选择的子搜索类别进行优先级排序。子搜索可以由用户界面上显示的图形图标表示。

10. 发明授权

US08937942B1 Storing session information in network devices 有权
标题翻译：将会话信息存储在网络设备中
公开(公告)号：US08937942B1
公开(公告)日：2015-01-20
申请号：US12828477
申请日：2010-07-01
申请人： Xianzhi Li , Qingming Ma , Jianhua Gu , Sanjay Gupta , Zeyong Lin , Dongsheng Mu
发明人： Xianzhi Li , Qingming Ma , Jianhua Gu , Sanjay Gupta , Zeyong Lin , Dongsheng Mu
IPC分类号： H04L12/50 , H04Q11/00 , G06F15/16 , G06F9/34
CPC分类号： H04L69/22 , H04L63/0227 , H04L67/1097
摘要： In one example, a network device includes a network interface that receives a packet, a storage card that stores session data for monitored network sessions, a plurality of service processing cards that process packets of respective subsets of the network sessions, wherein each of the service processing cards comprises a respective memory to store session data for the respective subset of the network sessions processed by the corresponding service processing card, and a switch fabric coupled to the network interface, the storage card, and the plurality of service processing cards. One or more of the plurality of service cards process the received packet based on the session data stored by the storage card. The one or more of the plurality of service cards retrieve the session data for the network session to which the packet corresponds from the storage card and store the retrieved session data in the respective memory.
摘要翻译：在一个示例中，网络设备包括接收分组的网络接口，存储用于监视的网络会话的会话数据的存储卡，处理网络会话的各个子集的分组的多个服务处理卡，其中，每个服务处理卡包括相应的存储器，用于存储由相应的服务处理卡处理的网络会话的相应子集的会话数据，以及耦合到网络接口，存储卡和多个服务处理卡的交换结构。多个服务卡中的一个或多个基于由存储卡存储的会话数据来处理所接收的分组。多个服务卡中的一个或多个服务卡从存储卡检索分组对应的网络会话的会话数据，并将检索到的会话数据存储在相应的存储器中。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式