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

1. 发明申请

US20060129368A1 Object-oriented interface to RTL model signals 审中-公开
标题翻译：面向对象的RTL模型信号接口
公开(公告)号：US20060129368A1
公开(公告)日：2006-06-15
申请号：US11011409
申请日：2004-12-14
申请人： Zachary Smith , John Maly , Ryan Thompson
发明人： Zachary Smith , John Maly , Ryan Thompson
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： Systems, methodologies, media, and other embodiments associated with an object-oriented interface to register transfer language (RTL) signals are described. One exemplary system embodiment includes logic for acquiring the address of an RTL signal and for providing method level access to the RTL signal. The exemplary system embodiment may also include an object that facilitates establishing a relationship between the RTL signal address and RTL signal name and thus facilitates providing method level access to the RTL signal.
摘要翻译：描述了与用于注册转移语言（RTL）信号的面向对象接口相关联的系统，方法，媒体和其他实施例。一个示例性系统实施例包括用于获取RTL信号的地址并提供对RTL信号的方法级访问的逻辑。示例性系统实施例还可以包括有助于建立RTL信号地址和RTL信号名称之间的关系并因此有助于提供对RTL信号的方法级访问的对象。

2. 发明申请

US20050216638A1 Virtual bus interface production of header-type fields from data-type fields 失效
标题翻译：虚拟总线接口从数据类型字段生成标题类型字段
公开(公告)号：US20050216638A1
公开(公告)日：2005-09-29
申请号：US10812150
申请日：2004-03-29
申请人： Zachary Smith , John Maly , Ryan Thompson
发明人： Zachary Smith , John Maly , Ryan Thompson
IPC分类号： G06F13/14 , G06F13/38 , G06F13/40 , G06F13/42 , H04H20/76
CPC分类号： G06F13/4265
摘要： Systems, methodologies, media, and other embodiments associated with a system for producing a bus-type header-type field from a point-to-point data-type field are described. One exemplary system embodiment includes a logic configured to identify that a point-to-point transaction includes non-memory-data information encoded in a data flit, a logic configured to extract the non-memory-data information from the data flit, and a logic configured to produce a header-type field for a bus-type transaction produced by the virtual bus interface from the point-to-point transaction.
摘要翻译：描述了与用于从点到点数据类型字段产生总线类型报头型字段的系统相关联的系统，方法，媒体和其他实施例。一个示例性系统实施例包括被配置为识别点对点事务包括在数据转发中编码的非存储器数据信息的逻辑，被配置为从数据迁移中提取非存储器数据信息的逻辑，以及逻辑配置为从点到点事务产生由虚拟总线接口产生的总线类型事务的报头类型字段。

3. 发明申请

US20050188275A1 Systems and methods for error tracking and recovery in an expectation-based memory agent checker 审中-公开
标题翻译：基于期望的内存代理检查器中的错误跟踪和恢复的系统和方法
公开(公告)号：US20050188275A1
公开(公告)日：2005-08-25
申请号：US10770741
申请日：2004-02-03
申请人： John Maly , Ryan Thompson , Zachary Smith
发明人： John Maly , Ryan Thompson , Zachary Smith
IPC分类号： G06F11/00 , G06F11/26
CPC分类号： G06F11/261
摘要： Systems, methods and software products are provided for error tracking and recovery in an expectation-based memory agent checker. An electronic device design is simulated with stimuli of one or more test cases, to generate simulated output transaction events. The simulated output transaction events are compared with expected output transaction events. Remaining expected output transaction events for a transaction are identified based upon mismatch between (a) at least one of the simulated output transaction events of the transaction and (b) the expected output transaction events of the transaction.
摘要翻译：提供系统，方法和软件产品用于基于期望的内存代理检查器中的错误跟踪和恢复。利用一个或多个测试用例的刺激来模拟电子设备设计，以产生模拟的输出交易事件。将模拟输出事务事件与预期的输出事务事件进行比较。基于（a）交易的至少一个模拟输出交易事件和（b）交易的预期输出交易事件之间的不匹配来识别交易的剩余预期输出交易事件。

4. 发明申请

