Static Tokens: Using Dataflow to Automate Concurrent Pipeline Synthesis

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.

• Type: Conference
• Year: 2004
• Where: ASYNC
• Authors: John Teifel, Rajit Manohar
• Keywords: ASYNC 2004, Asynchronous, Hardware, Static Token Form, Token Form Transforms