Sponsored & Supported By SIGDA DAC SIGDA Contact Soha Hassoun Sister forums SIGDA Design Automation Summer School Organizers official email Pai Chou (UCI) Soha Hassoun (Tufts) Robert Jones (Intel) Diana Marculescu (CMU) Darko Kirovski (MSR) Chris Chu (ISU) Yehia Massoud (Synopsys) Archive of Past Forums '01 '00 '99 '98

Testing Petros Oikonomakos - University of Southampton, United Kingdom title: "Implementing On-Line Testable Designs in Behavioural Synthesis" advisor: Dr Mark Zwolinski poster: [ps] Erika Cota - Instituto de Informatica, Universidade Federal do Rio Grande do Sul, Porto Alegre - Brazil title: "Test Planning and Design Space Exploration in Core-based Systems" advisor: Marcelo Lubaszewski Chen Wang - Electrical and Computer Engineering Department, University of Iowa title: "Advanced ATPG Techniques for Ultra--Large Industry Designs" poster: [ppt] advisor: Sudhakar M. Reddy Vikram Iyengar - Department of Electrical & Computer Engineering, Duke University title: "Plug-and-Play Test Automation for System-on-a-Chip" advisor: Krishnendu Chakrabarty Xiaoming Yu - University of Illinois, Urbana-Champaign title: "Low-Cost ATPG and Logic BIST Techniques for Sequential Circuits" advisor: Elizabeth M. Rudnick Verification Kanna Shimizu - Computer Systems Laboratory, Stanford University title: "A Methodology for Writing and Exploiting Formal Specifications" advisor: David L. Dill Annette Bunker - School of Computing, University of Utah title: "Formal Compliance Verication for System-on-Chip Protocols" advisor: Ganesh Gopalakrishnan Maher Mneimneh - University of Michigan title: "Scalable Hybrid Verification of Complex Microprocessors" advisor: Karem Sakallah Zhihong Zeng - Department of Electrical and Computer Engineering, University of Massachusetts Amherst title: "Functional Test Generation Based on Word-level Satisfiability" advisor: Maciej Ciesielski Reconfigurable computing and FPGA Edson Horta - Escola Politecnica da Universidade de Sao Paulo, Sao Paulo, Brazil title: "RECATS (REConfigurable ATM Switch)" advisor: Sergio Takeo Kofuji Physical design Milos Hrkic - CS Department, University of Illinois at Chicago title: "Incremental, Interconnect-driven Floorplanning" poster: [ppt] advisor: John Lillis Xin Yuan - University of California, Los Angeles title: "Interconnect Planning and Optimizatio for Physical Hierarchy Generation" advisor: Jason Cong Seung Hoon Choi - School of Electrical and Computer Engineering, Purdue University title: "The study of crosstalk noise in deep submicron circuits" advisor: Kaushik Roy Stefanus Mantik - Computer Science Deptartment, University of California Los Angeles title: "Continuous Design Process Improvement via Automatic Data Recording" advisor: Andrew B. Kahng Aneesh Koorapaty - Electrical and Computer Engineering, Carnegie Mellon University title: "Modular, Fabric-Specific Synthesis for Partially Programmable Fabrics" advisor: Lawrence Pileggi High level synthesis Armita Peymandoust - Computer Systems Laboratory, Stanford University title: "Using Symbolic Computer Algebra in High-level Synthesis and Embedded Software Optimization" advisor: Giovanni De Micheli Seda Memik - Department of Computer Science, University of California, Los Angeles title: "A Super-Scheduler for Embedded Reconfigurable Systems" advisor: Majid Sarrafzadeh Power estimation and low power design Claudia Kretzschmar - Department of Systems and Circuit Design, Chemnitz University of Technology, Germany title: "Adaptive Bus Encoding Techniques for low-power Data Transmission on Deep Sub-micron SoC" advisor: Prof. Dr.-Ing. D. Mueller Vishnu Swaminathan - Department of Electrical & Computer Engineering, Duke University title: "Dynamic Power Management for Hard Real-time Systems" advisor: Krishnendu Chakrabarty Johann Laurent - University of South Brittany, France title: "Algorithmic Power Consumption Estimation: an Efficient Guide for the Co-Design" advisor: Pr Eric Martin Victor de la Luz - Microsystems Design Lab., Pennsylvania State University title: "Hardware and Software-Based Techniques for DRAM Energy Management" advisor: Prof. Mahmut Kandemir Wei Zhang - Microsystems Design Lab., Pennsylvania State University title: "Exploiting VLIW Schedule Slacks for Dynamic Leakage Energy Reduction" poster: [ppt] advisor: Prof. Mahmut Kandemir Mohab Anis - ECE Department, University of Waterloo, Ontario, Canada title: "Low-Power Digital Techniques for Deep-Submicron Technologies" advisor: Mohamed Elmasry Wei Chung Cheng - University of Southern California title: "Power-optimal Encoding for a DRAM Address Bus" advisor: Massoud Pedram Vittorio Zaccaria - Politecnico di Milano, Dip. di Elettronica e Informazione, Italy title: "Power exploration methodologies for VLIW-based systems" advisor: Mariagiovanna Sami Yun Cao - Department of Computer Science and Communication Engineering, Kyushu University title: "Bitwidth Optimizations for Low-Power design" advisor: Hiroto Yasuura Sudhanva Gurumurthi - Dept. of Computer Science and Engineering, Pennsylvania State University title: "Energy Efficient Software Design: The Resource-Constrained and Resource-Rich Perspectives" poster: [ppt] advisor: Dr. Anand Sivasubramaniam Asynchronous design Catherine Wong - Department of Computer Science, California Institute of Technology title: "Data-Driven Process Decomposition for Circuit Synthesis" poster: [tif.gz] advisor: Dr Alain Martin Paul Penzes - Computer Science Department, California Institute of Technology title: "Energy-delay complexity of asynchronous circuits" advisor: Alain Martin CAD algorithms Jennifer Wong - University of California, Los Angeles title: "Probabilistic Constructive Optimization Techniques" advisor: Miodrag Potkonjak System level design Samy Meftali - TIMA laboratory, Grenoble cedex, France title: "Shared Memory Architecture Design for Application-Specific Multiprocessor Systems-on-Chip" advisor: Ahmed JERRAYA Kai Richter - Institute of Computer and Communication Network Engineering, Technical University of Braunschweig, Germany title: "Heterogeneous Platform Analysis" advisor: Rolf Ernst Yuan Xie - Electrical Engineering Department, Princeton University title: "Code Compression and Decompression Architecture for VLIW" advisor: Wayne Wolf Yuhong Xiong - Department of Electrical Engineering and Computer Sciences, University of California, Berkeley title: "An Extensible Type System for Component-Based Design" poster: [ppt] advisor: Edward A. Lee Peng Yang - IMEC, Belgium title: "Cost-Performance Tradeoff Aware Scheduling Method for Multiprocessor Embedded System" advisor: Francky Catthoor Ferid Gharsalli - Laboratoire TIMA, Grenoble cedex , France title: "Embedded Memory Wrapper Generation for Multiprocessor SoC" advisor: Frederic Rousseau Paul Pop - Dept. of Computer and Information Science, Linköping University, Sweden title: "Scheduling, Mapping and Communication Synthesis for Distributed Real-Time Systems" poster: [pdf] advisor: Petru Eles Majd Sakr - Electrical Engineering, University of Pittsburgh title: "Optimize, Target, Fetch and Execute: General Purpose Execution of Multimedia Applications" advisor: Dr. Steven P. Levitan Analog design Kenneth Francken - Katholieke Universiteit Leuven, Dept. of Electrical Engineering, ESAT-MICAS, Belgium title: "Dedicated Simulation and Synthesis of dS Modulators" poster: [pdf] advisor: Georges Gielen Wim Verhaegen - Katholieke Universiteit Leuven, Dept. of Electrical Engineering, ESAT-MICAS, Belgium title: "Symbolic analysis of linear and weakly nonlinear analog integrated circuits" advisor: Georges Gielen