A CUDA C Program Generator for Verifying Logical Operators

Daisuke Takafuji, Koji Nakano, Yasuaki Ito

Abstract


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:

PDF

Refbacks

  • There are currently no refbacks.