Vivado HLS and Turbo OpenCL