Mon., 30.03.


8:45 ~ 9:30 Opening

9:30 ~ 9:45 Photo taking

 

Mon., 30.03. 

Tue., 31.03. 

Wed., 01.04. 

9:00 - 9:45 

Spanning Trees and Steiner Trees 

(Chen)

Maximum Flows 

(Chen)

9:45 - 10:30 

Introduction to  

“Mathematics of Chip Design” 

(Korte)

Steiner Trees in Routing 

(Vygen)

Minimum Cost Flows 

(Chen)

- Tea break - 

11:00 - 11:45 

Shortest Path 

(Chen)

Minimum-Mean-Cycle and Cycle Time Optimization 

(Korte)

Detailed Routing 

(Vygen)

11:45 - 12:30 

Design Flow and BonnTools 

(Held)

Bonn Clock 

(Massberg)

Multisection 

(Brenner)

-Lunch break - 

14:15 - 14:45 

Data Models of Chip Design 

(Muuss)

Design Rules and Objectives 

(Peyer)

Quadratic Programming 

(Struzyna)

14:45 - 15:15 

Optimal Beamforming Design

(Yafeng Liu) 

Approximation Algorithms for Constructing Minimum Manhattan Network

(He Sun)  

A Monotone Projected Gradient Algorithm for Singly Linearly Constrained Quadratic Programs Subject to Lower and Upper Bounds

(YunShan Fu)  

-Tea break - 

15:45 - 16:45 

computer exercises: data models 

computer exercises: timing analysis 

computer exercises: placement 

Thu., 02.04. 

Fri., 03.04. 

Sat., 04.04. 

9:00 - 9:45 

Skewed Clock Trees 

(Korte)

Data Structures,  

Search Trees and Heaps 

(Zhang)

Resource Sharing 

(Vygen)

9:45 - 10:30 

Multicommodity Flows 

(Chen)

Repeater Trees 

(Rautenbach)

NP-Completeness and  

Approximation Algorithms 

(Zhang)

- Tea break - 

11:00 - 11:45 

Linear Programming 

(Nieberg)

Global Routing 

(Vygen)

Gate Sizing 

(Rautenbach)

11:45 - 12:30

Time-Cost Tradeoff Problem 

(Held)

Capacity Estimation in Global Routing 

(Mueller)

Variation-Aware Clock Trees 

(Massberg)

- Lunch break - 

14:15 - 14:45 

Geometric Data Structures  

and Algorithms 

(Gester)

Design for Manufacturability 

(Schulte)

Buffering Algorithms 

(Bartoschek)

14:45 - 15:15 

Some Geometric Problems in GIS

(Jun Luo)

Vehicle Routing Problems and Vehicle Scheduling Problems on a Line--Complexity and Approximation 

(Wei Yu)

Wire Segmenting for Buffer Insertion Based on RSTP-MSP 

(Weidong Ma)

- Tea break - 

15:45 - 16:45 

computer exercises: clocktree synthesis 

computer exercises: global routing 

computer exercises: timing optimization 

Mon., 06.04. 

Tue., 07.04. 

Wed., 08.04. 

9:00 - 9:45 

Floor Planning 

(Hougardy)

Facility Location 

(Zhang)

Clustering 

(Hougardy)

9:45 - 10:30 

Dynamic Programming, Knapsack  

and Bin Packing 

(Zhang)

Timing Closure 

(Rautenbach)

Convex Programming  

and Lagrangian Relaxation 

(Zhang)

-Tea break - 

11:00 - 11:45 

Logic Optimization 

(Rautenbach)

Global Placement 

(Hougardy)

Detailed Placement 

(Hougardy)

11:45 - 12:30

Pin-Access in Routing 

(Nieberg)

Routing Data Structures 

(Mueller)

Congestion- and Timing-Driven Placement 

(Brenner)

- Lunch break - 

14:15 - 14:45

Macro Placement 

(Schneider)

Parallel Gridless Routing 

(Panten)

Shortest Paths in Detailed Routing 

(Humpola)

14:45 - 15:15 

Caching on Directed Acyclic Graph 

(Haifeng Xu)

An Approximation Algorithm for the k-Level Capacitated Facility Location Problem  

(Xing Wang

Lower Bound Methods for 0-1 Linear  Constrained Quadratic Programming 

(Cheng Lu)

- Tea break - 

15:45 - 16:45 

computer exercises: macro placement 

computer exercises: detailed routing 

computer exercises: final optimization