From i.nedelchev@ee.surrey.ac.uk Tue May  3 15:45:11 1994
Subject: sequencer
To: asynchronous@hohum.stanford.edu
Date: Mon, 2 May 1994 18:09:11 +0100 (BST)
From: ivailo 
Organisation: Dept of EEEng, Univ of Surrey, Guildford GU2 5XH, England
Sender: i.nedelchev@ee.surrey.ac.uk
X-Mailer: ELM [version 2.4 PL20]
Content-Type: text
Content-Length: 23790
X-Lines: 1216
Status: RO


Priyadarsan,

there is another implementation of the sequencer 

S = en?;[in1? -> out1!;S [] in2? -> out2!;S]

in the paper

anonymous ftp:
site: ftp.ee.surrey.ac.uk
dir:  /pub/papers/CSRG/routers
file: compile.ps.Z

the implementation there uses four asynchronous latches
which replace the toggles and the DW element in
Alex' design.

the paper also discusses a compilation technique
based on a generalisation of the DW element.


here is another "unsafe" but practical and simpler implementation.
"unsafe" because the "clear off" process, which converts
two phases to four phases signalling, is concurrent with
forwarding the output.

cheers,
ivailo