EECS 298-11: CAD Seminar
Wednesday, February 7, 1995, 5pm
531 Cory Hall, Hogan Room


		    Hardware Verification at AT&T

			  Robert P. Kurshan
			AT&T Bell Laboratories
			   Murray Hill, NJ


I'll talk about the ongoing hardware verification effort at AT&T,
where I see us going, and what currently open problems we'll have to
address.


Upcoming Seminars:

 2/12/96 (Monday 5pm, Hogan): Francesco Piazza, 
                              Swiss Federal Institute of Technology
 2/14/94 (3pm, Hogan): Miron Abramovici, AT&T Bell Labs
 2/14/96: Scott Hauck, Northwestern University