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

1. 发明申请

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.
摘要翻译：根据电子设计的各个组成部分的要求，确定和/或重新验证电子设计的正确性，以及个别组件确保其满足的条件。至少有一个组件具有与之相关联的“需求集合”，该组件指定组件的要求。至少有一个组件具有与之相关联的“确保集合”，它指定组件确保其将满足的一个或多个条件。电子设计的正确性可以根据需求集合和确保集合以及描述组件之间的依赖关系的信息进行验证或重新验证。例如，电子设计通过确定电子设计的其余部分是否满足重新设计的组件的新要求以及重新设计的组件的新条件是否满足电子设计的其余部分的要求来重新验证。

IPRDB

热门服务

关于我们

友情链接

联系方式