摘要 |
PROBLEM TO BE SOLVED: To reduce the computational complexity of QE (Quantifier Elimination)/CAD (Cylindrical Algebraic Decomposition) related to a multi-objective optimization design supporting technique to be used for design. SOLUTION: When an input logical expression generated by a logical-expression-with-qualifier generation unit 102 is satisfied in regard to the sample point included in a certain piece of cell information for each value of the same design parameter, a first cell processing unit 104 does not evaluate the input logical expression on the cell information including other sample points having a value equal to or smaller than the value of a predetermined design variable (for example, a design variable indicating a yield) corresponding to the sample point above as the value of the predetermined design variable, but selects it as the cell information for an output of a logical expression without a qualifier. COPYRIGHT: (C)2011,JPO&INPIT |