MONITORING COVERAGE FOR STATIC MODELLING OF AN ELECTRONIC DEVICE

摘要

A design verification system automatically identifies coverage of different constraints for a static model of an electronic device. The static model can be employed by a tool, referred to as a solver, that identifies whether the mathematical relationships of the static model can be reconciled, given a set of user-defined constraints that indicate a desired configuration, or range of configurations, of the electronic device. After a solution for a particular set of user-defined constraints has been identified, a constraints adjustment module can identify, based on coverage information generated by the solver, if other sets of user-defined constraints were implicitly solved by the solver. If such other sets were implicitly solved, the adjustments module can mark the sets as solved, such that they will omitted from constraints used for subsequent solutions of the solver.

主权项

1. A computer-implemented method comprising:
solving a static model to generate a first solution based on a first set of constraints representing a first desired configuration of an electronic device based on an electronic device design; generating first coverage data indicating a first configuration of the static model that resulted in the first solution; identifying a second set of constraints as complete based on the first coverage data, the second set of constraints representing a second desired configuration of the electronic device; omitting the second set of constraints from application to the static model in response to identifying the second set of constraints as complete; modifying the electronic device design based on a plurality of solutions of the static model, the plurality of solutions including the first solution; and, storing the modified electronic device design at a computer system.