THIRD INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS (ASYNC97) Eindhoven University of Technology, Eindhoven, The Netherlands April 7 - 10, 1997 General Information ------------------- Async97, the Third International Symposium on Advanced Research in Asynchronous Circuits and Systems, is a successor to Async94 (Utah, USA) and Async96 (Aizu, Japan). Async97 is organized by Eindhoven University of Technology in coopera- tion with Philips Research Laboratories Eindhoven. The symposium is sponsored by the IEEE Computer Society Technical Committee on VLSI and Esprit Working Group 21949 (ACiD-WG). A major goal of the conference is to identify application domains where asynchronous circuit techniques are of practical interest and to articulate, quantify, and demonstrate their potential advantages (such as high speed, low power, low EM radiation, and high reliability). Special emphasis is given to (industrial) applications, functional ICs, and mature CAD tools. Furthermore, attention is paid to technical innovations that may help improve the cost, quality, performance, or testability of the final product. Topics covered are: ASYNCHRONOUS CIRCUITS AND SYSTEMS ARCHITECTURES, CIRCUITS, AND TECHNIQUES FOR LOW POWER OR HIGH SPEED. TESTABILITY OF ASYNCHRONOUS CIRCUITS QUALITY, RELIABILITY, AND ROBUSTNESS OF ASYNCHRONOUS CIRCUITS CAD FOR ASYNCHRONOUS CIRCUITS AND SYSTEMS NOVEL TECHNIQUES AND FUTURE OPPORTUNITIES FOR ASYNCHRONOUS CIRCUITS FORMAL TECHNIQUES FOR ASYNCHRONOUS CIRCUITS AND SYSTEMS Symposium Committee ------------------- General Chair Martin Rem, Eindhoven University of Technology Symposium Co-Chair Peter Hilbers, Eindhoven University of Technology Program Co-Chairs Kees van Berkel, Philips Research Laboratories, Eindhoven University of Technology Mark Josephs, South Bank University Publication Chair Erik Brunvand, University of Utah Tutorial Chair Tom Verhoeff, Eindhoven University of Technology Tools Chair Frans Theeuwen, Eindhoven University of Technology Local Arrangements Alda Bouten, Eindhoven University of Technology European Representative Jochen Jess, Eindhoven University of Technology Asian Representative Takashi Nanya, Tokyo Institute of Technology US Representative Al Davis, University of Utah Program Committee ----------------- Peter Beerel (USA) Tony Lee (Hong Kong) Kees van Berkel (The Netherlands) Bill Lin (Belgium) Erik Brunvand (USA) Gensoh Matsubara (Japan) Steven Burns (USA) Anantha Chandrakasan (USA) Takashi Nanya (Japan) Jordi Cortadella (Spain) Steven Nowick (USA) Al Davis (USA) Marly Roncken (The Netherlands) Jo Ebergen (Canada) Shai Rotem (USA) Steve Furber (UK) Jens Spars/o (Denmark) Jim Garside (UK) Robert Sproull (USA) Mark Greenstreet (Canada) Pasupathi Subrahmanyam (USA) Ran Ginosar (Israel) Jose Tierno (USA) Geert Janssen (The Netherlands) Jan T. Udding (The Netherlands) Mark Josephs (UK) Peter Vanbekbergen (USA) Michael Kishinevsky (Japan) Tom Verhoeff (The Netherlands) Alex Kondratyev (Japan) Alex Yakovlev (UK) Luciano Lavagno (Italy) Kenneth Yun (USA) Program ------- Monday, April 7 9:30 Opening: Martin Rem, Eindhoven University of Technology --------------------------------------------------------------- 9:45 Invited Lecture: Cees Niessen, Philips Research Laboratories -------------------------------------------------------------------- 11:00 Coffee -------------- 11:30 Invited Lecture: Roger Brockett, Harvard University ---------------------------------------------------------- 12:45 Lunch ------------- 14:15 Invited Lecture: Steve Furber, University of Manchester --------------------------------------------------------------- 15:30 Tea ----------- Session 1: Pipelines and Meshes --------------------------------------- 16:00 A Result Forwarding Mechanism for Asynchronous Pipelined Systems D.A. Gilbert, J.D. Garside, University of Manchester, UK 16:30 Two-Phase Asynchronous Pipeline Control Sam S. Appleton, Shannon V. Morton, Michael J. Liebelt, University of Adelaide, Australia 17:00 Built-In Self-Testing of Micropipelines O.A. Petlin, S.B. Furber, University of Manchester, UK 17:30 Self-Timed Meshes are Faster Than Synchronous Peggy Pang, Mark Greenstreet, University of British Columbia, Canada ================================================================================ Tuesday, April 8 Session 2: Exotic implementations ----------------------------------------- 9:00 Delay Insensitive Logic for RSFQ Superconductor Technology Priyadarsan Patra, Intel Corporation, USA Donald S. Fussell, University of Texas at Austin, USA Stanislav Polonsky, SUNY Stony Brook, USA 9:30 On the Realisation of Delay-Insensitive Asynchronous Circuits with CMOS Ternary Logic R. Mariani, R. Roncella, R. Saletti, P. Terreni, University of Pisa, Italy Session 3: Performance analysis --------------------------------------- 10:00 Symbolic Techniques for Performance Analysis of Timed Systems based on Average Time Separation of Events Aiguo Xie, Peter A. Beerel, University of Southern California, Los Angeles, USA 10:30 Response Time Properties of Some Asynchronous Circuits Jo Ebergen, Robert Berks, University of Waterloo, Canada 11:00 Coffee -------------- Session 4: Timing analysis ---------------------------------- 11:30 Efficient Timing Analysis Algorithms for Timed State Space Exploration Wendy Belluomini, Chris J. Myers, University of Utah, USA 12:00 Timing Analysis for Extended Burst-Mode Circuits Supratik Chakraborty, David L. Dill, Kun-Yung Chang, Stanford, USA Kenneth Y. Yun, University of California, San Diego, USA 12:30 More Accurate Polynomial-Time Mix-Max Timing Simulation Supratik Chakraborty, David L. Dill, Stanford, USA 13:00 Lunch ------------- Session 5: Design ------------------------- 14:30 A Quasi Delay-Insensitive Bus Proposal for Asynchronous Circuits Pedro A. Molina, Peter Y.K. Chueng 15:00 The Design and Verification of a High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver Kenneth Y. Yun, Ayoob E. Dooply, Julio Arceo, University of California, San Diego, USA Peter A. Beerel, Vida Vakilotojar, University of Southern California, Los Angeles, USA 15:30 Excursion & Buffet at the Philips Evoluon ------------------------------------------------- ================================================================================ Wednesday, April 9 Session 6: Formal methods --------------------------------- 9:00 Action Systems in Pipelined Processor Design J. Plosila, University of Turku, Finland K. Sere, \AA bo Akademi University, Finland 9:30 Normal Form in DI-Algebra with Recursion Paul G. Lucassen, Indra Polak, Jan Tijmen Udding, Groningen University, The Netherlands 10:00 Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications Willem C. Mallon, Jan Tijmen Udding, Groningen University, The Netherlands 10:30 Coffee -------------- Session 7: Arithmetic ----------------------------- 11:00 Bundled Data Asynchronous Multipliers with Data Dependant Computation Times David Kearney, University of South Australia, Australia, Neil W. Bergmann, Queensland University of Technology, Australia 11:30 A Low Power Zero-Overhead Self-Timed Division and Square Root Unit Combining a Single-Rail Static Circuit with a Dual-Rail Dynamic Circuit Gensoh Matsubara, Nobuhiro Ide, Toshiba Corporation, Japan 12:00 Speculative Completion for the Design of High-Performance Asynchronous Dynamic Adders Steven M. Nowick, Colombia University, USA Kenneth Y. Yun, Ayoob E. Dooply, University of California, San Diego, USA Peter A. Beerel, University of Southern California, Los Angeles, USA 12:30 Lunch ------------- Session 8: CAD Demos --------------------- 14:00 Short introductory demonstrations of a number of software tools related to asynchronous circuits and systems. These tools will be demonstrated more extensively in the CAD-Demo-Booth during the conference. 16:00 Tea ----------- Session 9: Synthesis -------------------- 16:30 Improved State Assignments for Burst mode finite state machines J.W.J.M. Rutten, M.R.C.M. Berkelaar, Eindhoven University of Technology, The Netherlands 17:00 Technology Mapping for speed-independent Circuits: decomposition and resynthesis Alex Kondratyev, Michael Kishinevsky, University of Aizu, Japan, Jordi Cortadella, Universitat Polit\`{e}chnica de Catalunya, Spain, Luciano Lavagno, Politecnico di Torino, Italy, Alex Yakovlev, University of Newcastle, UK 17:30 Partial order based approach to synthesis of speed-independent circuits Alex Semenov, Alexandre Yakovlev, University of Newcastle, UK, Enric Pastor, Marco Pe\~{n}a, Jordi Cortadella, Universitat Polit\`{e}chnica de Catalunya, Spain, Luciano Lavagno, Politecnico di Torino, Italy, 20:00 Banquet: Speech by Ivan Sutherland, Sun Microsystems Laboratories ------------------------------------------------------------------------- ================================================================================ Thursday, April 10 Session 10: Silicon ------------------- 9:00 Designing Asynchronous Standby Circuits for a Low-Power Pager Joep Kessels, Philips Research Laboratories, The Netherlands, Paul Marston, Philips Paging, UK 9:30 A FIFO Ring Oscillator Performance Experiment Charles E. Molnar, Ian W. Jones, Bill Coates, Jon Lexau, Sun Microsystems Laboratories, USA 10:00 AMULET2e: An Asynchronous Embedded Controller S.B. Furber, J.D. Garside, S.Temple, J. Liu, University of Manchester, UK, P. Day, N.C. Paver, Cogency Technology, UK 10:30 Coffee -------------- 11:00 Invited Lecture: Hiroaki Terada, Osaka University --------------------------------------------------------- 12:15 Awards & Closure ------------------------ Best Paper Award Charles E. Molnar Award 12:30 Lunch/Departure ----------------------- Location and Accommodation -------------------------- The event takes place in the Conference Center `de Koningshof' in Veldhoven. Here you will find all facilities under one roof: an exhibition-hall, hotel-rooms, restaurants, bars and a wide range of sports- and recreation facilities (such as 9-pin bowling, squash courts, a swimming pool, sauna, a fitness-room, darts, billiards, table tennis etc.) De Koningshof also provides a nice environment for cycling and hiking. The address of de Koningshof: Locht 117, 5500 AC Veldhoven, NL Phone: +31 (0)40 2537475 Fax: +31 (0)40 2545515 Veldhoven is a small city close to the city of Eindhoven, in the south of the Netherlands. Eindhoven is 1h.50 minutes by train from Amsterdam Schiphol Airport. Eindhoven has its own small airport and good train connections with the rest of the Netherlands. From the train station of Eindhoven there are good bus connections with Veldhoven: the bus-station is at the north side of the train station (take a right turn to leave the station); take BBA bus 149 or 150 and get off at bus-stop Koningshof. The bus trip takes about 20 minutes.(Note: in the bus one pays with a so called `strippenkaart', which can be bought at the train station.) It is also possible to take a taxi to Koningshof, either from the train station or from Eindhoven airport. Registration ------------ The registration fee covers all conference costs: accommodations* (Dfl 820), the proceedings and the costs of social events. Registration Registration and Payment and Payment received by received after February 7, 1997 February 7, 1997 Dfl 1150,- (single room) Dfl 1250,- (single room) Please note that for registrations received after February 7 we cannot guarantee accommodations at the conference center itself. If you have to be accommodated elsewhere the above mentioned prices may change. On Sunday April 6 your room at the conference center will be available from 12:00 hours. Registration starts at 17:00 hours and from 19:00 hours a get-together diner will be served. * Accommodations will be booked from Sunday April 6 until Thursday April 10 (4 nights) and include meals and refreshments. Please send in the Registration Form (see below) by e-mail or by fax. Cancellation ------------ Cancellations received later than March 14 will only be partially reimbursed, depending on costs already made. No cancellations will be accepted after March 28. Further Information ------------------- For further information, contact by E-mail, async97@win.tue.nl by WWW, http://www.win.tue.nl/win/cs/pa/async97/ ================================================================================ REGISTRATION FORM: THIRD INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS (ASYNC97) Eindhoven, The Netherlands, April 7 - 10, 1997 First Name . . . . . . . . . . . . . . . . . . . . . . . . . . . Family Name. . . . . . . . . . . . . . . . . . . . . . . . . . . Prof.Dr.Mr.Ms.: . . . . . . . . . . . . . . . . . . . . . . . . Affiliation. . . . . . . . . . . . . . . . . . . . . . . . . . . Address. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Tel: . . . . . . . . . . . . . . . . . . . . . . . . Fax: . . . . . . . . . . . . . . . . . . . . . . . . E-mail:. . . . . . . . . . . . . . . . . . . . . . . Your identification as it should appear on your badge: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Means of travel: . . . . . . . . . . . . . . . . . . . . . . . . Date of Arrival to Koningshof: . . . . . . . . . . . . . . . . . Date of departure from Koningshof: . . . . . . . . . . . . . . . Diet: -Standard*-Vegetarian* *)Delete where non applicable Method of Payment (please check (X) the appropriate) ----------------- ( ) I enclose a copy of bank transfer to: Bank ABN/AMRO Den Dolech 2 P.O.Box 515 5612 NZ Eindhoven 5600 AM Eindhoven The Netherlands The Netherlands account no. 52.82.11.781 of Eindhoven University of Technology The Netherlands mentioning centernr. 3226001-3-CP117 ( ) I will pay in advance by credit card and I will fax the form below to you asap ( ) I will pay at the site ( ) in cash ( ) by credit card ( ) by Euro Cheque ----------------------------------------------------------------------- IF YOU PAY BY CREDIT CARD BEFORE CONFERENCE, PLEASE FILL IN THE FORM BELOW AND SEND IT BY *FAX* (we need your signature) TO FAX number: +31 (0)40 245 1733 MAIL ORDER Method of payment - charge credit card Name of the card: . . . . . . . . . . . . . . . . . . . . . . . Card number: . . . . . . . . . . . . . . . . . . . . . . . . . . Expiration date: . . . . . . . . . . . . . . . . . . . . . . . . Name of card-holder: . . . . . . . . . . . . . . . . . . . . . . Amount Due: . . . . . . . . . . . . . . . . . . . . . . . . . . Signature: *******************************************************************