Large-Scale Optimization in VLSI CAD

Igor Markov

Abstract

This talk will introduce the field to graduate students, with emphasis on such issues as (i) approximate modeling and optimization when accurate approaches are impractical, (ii) solving real-world instances of NP-hard problems in near-linear time with near-linear memory consumption, (iii) competitiveness and "actual utility" of algorithmic results, (iv) reuse of intellectual property in R&D.

Illustrations will be from the Design and Verification of Integrated Circuits. Recent trends and research opportunities will be discussed.