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

1. 发明申请

WO2010096263A2 ATOMIC-OPERATION COALESCING TECHNIQUE IN MULTI-CHIP SYSTEMS 审中-公开
标题翻译：多芯片系统中的原子操作凝聚技术
公开(公告)号：WO2010096263A2
公开(公告)日：2010-08-26
申请号：PCT/US2010/022886
申请日：2010-02-02
申请人： RAMBUS INC. , LIN, Qi , PENG, Liang , HAMPEL, Craig E. , SHEFFLER, Thomas J. , WOO, Steven C. , RYCHLIK, Bohuslav
发明人： LIN, Qi , PENG, Liang , HAMPEL, Craig E. , SHEFFLER, Thomas J. , WOO, Steven C. , RYCHLIK, Bohuslav
IPC分类号： G06F15/16 , G06F15/173 , G06F12/08 , G06F15/167
CPC分类号： G06F12/00 , G06F9/3004 , G06F9/3834 , G06F12/0815
摘要： A cache-coherence protocol distributes atomic operations among multiple processors (or processor cores) that share a memory space. When an atomic operation that includes an instruction to modify data stored in the shared memory space is directed to a first processor that does not have control over the address(es) associated with the data, the first processor sends a request, including the instruction to modify the data, to a second processor. Then, the second processor, which already has control of the address(es), modifies the data. Moreover, the first processor can immediately proceed to another instruction rather than waiting for the address(es) to become available.
摘要翻译：高速缓存一致性协议在共享存储空间的多个处理器（或处理器内核）之间分配原子操作。当包括修改存储在共享存储空间中的数据的指令的原子操作被引导到不具有对与数据相关联的地址的控制的第一处理器时，第一处理器发送请求，该请求包括指令修改数据到第二个处理器。然后，已经控制地址的第二处理器修改数据。此外，第一个处理器可以立即继续执行另一条指令，而不是等待地址变为可用。

2. 发明申请

WO2008057840A2 VERIFYING CORRECTNESS OF AN ELECTRONIC DESIGN BASED ON REQUIREMENTS AND CONDITIONS OF COMPONENTS OF THE ELECTRONIC DESIGN 审中-公开
标题翻译：基于电子设计组件的要求和条件验证电子设计的正确性
公开(公告)号：WO2008057840A2
公开(公告)日：2008-05-15
申请号：PCT/US2007/082891
申请日：2007-10-29
申请人： RAMBUS INC. , JONES, Kevin D. , MOSSAWIR, Kathryn M. , SHEFFLER, Thomas J. , PRABHU, Vandana
发明人： JONES, Kevin D. , MOSSAWIR, Kathryn M. , SHEFFLER, Thomas J. , PRABHU, Vandana
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： Verifying and/or re-verifying the correctness of an electronic design based on requirements of individual components of the electronic design and conditions that individual components assure they will satisfy. At least one of the components has a "requires set" associated with it that specifies requirements of the component. At least one of the components has an "ensures set" associated with it that specifies one or more conditions that the component ensures that it will satisfy. The correctness of the electronic design can be verified or re-verified based on the requires sets and ensures sets, along with information that describes dependencies between the components. For example, the electronic design is re-verified by determining if new requirements of a re-designed component are met by the rest of the electronic design and if new conditions of the re-designed component satisfy requirements of the rest of the electronic design.
摘要翻译：基于电子设计的各个组件的要求和单个组件确保它们将满足的条件，验证和/或重新验证电子设计的正确性。至少一个组件具有“需要设置” 与它关联，指定组件的要求。至少一个组件具有“确保设置” 与其相关联，指定组件确保其满足的一个或多个条件。电子设计的正确性可以根据需求集进行验证或重新验证，并确保集合以及描述组件之间依赖关系的信息。例如，通过确定电子设计的其余部分是否满足重新设计的部件的新要求以及重新设计的部件的新条件是否满足电子设计的其余部分的要求，重新验证电子设计。

