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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematics in computer science Jg. 5; H. 3; S. 315 - 334
Hauptverfasser: Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Basel SP Birkhäuser Verlag Basel 01.09.2011
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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