PRIORITIZED SOFT CONSTRAINT SOLVING

摘要

A design problem can include a mixture of hard constraints and soft constraints. The soft constraints can be prioritized and the design problem solved. One or more soft constraints may not be honored in the midst of the solving of the design problem. Debugging can be performed and the unsatisfied soft constraints identified. Root-cause analysis can evaluate the challenges within the design problem which caused soft constraints not to be honored.

主权项

1. A computer program product embodied in a non-transitory computer readable medium for design implementation comprising:
code for obtaining a set of constraints for a design problem; code for recognizing a plurality of soft constraints within the set of constraints; code for prioritizing one or more of the plurality of soft constraints; code for solving the design problem; and code for determining at least one soft constraint which is not honored by the solving.