首页>
外国专利>
VERIFYING CORRECTNESS OF AN ELECTRONIC DESIGN BASED ON REQUIREMENTS AND CONDITIONS OF COMPONENTS OF THE ELECTRONIC DESIGN
VERIFYING CORRECTNESS OF AN ELECTRONIC DESIGN BASED ON REQUIREMENTS AND CONDITIONS OF COMPONENTS OF THE ELECTRONIC DESIGN
展开▼
机译:基于电子设计组件的要求和条件的电子设计验证准确性
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