Tuesday, June 6, 2000 7:00-9:00 p.m.
		Room 502A after the DAC cocktail party Los Angeles Convention Center

Sponsored & Supported By SIGDA DAC Archive of Past Forums '99 '98 Contacts Organizers official email Pai Chou (UCI) Ibrahim Elfadel (IBM) SIGDA Soha Hassoun (Tufts University)

Participants and Topics Ph.D. Forum at DAC, 1998 Thanks for the help of several reviewers who provided the students' with detailed feedback. The students had very positive remarks about pariticpating in the forum's poster session. The forum was organized by Soha Hassoun, Tufts University, and Olivier Coudert, Synopsys. Julio Faura , E.T.S.I. Telecomunicacion, Universidad Politecnica de Madrid, Spain Title:  Design and Implementation of Microprocessor-Based Mixed-Signal Dynamically Reconfigurable Architectures Advisor: Carlos Lopez Barrio Visit:   http://www.sidsa.es/fipsoc.htm       Debabrata Ghosh, North Carolina State University Title:  Synthesis of Equivalence Class Circuit Mutants and Applications to Benchmarking Advisor :  Franc Brglez Visit:  http://www.cbl.ncsu.edu/~ghosh   Silvina Hanono, Massachusetts Institute of Technology  Title:  Retargetable Code Generation for Embedded Systems. Advisor:  Srinivas Devadas Visit:  http://glenfiddich.lcs.mit.edu/~silvina/   Frank Hsu, University of Illinois at Urbana-Champaign Title:  High-Level Testability Analysis and Enhancement for Digital Systems Advisor: Janak H. Patel     Hemang Lavana, North Carolina State University T Title:   Internet-based Workflows: A Paradigm for Dynamically Reconfigurable Desktop Environments Advisor:  Franc Brglez Visit:  http://www.cbl.ncsu.edu/~lavana   Tai-Hung Liu, The University of Texas at Austin Title: Synthesis for Pass-Transistor Logic Advisor:  Adnan Aziz   Fahim Rahim-Sarwary,  Univeristy of Paris VI Title: Compositional Model Checking, Application to VHDL with Computational Results Advisor:    Michel Minoux   Kavita Ravi, University of Colorado Title:  Efficient Techniques to Improve State Space Search in Formal Verification Advisor:  Fabio Somenzi   Shantanu Tarafdar, Cornell University Title: Midas:  Using Data-Transfers and Floorplanning in High-Level Synthesis Advisor: Miriam Leeser, Northeastern University   Heinkel Ulrich , University of Erlangen Title:   Timing and Behavior Specification and Validation Environment  Advisor: W. H. Glauert Visit:  http://www.vhdl-online.de/~heinkel