[comp.lsi] CALL FOR PAPERS: TAU 92

sharad@new-delhi.NoSubdomain.NoDomain (Sharad Malik) (06/27/91)

	Tau 92: 1992 Workshop on Timing Issues in the Specification 
		and Synthesis of Digital Systems 
  			March 18-20, 1992     
			Princeton University    
 			Princeton, NJ, USA  

			Call for Papers  
 
The goal of this workshop is to bring together researchers as well as 
designers from both academia and industry who are working on various issues 
dealing with temporal aspects of VLSI design. These include but are not 
restricted to: 
 
o representing and modeling time at various levels of abstraction
 
o timing analysis of circuits and systems at various levels of abstraction
 
o design and synthesis of circuits with specific timing properties
	- performance optimization of circuits
	- asynchronous circuit synthesis

o testing circuits for correct temporal behavior 

o verification of temporal properties

Authors are invited to submit, by October 1 1991, 6 copies of draft papers
not exceeding 15 pages.  Notification of acceptance will be sent by 
December 1 1991.  At the workshop, a proceedings will be distributed 
which will include a final version of each paper, but will not be separately
published. There is a maximum page limit of 4 pages per paper for the
final version. Submissions should be sent to:

	Robert K. Brayton  
	Chair, Technical Program Committee, Tau 92  
	Dept. of Electrical Eng. and Computer Science  
	University of California  
	Berkeley, CA 94720

The workshop is organized by the Computer Engineering Group of the 
Dept. of Electrical Engineering, Princeton University and sponsored 
by the Association of Computing Machinery/Special Interest Group on 
Design Automation. 

			   Workshop Chair    
		Sharad Malik, Princeton University

		   Technical Program Committee    
	Robert K. Brayton (chair),	U. C. Berkeley  
	Randal Bryant,			Carnegie Mellon Univ.  
	Raul Camposano,			GMD/EIS, Germany  
	Tam-Anh Chu,			Cirrus Logic  
	David Dill,			Stanford Univ.  
	Masahiro Fujita,		Fujitsu Labs.  
	David Hathaway,			IBM Corporation  
	Kurt Keutzer,			Synopsys Inc.  
	Sharad Malik,			Princeton Univ.  
	Alain Martin,			Caltech  
	Patrick McGeer,			U. C. Berkeley  
	Tom Szymanski,			AT  Bell Labs.  
	Wayne Wolf,			Princeton Univ.