会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • 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 INCJONES KEVIN DMOSSAWIR KATHRYN MSHEFFLER THOMAS JPRABHU VANDANA
    • JONES KEVIN DMOSSAWIR KATHRYN MSHEFFLER THOMAS JPRABHU VANDANA
    • G06F17/50
    • 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.
    • 根据电子设计的各个组成部分的要求,确定和/或重新验证电子设计的正确性,以及个别组件确保其满足的条件。 至少有一个组件具有与之相关联的“需求集合”,该组件指定组件的要求。 至少有一个组件具有与之相关联的“确保集合”,它指定组件确保其将满足的一个或多个条件。 电子设计的正确性可以根据需求集合和确保集合以及描述组件之间的依赖关系的信息进行验证或重新验证。 例如,电子设计通过确定电子设计的其余部分是否满足重新设计的组件的新要求以及重新设计的组件的新条件是否满足电子设计的其余部分的要求来重新验证。