A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design

Some important classes of optimization problems originating from the optimal design of semiconductor memories such as SRAM, aiming at boosting the yield rate, are studied. New optimization methods for the classes based on a symbolic algorithm called quantifier elimination, combined with numerical co...

Full description

Saved in:

Bibliographic Details
Published in:	Mathematics in computer science Vol. 5; no. 3; pp. 315 - 334
Main Authors:	Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu
Format:	Journal Article
Language:	English
Published:	Basel SP Birkhäuser Verlag Basel 01.09.2011
Subjects:	Computer Science Mathematics Mathematics and Statistics Quantifier elimination Parametric optimization Model completeness and related topics 03C10 Quantifier elimination Symbolic-numeric computation Multi-objective optimization SRAM
ISSN:	1661-8270, 1661-8289
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Some important classes of optimization problems originating from the optimal design of semiconductor memories such as SRAM, aiming at boosting the yield rate, are studied. New optimization methods for the classes based on a symbolic algorithm called quantifier elimination, combined with numerical computation, are proposed. The total efficiency of the design process is improved by reducing the number of numerical yield-rate evaluations. In addition, useful information such as the explicit relations among design variables, objective functions, and the yield rate, is provided.
ISSN:	1661-8270 1661-8289
DOI:	10.1007/s11786-011-0097-y