Decoupled functional hardware-software co-design on SoCs with FPGA, using dynamic binary modification to inject compiled HDL designs.