rodrique@hplabsz.HPL.HP.COM (Mike Rodriquez) (03/24/88)
================================================================
IFIP TC-10 CONFERENCE
DESIGN METHODOLOGIES FOR
VLSI AND COMPUTER ARCHITECTURES
Pisa: 19th-23rd September 1988
CALL FOR PAPERS
Technical Committee TC-10 of the International Federation of
Information Processing aims to promote and coordinate infor-
mation exchange on concepts, methodologies, evaluation meth-
ods and tools in the design of digital systems. As part of
its programme for 1988, TC-10 is organising a conference of
design methodologies for VLSI circuits and computer archi-
tectures, to be held in Pisa, Italy, from 19th to 23rd Sep-
tember 1988. The conference will cover all aspects of
design, from circuit level to instruction-set level, includ-
ing hardware description techniques, notational frameworks
specification and verification, and design automation tools.
Program Areas
Papers are invited in the following (and allied) fields:
o Hierarchical Design Methodologies.
o Architecture Description Languages.
o Hardware Description Languages.
o Specification and Verification Techniques.
o Expert Systems in Design.
o Engineering User Interfaces.
o Design for Testability.
o Fault Coverage Schemes.
o Simulation and Testing.
o Silicon Compilation.
o Placement and Layout.
o Hardware Accelerators for CAD.
Paper Submission Requirements
The manuscript length should be between 15 and 20 pages in a
11 or 12 pt font size. Authors should send 4 copies of
their full submission to:
Dr. D.A. Edwards
Room 2-32
Department of Computer Science
University of Manchester
Oxford Road
Manchester M13 9PL
UK
Tel.: (0)61-275-6191
E-mail (ARPA) doug@r2.cs.man.ac.uk
USENET: ...!mcvax!ukc!mur2!doug
Telefax: (0) 61-2735306
Important Dates
o Closing Date for papers: 30th April 1988
o Notification of paper acceptance: 15th July 1988
o Deadline for revised papers: 19th Sept (at confer-
ence).
o Conference: Pisa, 19-23rd Sept 1988.
o Conference Proceedings to be published by North
Holland shortly after the conference.
Program Committee
Prof. J.R. Gurd, University of Manchester, UK
Prof. M. Vanneschi, University of Pisa, Italy
Dr. D. Edwards, University of Manchester, UK
Prof. D. Borrione, University of Marseilles, France
Dr. M. Bolton, University of Bristol, UK
Prof. R. Bryant, Carnegie-Mellon University, USA
Prof. I. Hartenstein, Kaiserslautern University, West Germany
Prof. S. Michaelson, University of Edinburgh, UK
Prof. T. Ohtsuki, Waseda University, Japan
Prof. I. Shirakawa, Osaka University, Japan
Dr. B. Shriver, IBM Research, USA
------------------------------------------------------------------------