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.