A CUDA C Program Generator for Verifying Logical Operators

Daisuke Takafuji, Koji Nakano, Yasuaki Ito


We develop a tool, named L2CU, which automatically generates a CUDA C program for verifying logical opera- tors. The L2CU has been used to generate CUDA C programs for solving SAT. Compared to a sequential implementation on a single CPU, the generated CUDA C programs for solving SAT algorithms run 2296.7 times faster.

Full Text:



  • There are currently no refbacks.