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