Session 1A
Floorplanning
Session 1B
Logic and High Level Synthesis
Session 1C
Test Power and Temperature Control
Session 1D
Simulation and Optimization of Analog Systems
Session 1E
Green Data Centers
Session 2A
Physical Synthesis and Optimization
Session 2B
Decision Procedures in Verification
Session 2C
Power Estimation and Optimization
Session 2D
Recent Progress in SSTA
Tutorial 1
Reliable System Design: Models, Metrics and Design Techniques
Session 3A
Placement
Session 3B
Sequential Synthesis
Session 3C
System-level Thermal and Power Management
Session 3D
Modeling and Simulation of Process Variability