US20050097404A1 Systems and methods for identifying erroneous transactions 失效
标题翻译：识别错误交易的系统和方法
公开(公告)号：US20050097404A1
公开(公告)日：2005-05-05
申请号：US10700289
申请日：2003-11-03
申请人： Zachary Smith , John Maly , Ryan Thompson
发明人： Zachary Smith , John Maly , Ryan Thompson
IPC分类号： G06F11/00 , G06F17/50
CPC分类号： G06F17/5022
摘要： Disclosed are systems and methods for identifying erroneous transactions. In one embodiment, a system and a method pertain to monitoring an interface, determining information related to termination of a test case, and after the test case has terminated, identifying an incomplete transaction that should have completed prior to termination of the test case.
摘要翻译：公开了用于识别错误交易的系统和方法。在一个实施例中，系统和方法涉及监视接口，确定与测试用例的终止有关的信息，并且在测试用例终止之后，识别在测试用例终止之前应该已经完成的不完整的事务。

5. 发明申请

US20050228926A1 Virtual-bus interface and associated system and method 审中-公开
标题翻译：虚拟总线接口及相关系统及方法
公开(公告)号：US20050228926A1
公开(公告)日：2005-10-13
申请号：US10818389
申请日：2004-04-05
申请人： Zachary Smith , John Maly , Ryan Thompson
发明人： Zachary Smith , John Maly , Ryan Thompson
IPC分类号： G06F11/07 , G06F13/376 , G06F13/40 , G06F13/42
CPC分类号： G06F13/4027 , G06F11/0745 , G06F11/0772
摘要： One exemplary system embodiment includes a detection logic that facilitates identifying that a point-to-point transaction is a transaction that is not micro-architecturally implemented and a tracking logic that facilitates tracking the transaction and related packets through the virtual bus interface and that also facilitates producing an error data associated with the non-micro-architecturally implemented transaction.
摘要翻译：一个示例性的系统实施例包括有助于识别点对点事务是不是微架构实现的事务的检测逻辑，以及有助于通过虚拟总线接口跟踪事务和相关分组的跟踪逻辑，并且也有助于产生与非微架构实现的事务相关联的错误数据。

6. 发明申请

US20050076282A1 System and method for testing a circuit design 审中-公开
标题翻译：用于测试电路设计的系统和方法
公开(公告)号：US20050076282A1
公开(公告)日：2005-04-07
申请号：US10676859
申请日：2003-10-01
申请人： Ryan Thompson , John Maly , Zachary Smith
发明人： Ryan Thompson , John Maly , Zachary Smith
IPC分类号： G01R31/317 , G06F11/263 , G06F11/00 , G01R31/28
CPC分类号： G06F11/263 , G01R31/31704 , G01R31/318364 , G01R31/318385
摘要： A system and method for testing a circuit design using a test generator. In one embodiment, a random number generator, responsive to a seed, generates a random number sequence and an event probability generator, responsive to profile settings, generates a probability profile. The test generator, responsive to the random number sequence and the probability profile, generates a test case that includes settings indicative of the seed and the profile settings. An extraction and regeneration engine extracts the seed and the profile settings from the test case in order to reconstitute a test case designed to avoid illegal test behavior.
摘要翻译：一种使用测试发生器测试电路设计的系统和方法。在一个实施例中，响应于种子的随机数生成器生成随机数序列，并且响应于简档设置产生概率分布的事件概率发生器。测试发生器响应于随机数字序列和概率分布，产生包括指示种子和简档设置的设置的测试用例。提取和再生引擎从测试用例中提取种子和配置文件设置，以重构设计用于避免非法测试行为的测试用例。

7. 发明申请

US20050228631A1 Model specific register operations 审中-公开
标题翻译：型号特定寄存器操作
公开(公告)号：US20050228631A1
公开(公告)日：2005-10-13
申请号：US10819746
申请日：2004-04-07
申请人： John Maly , Ryan Thompson , Zachary Smith
发明人： John Maly , Ryan Thompson , Zachary Smith
IPC分类号： G01R31/3183 , G06F9/44 , G06F9/45 , G06F17/50
CPC分类号： G06F17/5022 , G01R31/318364
摘要： Systems, methodologies, media, and other embodiments associated with manipulating model specific registers are described. One exemplary system embodiment includes a model specific register logic that facilitates manipulating a model specific register so that bits that are irrelevant to a processor simulation are not set for the processor simulation. The exemplary system may also include a data store that is configured to store significance vectors that encode information about (ir)relevant model specific register bits and that facilitate the model specific register logic manipulating a model specific register to a desired initial state.
摘要翻译：描述与操纵模型特定寄存器相关联的系统，方法，介质和其他实施例。一个示例性系统实施例包括有助于操纵模型特定寄存器的模型特定寄存器逻辑，使得与处理器模拟无关的位未被设置用于处理器模拟。示例性系统还可以包括数据存储器，其被配置为存储编码关于（ir）相关模型特定寄存器位的信息的有用向量，并且便于模型特定寄存器逻辑将模型特定寄存器操作到期望的初始状态。

