Title :
Static tokens: using dataflow to automate concurrent pipeline synthesis
Author :
Teifel, John ; Manohar, Rajit
Author_Institution :
Comput. Syst. Lab., Cornell Univ., Ithaca, NY, USA
Abstract :
We describe a new intermediate compiler representation, static token form, that is suitable for dataflow-style synthesis of high-level asynchronous specifications. Static token form transforms variables into tokens, and simplifies the pipelining of asynchronous computations according to their dataflow graphs. We present a compiler framework that automates this synthesis method, and show how it can be applied to pipelined asynchronous FPGA architectures.
Keywords :
asynchronous circuits; concurrency control; data flow graphs; field programmable gate arrays; high level synthesis; optimising compilers; pipeline processing; asynchronous computations; compiler framework; dataflow graphs; dataflow-style synthesis; high-level asynchronous specifications; intermediate compiler representation; pipeline synthesis automation; pipelined asynchronous FPGA architectures; static token form; synthesis method; variables transformation; Circuits; Cogeneration; Computer architecture; Field programmable gate arrays; Flow graphs; Hardware; Laboratories; Logic; Pipeline processing; Program processors;
Conference_Titel :
Asynchronous Circuits and Systems, 2004. Proceedings. 10th International Symposium on
Print_ISBN :
0-7695-2133-9
DOI :
10.1109/ASYNC.2004.1299284
