gpuverify-opencl
Is this OpenCL kernel correct?
loading...
DISCLAIMER: GPUVerify-OpenCL is a 3rd party tool offered by Multicore programming Group, Imperial College London. By clicking ‘►’, you instruct rise4fun to send the source to Multicore programming Group, Imperial College London’s GPUVerify-OpenCL to be analyzed. Please refer to the terms of use and privacy policy of GPUVerify-OpenCL. Contact support for details.
 home tutorial video
'►' shortcut: Alt+B
about GPUVerify-OpenCL - A verifier for CUDA/OpenCL kernels
This tool checks that a kernel is free from assertion failures, data races and barrier divergence.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct