| About | Program and slides | Panel | Affiliated forums | Organizers | Previous websites |
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.
| Time | Topic | Speaker |
|---|---|---|
| 7:45—8:00 | Welcome | DASS Organizers |
| 8:00—10:00 | Simulation Driven Verification | Bob Bentley, Intel Corporation |
| 10:00—10:15 | Break | |
| 10:15—12.15 | Formal Verification | Fabio Somenzi, University of Colorado, Boulder |
| 12:15—13:30 | Lunch | |
| 13:30—15:30 | Variability, DFM, and Yield | Frank Liu, IBM Corporation |
| 15:30—15:45 | Break | |
| 15:45—17:45 | Green Computing | Massoud Pedram, University of Southern California |
| Time | Topic | Speaker |
|---|---|---|
| 8:00—10:00 | Emerging Technologies | Kaustav Banerjee, University of California, Santa Barbara |
| 10:00—10:15 | Break | |
| 10:15—12:15 | Elastic Systems (PPT version) (bibliography) | Mike Kishinevsky, Intel Corp |
| 12:15—13:30 | Lunch | |
| 13:30—15:30 | Definition and Modeling of Efficient Multi-Core Chip Micro-Architectures | Pradip Bose, IBM Corporation |
| 15:30—15:45 | Break | |
| 15:45—17:45 | Optimization Algorithms and Parallel Programming in Physical and Logic Synthesis | Hai Zhou, Northwestern University |
| 17:45—18:30 | Reception | |
Page maintained by Robert Dick.