Did anybody programmed these FPGAs with OpenCL? I'm thinking getting into it but I don't know if there's any performance advantage of VHDL over OpenCL.