GIG - Overview and Features


GIG: The Graphical Inquirer of GPU Programs is a debugging tool for CUDA programs.

GIG uses a formal verification tool called gklee that was developed at the University of Utah.

GIG offers a server for remote verification that prevents the install of gklee, parses the log file and displays it in a graphical user interface, integrates the whole process into the Eclipse environment.
GIG extends the popup menu of the Package Explorer, the toolbar, contributes two view, has help pages and a preference page.

Back to Top | Back to Table of Contents



School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT 84112 * isp-dev@cs.utah.edu
License