8. 发明申请

US20050216637A1 Detecting coherency protocol mode in a virtual bus interface 审中-公开
标题翻译：在虚拟总线接口中检测一致性协议模式
公开(公告)号：US20050216637A1
公开(公告)日：2005-09-29
申请号：US10806729
申请日：2004-03-23
申请人： Zachary Smith , John Maly , Ryan Thompson
发明人： Zachary Smith , John Maly , Ryan Thompson
IPC分类号： G06F12/00 , G06F12/08
CPC分类号： G06F12/0815 , G06F2212/601
摘要： Systems, methodologies, media, and other embodiments associated with detecting a cache coherency protocol mode associated with a system that provided a point-to-point transaction to a virtual bus interface are described. One exemplary system embodiment includes a detection logic that facilitates identifying the cache coherency protocol mode. The exemplary system embodiment may also include a coding logic that facilitates selectively processing packets associated with a point-to-point transaction into a bus model transaction, where the packet processing depends, at least in part, on the cache coherency protocol mode.
摘要翻译：描述了与检测与向虚拟总线接口提供点对点事务的系统相关联的高速缓存一致性协议模式相关联的系统，方法，媒体和其他实施例。一个示例性系统实施例包括有助于识别高速缓存一致性协议模式的检测逻辑。示例性系统实施例还可以包括编码逻辑，其有助于选择性地处理与点到点事务相关联的分组到总线模型事务中，其中分组处理至少部分地依赖于高速缓存一致性协议模式。

9. 发明申请

US20050108501A1 Systems and methods for identifying unending transactions 审中-公开
标题翻译：用于识别无休止交易的系统和方法
公开(公告)号：US20050108501A1
公开(公告)日：2005-05-19
申请号：US10700288
申请日：2003-11-03
申请人： Zachary Smith , John Maly , Ryan Thompson
发明人： Zachary Smith , John Maly , Ryan Thompson
IPC分类号： G06F15/00
CPC分类号： G06F17/5022 , G06F2217/84
摘要： Disclosed are systems and methods for identifying unending transactions. In one embodiment, a system and a method pertain to monitoring an interface, determining whether a transaction has timed out, and flagging the transaction if it is determined that the transaction has timed out. In another method, a system and a method pertain to monitoring an interface, identifying a packet that arrives on the interface, determining whether the packet pertains to a transaction contained in a pending transaction list, and determining when the transaction should be completed if the transaction is not contained in the pending transaction list.
摘要翻译：公开了用于识别无休止交易的系统和方法。在一个实施例中，系统和方法涉及监视接口，确定事务是否已超时，以及如果确定事务已超时则标记事务。在另一种方法中，系统和方法涉及监视接口，识别到达接口的分组，确定分组是否与待处理的交易列表中包含的交易相关，以及如果交易在事务处理之后应该完成交易未包含在待处理的事务列表中。

10. 发明申请

US20050086565A1 System and method for generating a test case 审中-公开
标题翻译：用于生成测试用例的系统和方法
公开(公告)号：US20050086565A1
公开(公告)日：2005-04-21
申请号：US10676236
申请日：2003-10-01
申请人： Ryan Thompson , John Maly , Zachary Smith
发明人： Ryan Thompson , John Maly , Zachary Smith
IPC分类号： G06F11/26 , G06F17/50 , G01R31/28 , G06F11/00
CPC分类号： G06F11/261 , G06F17/5022
摘要： A system and method for generating a test case operable to test a circuit design using a plurality of threads. In one embodiment, a test code and state initialization engine, responsive to a random number sequence and a probability profile, generates test code. A distribution settings engine generates default distribution settings that specify a magnitude of at least one simulation parameter for each thread based on a default probability distribution profile. A knob-setting interface is included for optionally differentiating the default distribution settings. The optionally differentiated distribution settings are then associated with the test code in order to generate the test case that exercises a circuit design model of the circuit design.
摘要翻译：一种用于产生可操作以使用多个线程测试电路设计的测试用例的系统和方法。在一个实施例中，响应于随机数序列和概率分布的测试代码和状态初始化引擎生成测试代码。分发设置引擎生成默认分布设置，其基于默认概率分布概况为每个线程指定至少一个模拟参数的大小。包括一个旋钮设置界面，可选择区分默认分配设置。然后将可选择的差分分布设置与测试代码相关联，以便生成练习电路设计的电路设计模型的测试用例。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式