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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Mathematics in computer science Ročník 5; číslo 3; s. 315 - 334
Hlavní autoři: Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu
Médium: Journal Article
Jazyk:angličtina
Vydáno: Basel SP Birkhäuser Verlag Basel 01.09.2011
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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