This is exciting, I think in the next year it will mature, Xilinx SDSoC

http://www.xilinx.com/products/design-tools/software-zone/sdsoc.html

To cut the bla, its really simple: You select platform, say Soft-Propeller, in Eclipse, write some C code, and you get ready to run image that works on the ARM Cores and is partially compiled directly into FPGA hardware.

This works now. It does! SDSoC 2015.2 is first public release so expect some issues, but the basic flow really works.