Schedule Spring '95

1/18: Stephen Edwards, UC Berkeley

"An Introduction to Tcl/Tk" Abstract

1/25: Allen Emerson, UT Austin

"Utilizing Symmetry when Model Checking: an Automata-theoretic Approach" Abstract

2/1: David Dill, Stanford

"Hierarchical Models of Synchronous Circuits" Abstract

2/8: Masahiro Fujita,

"Logic Verification and Synthesis with Temporal Logic" Abstract

2/15: Medhi Hatamian, Silicon Design Experts, Inc.

"A Design Environment for Multi-Million Transistor Chip Design: Created by Designers for Designers" Abstract

2/22: Forrest Brewer, UC Santa Barbara

"New Results in BDD-Based Scheduling" Abstract

3/1: Vijay Saraswat, Xerox PARC

"Computing with Continuous Change" Abstract

3/7 (TUESDAY): Alberto Sangiovanni-Vincentelli, UC Berkeley

"Software Synthesis for Hardware/Software Co-design of Embedded Systems" Abstract

3/15: Alice Parker, USC

"System-Level Design Automation: The Unified System Construction Project" Abstract

3/22: Tom Henzinger, Cornell

"Computer-Aided Verification of Infinite-State Systems" Abstract

3/29: No seminar due to spring break

4/5: Dave Patterson, UC Berkeley

"A Case for NOW" Abstract

4/12: Raul Camposano, Synopsys

"Higher Level Design Tools" Abstract

4/19: Jacob White, MIT

"How Matrix-Free Iterative Methods Have Changed Computer Simulation of Circuits, Devices, Interconnect, and Micro-Electro-Mechanical Systems" Abstract

4/26: Tom Parks, UC Berkeley

"Dataflow Process Networks" Abstract

5/3: Antun Domic, Cadence

"Some problems in submicron technology and their effect on design methods and CAD tools" Abstract

5/5: Georges Gielen, KU-Leuven

"Research Developments in Analog CAD at KU-Leuven" Abstract

5/10: Stan Liao, MIT

"Code Generation and Optimization for Embedded DSP Processors" Abstract

5/12: Mark Greenstreet, University of British Columbia

"Finite State Machines and Differential Equations: Using dynamical Systems Theory to Understand VLSI Circuits" Abstract

5/17: Carl Sechen, Universty of Washington

"Symbolic Analysis for Large Analog ICs" Abstract

6/2 (10:30AM): Ed Clarke, CMU


6/16 (2:00PM): K. Lampaert, KU Leuven


CAD Seminar Page
CAD Group Home Page

Comments and questions can be addressed to CAD Seminar Organizers .
©2002-2018 U.C. Regents