Published online by Cambridge University Press: 27 February 2009
Current design practices mandate that engineering designs be evaluated based on multiple attributes, e.g., cost, power, and area. For multiattribute design problems, generation and evaluation of the Pareto optimal set guarantees the optimal design will be found, but is not practical for a large class of problems. Iterative techniques can be applied to most problems, but sacrifice optimality. In this paper, we introduce a new technique that extends the set of design problems that can be solved optimally. By first constructing an imprecise value function, the number of nondominated alternatives that must be generated is reduced. We describe an implementation based on combinatorial optimization and constraint satisfaction which achieves additional performance gains by decomposing the value function to identify dominated design-variable assignments. Test results indicate that our approach extends the set of problems that can be solved optimally.