NSF–SRC–SIGDA–DAC Design Automation Summer School
July 25–26, 2009, Moscone Center, San Francisco, CA

About Program and slides Panel Affiliated forums Organizers Previous websites

Design Automation Summer School Program

DASS will be held in room 303/304 of Moscone Center. Please click the topic links in the following schedule table to see the slides.


25 July 2009
TimeTopicSpeaker
7:45—8:00WelcomeDASS Organizers
8:00—10:00Simulation Driven VerificationBob Bentley, Intel Corporation
10:00—10:15Break
10:15—12.15Formal VerificationFabio Somenzi, University of Colorado, Boulder
12:15—13:30Lunch
13:30—15:30Variability, DFM, and YieldFrank Liu, IBM Corporation
15:30—15:45Break
15:45—17:45Green ComputingMassoud Pedram, University of Southern California

26 July 2009
TimeTopicSpeaker
8:00—10:00Emerging TechnologiesKaustav Banerjee, University of California, Santa Barbara
10:00—10:15Break
10:15—12:15Elastic Systems (PPT version) (bibliography)Mike Kishinevsky, Intel Corp
12:15—13:30Lunch
13:30—15:30Definition and Modeling of Efficient Multi-Core Chip Micro-ArchitecturesPradip Bose, IBM Corporation
15:30—15:45Break
15:45—17:45Optimization Algorithms and Parallel Programming in Physical and Logic SynthesisHai Zhou, Northwestern University
17:45—18:30Reception

Page maintained by Robert Dick.