Tutorials 1-2 see Monday
Tutorial 3 9am-5pm Rm 6F: Formal Assertion-Based Verification in an Industrial Setting,
Alok Jain, Raj S. Mitra, Jason Baumgartner, Pallab Dasgupta Tutorial 4 9am-5pm Rm 6A: Design and Analysis of High-Performance Package and Die Power Delivery Networks,
Byron Krauter, Farid N. Najm, Rajendran Panda, Eli Chiprout Tutorial 5 9am-5pm Rm 6C: Soft Errors: Technology Trends, System Effects and Design Techniques,
Subhasish Mitra, Pia Sanda, Austin Lesea Tutorial 6 9am-5pm Rm 6D: How Design Meets Yield in the Fab,
Ankush Oberai, Pallab Chatterjee, Ban Wong, Robert Madge, Christopher Progler, Brady BenwareTutorial 7 9am-5pm Rm 6E: Circuit and CAD Techniques for Low Power Design,
Krisztian Flautner, Alice Wang, Nam Sung Kim, David Blaauw
