System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System.

Shane T. Fleming, David B. Thomas, George A. Constantinides, Dan R. Ghica

Browse the full FPGA paper archive.