GPUVerify: Formal Analysis Tool for OpenCL and CUDA Kernels

GPUVerify: Formal Analysis Tool for OpenCL and CUDA Kernels

GPUVerify is a command line tool that allows formal analysis of GPU kernels written in OpenCL and CUDA.

GPUVerify can detect intra-group data races (in OpenCL, it’s a race between work items in the same work group), inter-group data races (in OpenCL, it’s a race between work items in different work groups), barrier divergence (barrier synchronization).

GPUVerify is available for Windows 7/8 64-bit and for Linux 64-bit and requires Python 2.7. You can download GPUVerify from THIS PAGE.

More information about GPUVerify can be found HERE and HERE.

Related posts:

  1. Cppcheck 1.51 Analysis Tool for C/C++ Code
  2. Intel OpenCL 1.1 SDK Updated, printf() in OpenCL C kernels
  3. Intel OpenCL SDK 1.5 Released
  4. [OpenCL] size_t Not Allowed in Kernels Arguments
  5. [Security] GPU Assisted Malware With CUDA and OpenCL

One thought on “GPUVerify: Formal Analysis Tool for OpenCL and CUDA Kernels”

  1. Leith Bade

    This is actually a useful tool. Might prevent a lot of head scratching when a kernel does not quite work correctly.

Comments are closed.