FPGAs (Can Get Some) SATisfaction

Hariprasadh Godindasamy, Babak Esfandiari, Paulo Garcia

We present a hardware-accelerated SAT solver suitable for processor/Field Programmable Gate Arrays (FPGA) hybrid platforms, which have become the norm in the embedded domain. Our s…