[comp.lsi] Asynchronous system / "self-clocked" design - a survey TR available

ganesh%bliss.utah.edu@cs.utah.edu (Ganesh C. Gopalakrishnan) (10/08/90)

There was a recent enquiry regarding asynchronous system ("self-clocked
circuit") design in this newsgroup. If you are interested, myself and a
student of mine have surveyed some of the work in this area, in a tech.
report. You may FTP a postscript file containing this report. (Note: this
report will occasionally be updated to fix errors.)

-------------------------------------------------------

"Some Recent Asynchronous System Design Methodologies"

by

Ganesh Gopalakrishnan (ganesh@cs.utah.edu)
Prabhat Jain 	      (jain@cs.utah.edu)

Technical Report Number UU-CS-TR-90-016,
Department of Computer Science, 
University of Utah,
October 1990,
55 pages

ABSTRACT

We present an in-depth study of some recent techniques for
asynchronous system design, analysis, and verification.  After
defining basic terminology, we take one simple example---a four-phase
to two-phase converter---and present its design using classical
flow-tables, Signal Transition Graphs of Chu, and Trace Theory of
Ebergen.  We then present necessary and sufficient conditions
for Delay Insensitivity, proposed by Udding, and illustrate it on our
example.  Finally, we present the work of Dill	 on the verification
of asynchronous circuits, and illustrate it on the circuits derived in
the paper.  The following points are emphasized: (i) presentation of
techniques at more depth than in a general survey; (ii) illustration
of all the aspects discussed on a common example; (iii) comparative
study of the works presented.  Many interesting works had to be left
out, solely because of our lack of space and time.

----

You may FTP a compressed postscript file of this techreport.

FTP instructions:

 ftp
 open cs.utah.edu
 login: anonymous
 password: guest
 binary
 cd pub
 get async-tr-90-016.ps.Z
 close
 bye

 Then

 uncompress async-tr-90-016.ps.Z
 lpr -P<printer> async-tr-90-016.ps

Please also send mail to ganesh@cs.utah.edu, and let me know
(for my own records) your name, postal address, and email address.

----

Comments are most welcome.

Cheers,

Ganesh @ cs.utah.edu