Fall 2000 CAD Seminar Schedule

  • Click on the speaker's name for a brief biography and contact information
  • Click on the title for a abstract of the talk. If we have electronic copies of transparencies or relevant papers, they can be found here, along with the abstract.
  • Please send comments and suggestions to the CAD seminar organizers.

    Month Date Day Time Venue Speaker Title
    August 30 Wed 5:00 pm Hogan Room Orna Kupferman An Automata-Theoretic Approach to Reasoning about Infinite-State Systems**
    September 6 Wed 5:00 pm Hogan Room - Cancelled
    13 Wed 5:00 pm Hogan Room - Cancelled
    20 Wed 5:00 pm Hogan Room Natarajan Shankar SAL: Symbolic Analysis Laboratory
    27 Wed 5:00 pm Hogan Room - Cancelled
    October 4 Wed 5:00 pm Hogan Room Andreas Kuehlmann Efficient Application of SAT and BDDs for Equivalence Checking
    11 Wed 5:00 pm Hogan Room Wayne Wolf VLIW Architectures for Multimedia*
    18 Wed 5:00 pm Hogan Room Pei-Hsin Ho Smart Simulation Using Collaborative Formal and Simulation Engines
    25 Wed 5:00 pm Hogan Room Wolfgang Pree Object-oriented FrameWorks For On-board Satellite Software*
    26 Thu 5:00 pm Hogan Room Grant Martin Improved Techniques for Estimating the Execution Time of Embedded Software*
    November 1 Wed 5:00 pm Hogan Room Igor Markov Large-Scale Optimization in VLSI CAD*
    8 Wed 5:00 pm Hogan Room Fabio Somenzi Fair Cycle Detection: A New Algorithm and a Comparative Study*
    9 Thu 5:00 pm Hogan Room Elena Dubrova Multiple-Valued Logic in VLSI Design*
    13 Mon 5:00 pm Hogan Room Radu Marculescu Power/Performance Analysis for System-Level Design
    15 Wed 5:00 pm Hogan Room Rajeev Alur CHARON: Hierarchical Specification and Analysis of Hybrid Systems
    22 Wed 5:00 pm Hogan Room Maurizio Damiani Cancelled
    28 Tue 5:00 pm Soda 306
    (HP Auditorium)
    Vishwani Agrawal Digital Circuit Design for Minimum Transient Energy*
    29 Wed 5:00 pm Hogan Room Ross Ortega Coordination-centric Design: An Approach for Reusable Software Components
    December 6 Wed 5:00 pm Hogan Room Norris Ip Simulation Coverage Enhancement Using Test Stimulus Transformation

    *: Slides available.
    **: Paper available.

  • Contact 
    ©2002-2018 U.C. Regents