A practical reconfigurable hardware accelerator for Boolean satisfiability solvers.

John D. Davis Zhangxi Tan Fang Yu Lintao Zhang

Published in: DAC (2008)

Keyphrases

reconfigurable hardware
field programmable gate array
low cost
hardware implementation
neural network
fine grain
hardware software
computer vision
general purpose
signal processing