Fall 1999 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 25 Wed 5:00 pm Hogan Room Greg Wright The Biggascale Emulation Engine
    September 1 Wed 5:00 pm Hogan Room Alan Hu Formal Verification of DSP Software
    8 Wed 5:00 pm Hogan Room Farzan Fallah Coverage Directed Validation of Hardware Models
    15 Wed 5:00 pm Hogan Room Majid Sarrafzadeh Physical Design Challenges of Reconfigurable Computing Systems
    17 Fri 11:00 am Wang Room David Harris Logical Effort: Designing for Speed on the Back of an Envelope
    22 Wed 5:00 pm Hogan Room David Dill Symbolic Verification of Systems with State Machines
    29 Wed 5:00 pm Hogan Room Sriram K. Rajamani Assume-Guarantee Refinement Checking with Different Time Scales
    October 6 Wed 5:00 pm Hogan Room Enrico Malavasi Automated Custom Physical Design
    13 Wed 5:00 pm Hogan Room Thomas Daniel ASIC design tools and methodologies
    20 Wed 5:00 pm Hogan Room Phil Fisher & Don Cottrell Emerging Standards in the Electronic Design Automation (EDA) Industry
    27 Wed 5:00 pm Hogan Room Chris Rowen Automated Generation of System-Specific Processors
    November 3 Wed 5:00 pm Hogan Room Attila Jurecska HW/SW Co-verification with Synopsys EagleI
    11 Thu 5:00 pm Hogan Room Forrest Brewer Symbolic NDFA Based Scheduling
    17 Wed 5:00 pm Hogan Room Randal E. Bryant Formal Verification of Pipelined Processors using Uninterpreted Functions
    24 Wed 5:00 pm Hogan Room Joel R Phillips Advances in RF Simulation and Modeling
    December 1 Wed 5:00 pm Hogan Room George Gadelkarim Virtuoso XL(TM): Cadence's Intelligent Layout Editor

    • Contact 
    ©2002-2018 U.C. Regents