Acknowledgments

The research and development of the Formic board and the scalable hardware architecture has received funding from the European Union 7th Framework Programme [FP7/2007-2013], under the ENCORE (grant agreement nr. 248647) and TEXT (nr. 261580) Projects.

We would also like to thank ARM for providing the two Verstile Express boxes with 8 total Cortex-A9 cores, and Xilinx for their kind donation of 64 Spartan-6 FPGA devices.