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.