GPUVerify is a static analysis tool which offers the ability to detect specific compute errors, such as data races and divergent barrier executions. OpenCL developers will find GPUVerify useful as these types of errors are quite common in compute application development. GPUVerify has been developed by Alastair Donaldson and Nathan Y. S. Chong from Imperial College, London.
Image Gallery Below
- Kernel Interception
- Running GPUVerify at the Command Line
- Checking the Intercepted Kernel
- Rectified Kernel
The basic procedure for using GPUVerify is as follows:
1. Use kernel interception to figure out the details of the kernel, e.g., kernel source code, number of work items, and configuration of work groups used
2. Invoke GPUVerify on the intercepted kernel by running GPUVerify at the command line and checking the intercepted kernel
For more information about GPUVerify, please follow the link to the website below.