We present new techniques for explicit constraint satisfac-tion in the incremental placement process. Our algorithm employs a Lagrangian Relaxation (LR) type approach in the analytical global placement stage to solve the constrained optimization problem. We establish theoretical results that prove the optimality of this stage. In the detailed place-ment stage, we develop a constraint-monitoring and satisfac-tion mechanism in a network (n/w) ow based detailed place-ment framework proposed recently, and empirically show its near-optimality. We establish the effectiveness of our general constraint-satisfaction methods by applying them to the prob-lem of timing-driven optimization under power constraints. We overlay our algorithms on a recently...
In this thesis we study constraint relaxations of various nonlinear programming (NLP) al-gorithms in...
Abstract. Whereas CP methods are strong with respect to the detection of local infeasibilities, OR a...
Whereas CP methods are strong with respect to the detection of local infeasibilities, OR approaches...
We present new techniques for explicit constraint satisfaction in the incremental placement process....
This thesis presents a comprehensive approach to the VLSI CAD placement problem and proposes several...
Retiming, including pipelining, is applied to make the processing units (PUs) run at a required thro...
Abstract—Recent asynchronous VLSI circuit placement ap-proach tries to leverage synchronous placemen...
Circuit placement has a large impact on all aspects of performance; speed, power consumption, reliab...
textThe nature of multiple objectives and incremental design process for modern VLSI design closure...
Convexification is a fundamental technique in (mixedinteger) nonlinear optimization and many convex ...
Time-related optimization problems are very hard to solve. Scheduling covers a subcategory of such p...
This paper studies how to generalize Lagrangian relaxation to high-level optimization models, includ...
[[abstract]]We propose a performance-driven cell placement method based on a modified force-directed...
Abstract—This paper presents two contributions. The first is an incremental placement algorithm for ...
Many science and engineering applications require finding solutions to planning and optimization pro...
In this thesis we study constraint relaxations of various nonlinear programming (NLP) al-gorithms in...
Abstract. Whereas CP methods are strong with respect to the detection of local infeasibilities, OR a...
Whereas CP methods are strong with respect to the detection of local infeasibilities, OR approaches...
We present new techniques for explicit constraint satisfaction in the incremental placement process....
This thesis presents a comprehensive approach to the VLSI CAD placement problem and proposes several...
Retiming, including pipelining, is applied to make the processing units (PUs) run at a required thro...
Abstract—Recent asynchronous VLSI circuit placement ap-proach tries to leverage synchronous placemen...
Circuit placement has a large impact on all aspects of performance; speed, power consumption, reliab...
textThe nature of multiple objectives and incremental design process for modern VLSI design closure...
Convexification is a fundamental technique in (mixedinteger) nonlinear optimization and many convex ...
Time-related optimization problems are very hard to solve. Scheduling covers a subcategory of such p...
This paper studies how to generalize Lagrangian relaxation to high-level optimization models, includ...
[[abstract]]We propose a performance-driven cell placement method based on a modified force-directed...
Abstract—This paper presents two contributions. The first is an incremental placement algorithm for ...
Many science and engineering applications require finding solutions to planning and optimization pro...
In this thesis we study constraint relaxations of various nonlinear programming (NLP) al-gorithms in...
Abstract. Whereas CP methods are strong with respect to the detection of local infeasibilities, OR a...
Whereas CP methods are strong with respect to the detection of local infeasibilities, OR approaches...