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.



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.