Simulation and synthesis of CSP-based interprocess communication

The Sea Cucumber project synthesizes parallel software threads into hardware on FPGAs (field programmable gate arrays). A communication system is needed which can be used to communicate between parallel software threads, and which can be synthesized into hardware with matching behavior. This paper describes a satisfactory communication system and presents three main contributions. First, it proposes a concise Java API for CSP (communication sequential processes) communication. Second, it presents a general hardware solution, which establishes interfaces and protocols for a various hardware implementations. Finally, it describes a hardware implementation created for the Xilinx Virtex II FPGA for performance analysis.