🚀 go-pugleaf

                       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)                        Charles Molnar (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 Brocket, 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 2463992



MAIL ORDER

Method of payment - charge credit card


Name of the card:  . . . . . . . . . . . . . . . . . . . . . . . 

Card number: . . . . . . . . . . . . . . . . . . . . . . . . . .

Expiration date: . . . . . . . . . . . . . . . . . . . . . . . .

Name of card-holder: . . . . . . . . . . . . . . . . . . . . . .

Amount Due:  . . . . . . . . . . . . . . . . . . . . . . . . . .

Signature:




*******************************************************************
-- 
E-MAIL: Tom.Verhoeff@acm.org | Dept. of Math. & Computing Science
PHONE:  +31 40 247 41 25     | Eindhoven University of Technology
FAX:    +31 40 245 17 33     | PO Box 513, NL-5600 MB Eindhoven
<URL:http://www.win.tue.nl/win/cs/pa/wstomv/> | The Netherlands