References
1. M. Abadi and L. Lamport. An old-fashioned recipe for real time, 1993.
2. M. Afghahi and C. Svensson. Performance of synchronous and asynchronous schemes for VLSI systems. IEEE Transactions on Computers, 41(7):858–872, July 1992.
3. V. Akella. An Integrated Framework for the Automatic Synthesis of Efficient Self-Timed Circuits from Behavioral Specifications. PhD thesis, University of Utah, 1992.
4. V. Akella and G. Gopalakrishnan. SHILPA: A high-level synthesis system for self-timed circuits. In Proc. International Conference on Computer-Aided Design (ICCAD), pages 587–591. IEEE Computer Society Press, Los Alamitos, CA, November 1992.
5. V. Akella and G. Gopalakrishnan. Specification and validation of controlintensive IC's in hopCP. IEEE Transactions on Software Engineering, 20(6):405–423, 1994.
6. V. Akella, N. H. Vaidya, and G. R. Redinbo. Asynchronous comparison-based decoders for delay-insensitive codes. IEEE Transactions on Computers, 47(7):802–811, July 1998.
7. R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, August 1991.
8. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.
9. R. Alur and R. P. Kurshan. Timing analysis in cospan. In Hybrid Systems III. Springer-Verlag, New York, 1996.
10. S. S. Appleton, S. V. Morton, and M. J. Liebelt. The design of a fast asynchronous microprocessor. IEEE Technical Committee on Computer Architecture Newsletter, October 1995. ...
Get Asynchronous Circuit Design now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