3. 发明申请

WO2008057840A3 VERIFYING CORRECTNESS OF AN ELECTRONIC DESIGN BASED ON REQUIREMENTS AND CONDITIONS OF COMPONENTS OF THE ELECTRONIC DESIGN 审中-公开
标题翻译：基于电子设计要件和条件的电子设计的验证正确性
公开(公告)号：WO2008057840A3
公开(公告)日：2008-10-16
申请号：PCT/US2007082891
申请日：2007-10-29
申请人： RAMBUS INC , JONES KEVIN D , MOSSAWIR KATHRYN M , SHEFFLER THOMAS J , PRABHU VANDANA
发明人： JONES KEVIN D , MOSSAWIR KATHRYN M , SHEFFLER THOMAS J , PRABHU VANDANA
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： Verifying and/or re-verifying the correctness of an electronic design based on requirements of individual components of the electronic design and conditions that individual components assure they will satisfy. At least one of the components has a "requires set" associated with it that specifies requirements of the component. At least one of the components has an "ensures set" associated with it that specifies one or more conditions that the component ensures that it will satisfy. The correctness of the electronic design can be verified or re-verified based on the requires sets and ensures sets, along with information that describes dependencies between the components. For example, the electronic design is re-verified by determining if new requirements of a re-designed component are met by the rest of the electronic design and if new conditions of the re-designed component satisfy requirements of the rest of the electronic design.
摘要翻译：根据电子设计的各个组成部分的要求，确定和/或重新验证电子设计的正确性，以及个别组件确保其满足的条件。至少有一个组件具有与之相关联的“需求集合”，该组件指定组件的要求。至少有一个组件具有与之相关联的“确保集合”，它指定组件确保其将满足的一个或多个条件。电子设计的正确性可以根据需求集合和确保集合以及描述组件之间的依赖关系的信息进行验证或重新验证。例如，电子设计通过确定电子设计的其余部分是否满足重新设计的组件的新要求以及重新设计的组件的新条件是否满足电子设计的其余部分的要求来重新验证。

4. 发明申请

WO2010096263A3 ATOMIC-OPERATION COALESCING TECHNIQUE IN MULTI-CHIP SYSTEMS 审中-公开
标题翻译：多芯片系统中的原理操作技术
公开(公告)号：WO2010096263A3
公开(公告)日：2010-11-11
申请号：PCT/US2010022886
申请日：2010-02-02
申请人： RAMBUS INC , LIN QI , PENG LIANG , HAMPEL CRAIG E , SHEFFLER THOMAS J , WOO STEVEN C , RYCHLIK BOHUSLAV
发明人： LIN QI , PENG LIANG , HAMPEL CRAIG E , SHEFFLER THOMAS J , WOO STEVEN C , RYCHLIK BOHUSLAV
IPC分类号： G06F15/16 , G06F12/08 , G06F15/167 , G06F15/173
CPC分类号： G06F12/00 , G06F9/3004 , G06F9/3834 , G06F12/0815
摘要： A cache-coherence protocol distributes atomic operations among multiple processors (or processor cores) that share a memory space. When an atomic operation that includes an instruction to modify data stored in the shared memory space is directed to a first processor that does not have control over the address(es) associated with the data, the first processor sends a request, including the instruction to modify the data, to a second processor. Then, the second processor, which already has control of the address(es), modifies the data. Moreover, the first processor can immediately proceed to another instruction rather than waiting for the address(es) to become available.
摘要翻译：缓存相干协议在共享内存空间的多个处理器（或处理器核心）之间分配原子操作。当包括修改存储在共享存储器空间中的数据的指令的原子操作被引导到不具有与数据相关联的地址的控制的第一处理器时，第一处理器发送包括指令的请求修改数据到第二个处理器。然后，已经具有对地址的控制的第二处理器修改数据。此外，第一处理器可以立即进行另一个指令，而不是等待地址变得可用。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式