Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Wed, 2 Sep 1992 09:57:06 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA11736; Wed, 2 Sep 92 01:47:00 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from n-kulcs.cs.kuleuven.ac.be by ted.cs.uidaho.edu (16.6/1.34) id AA11731; Wed, 2 Sep 92 01:46:38 -0700 Received: from gpx3u.esat.kuleuven.ac.be by n-kulcs.cs.kuleuven.ac.be (5.65b/n_kulcs1.1) id AA17274; Wed, 2 Sep 92 10:42:53 +0200 Date: Wed, 2 Sep 92 09:45:02-0100 Message-Id: <9209020945.AA21693@esat.kuleuven.ac.be> Original-Received: by esat.kuleuven.ac.be Wed, 2 Sep 92 09:45:06-0100 PP-warning: Illegal Received field on preceding line From: claesen@be.imec To: infohol@.m Subject: CHDL'93 =========================================================================== CALL FOR PAPERS: CCCCCC H H DDDDDD L '' 999999 333333 C C H H D D L ' 9 9 3 3 C H H D D L 9 9 3 C HHHHHHHH D D L 9999999 3333 C H H D D L 9 3 C C H H D D L 9 3 3 CCCCCC H H DDDDDD LLLLLLLL 999999 333333 IFIP Conference on Hardware Description Languages and Their Applications Chateau Laurier Hotel Ottawa, CANADA April 26-28, 1993 =========================================================================== CHDL '93 will be immediately followed by the VHDL International Users Forum (VIUF) April 29-30, 1993 at the Chateau Laurier TWENTIETH ANNIVERSARY OF CHDL CONFERENCE: held every 2 years since 1973, CHDL has rotated between Europe, North America and Asia. This meeting originated under IEEE/ACM sponsorship, and since 1981 has been organized by IFIP working group 10.2. The topic has a long history with over 100 HDLs published in the 1970s, but until the mid-1980s HDLs were mostly used in teaching, research and architectural modelling of computers. More recently HDLs have become central to system design and VLSI, due to many factors including: > the increasing complexity and broader usage of digital electronics, requiring increased use of modelling and simulation; > the current migration of VLSI design from schematic capture to logic synthesis based on HDLs; > the standardization of HDLs. The result is that HDL-based design methods are increasingly becoming the norm for electronic hardware design. TOPICS: The future of HDLs looks brighter than ever in the 1990s. Several emerging or potential new design technologies depend on HDLs, for example > high-level synthesis > formal verification > design frameworks > DSP design and dataflow languages > protocol specification and design languages > FSM capture, implementation and verification > code generation for on-chip embedded control > mixed hardware-software co-design and co-verification > hardware testing and testability > mixed textual/graphical design capture > HDL-based design methods e.g. executable specifications > parallel control specification for parallel processing or concurrent hardware processes AUTHOR INFORMATION: Contributions on these or related topics are desired. Regular papers and short papers are welcome. Regular papers may be on original research, or review or tutorial submissions. Short papers should be on recent research results, to be presented in a special session in a workshop format to encourage discussion. All papers will appear in the conference proceedings. Regular papers will be printed in book form as well, and selected papers will also be published in the Journal on Formal Methods in System Design. Papers (6 copies) should be submitted by Oct. 5, 1992 to OCRI (address below). For regular papers, the full paper (up to 20 double-spaced pages) should be sent. For short papers, only a 4 page summary is needed. Proposals for special sessions are also welcome, and should be sent to the conference chairman. Conference Chairman ------------------- David Agnew Bell-Northern Research P.O. Box 3511, Station C Ottawa, Ontario, CANADA K1Y 4H7 Phone: 613-763-3197 Fax: 613-763-7241 e-mail: crm24@bnr.ca Program Chairman ---------------- Luc Claesen IMEC / Kath. University of Leuven Kapeldreef, 75 B-3001 Leuven, BELGIUM Phone: (+32-16)28 12 03 Fax: (+32-16)28 15 15 e-mail: claesen@imec.be Conference Management --------------------- OCRI (Ottawa Carleton Research Institute) c/o Debby Sullivan 340 March Road, Suite 400 Kanata, Ontario, CANADA K2K 2E4 Phone: 613-592-8160 Fax: 613-592-8163 e-mail: trio@carleton.ca Track co-chairmen ----------------- Frameworks: Mark Whitton, Bell-Northern Research, Ottawa High-level synthesis: Pierre Paulin, Bell-Northern Research Formal methods: Ed Cerny, University of Montreal VHDL: Mostapha Aboulhamid, University of Montreal Important Dates --------------- September 1, 1992: Special sessions proposals due October 5, 1992: Deadline for paper submissions December 18, 1992: Notification of acceptance February 1, 1993: Camera-ready copy due Program Committee: ------------------ Einar J. Aas, Norway Mario Barbacci, USA Raul Camposano, Germany Edmund Clarke, USA Carlos Delgado Koos, Spain Reiner Hartenstein, Germany Franz Klaschka, Germany Petra Michel, Germany Adam Pawlak, Germany Franz Rammig, Germany P.A. Subrahmanyam, USA Ronald Waxman, USA Michael Yoeli, Israel Francois Anceau, France Gaetano Borriello, USA Luc Claesen, Belgium Werner Damm, Germany Daniel Gajski, USA Steven Johnson, USA C.J. Koomen, Netherlands George J. Milne, Scotland Robert Piloty, Germany Peter Schwarz, Germany Tsuneta Sudo, Japan Klaus Woelcken, Germany P. Bakowski, France Dominique Borrione, France Alex Bronstein, USA John Darringer, USA Werner Grass, Germany Nabuaki Kawato, Japan David Luckham, USA Hillel Ofek, USA Paolo Prinetto, Italy William Sherwood, USA Flavio Rech Wagner, Brazil Akihiko Yamada, Japan Kurt Keutzer, USA Jorgen Staunstrup, Denmark Hans Eveking, Germany Masahiro Fujita, Japan Masaharu Imai, Japan David Dill, USA Nikkil Dutt, USA John Brzozowski, Canada Jean Mermet, France