GPUVerify

@Vengineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

GPUVerifyというツールは、OpenCLとCudaのカーネルコードをチェックしてくれるツールです。

Windows 64ビットとLinux 64ビットのバイナリがダウンロードできます。
ダウンロードページによると、Pythonと.NET frameworkを使っているようですね。

GPUで実行する前に、このようなツールでカーネルをチェックできるのはいいですね。

そして、こちらでは、GPUVerifyを使ったオンラインでチェックしてくれます。いかがですか？