Patent ID: 8533653

Claim:
A design support apparatus that provides a relation between design variables including a design parameter or a design condition, comprising: a logical expression input unit configured to input a logical expression expressing a design specification and including a function expression of the design variables and a quantifier attached to the design variable; a quantifier elimination unit configured to generate a relational expression including the design variables without the quantifier by eliminating the design variable to which the quantifier is attached from the logical expression; a sampling point generation unit configured to generate a plurality of sampling points corresponding to the design variables included in the relational expression; a possible range computation unit configured to compute, for each of the sampling points, a possible range that the relational expression takes, by calculating values of remaining design variables included in the relational expression based on the relational expression; a maximum value set extraction unit configured to extract a set of maximum values from the possible range as a maximum value set; and a maximum value polynomial group computing unit configured to input, as a projection factor polynomial set, polynomials of a projection factor computed in a process in which the quantifier elimination unit eliminate the design variable to which the quantifier is attached, and to output a polynomial group that most appropriately represents the maximum value set as a maximum value polynomial group, by matching the maximum value set with each polynomial in the projection factor polynomial set.