Vortex: OpenCL compatible RISC-V GPGPU (cc.gatech.edu)