Static tokens: Using dataflow to automate concurrent pipeline synthesis

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems

Volumn 10, Issue , 2004, Pages 17-27

  Teifel, John ^a   Manohar, Rajit ^a  

^a Cornell University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS SEQUENTIAL LOGIC; AUTOMATION; COMPUTATIONAL METHODS; LOGIC CIRCUITS; OPTIMIZATION; PROGRAM COMPILERS; TREES (MATHEMATICS);

ASYNCHRONOUS DESIGNS; CONCURRENT PIPELINE SYNTHESIS; HARDWARE COMPILERS; STATIC TOKENS;

DATA FLOW ANALYSIS;

EID: 2942679232     PISSN: 15228681     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (21)

1. B. Alpern, M.N. Wegman, and F.K. Zadeck. Detecting Equality of Values in Programs. Proc. of the 15th ACM Symposium on Principles of Programming Languages, 1988.
2. C. Scott Ananian. The Static Single Information Form. Master's thesis, Massachusetts Institute of Technology, 1999.
3. Steven M. Burns and Alain J. Martin. Syntax-directed Translation of Concurrent Programs into Self-timed Circuits. Proc. Fifth MIT Conference on Advanced Research in VLSI, 1988.
4. R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, and F.K. Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems, 12(4):451-490, October 1991.
5. Doug Edwards and Andrew Bardsley. Balsa: An asynchronous hardware synthesis language. The Computer Journal, 45(1):12-18, 2002.
6. David Galloway. The Transmogrifier C Hardware Description Language and Compiler for FPGAs. Proc. IEEE Symp. FPGAs for Custom Computing Machines, 1995.
7. C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666-677, 1978
8. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, June 2002.
9. Rajit Manohar and Alain J. Martin. Slack Elasticity in Concurrent Computing. Proc. of the Fourth International Conference on the Mathematics of Program Construction, 1998.
10. Rajit Manohar, Tak-Kwan Lee, and Alain J. Martin. Projection: A Synthesis Technique for Concurrent Systems. Proceedings of the Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, April 1999.
11. Alain J. Martin. Compiling Communicating Processes into Delay-insensitive VLSI circuits. Distributed Computing, 1(4), 1986.
12. A.J. Martin, A. Lines, R. Manohar, M. Nyström, P. Penzes, R. Southworth, U. V. Cummings, and T.K. Lee. The Design of an Asynchronous MIPS R3000. Proceedings of the 17th Conference on Advanced Research in VLSI, September 1997.
13. Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997.
14. Ian Page. Constructing Hardware-Software Systems from a Single Description. Journal of VLSI Signal Processing, 12(1), 1996.
15. John Teifel and Rajit Manohar. Programmable Asynchronous Pipeline Arrays. Proceedings of the 13th International Conference on Field Programmable Logic and Applications, September 2003.
16. John Teifel and Rajit Manohar. Highly Pipelined Asynchronous FP-GAs. Proceedings of the 12th ACM International Symposium on Field-Programmable Gate Arrays, February 2004.
17. Kenneth R. Traub. A Compiler for the MIT Tagged-Token Dataflow Architecture. M.S. Thesis, Massachusetts Institute of Technology, 1986.
18. Kees van Berkel. Handshake Circuits: An Asynchronous Architecture for VLSI Programming. Cambridge University Press, 1994.
19. Catherine G. Wong and Alain J. Martin. Data-Driven Process Decomposition for Circuit Synthesis. Proc. of the IEEE Conference on Electronic Circuits and Systems, 2001.
20. Catherine G. Wong and Alain J. Martin. High-Level Synthesis of Asynchronous Systems by Data-Driven Decomposition. Proc. of the 40th Design Automation Conference, 2003.
21. Catherine G. Wong. Personal Communication, August 2003.