A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware.

Miron Abramovici José T. de Sousa Daniel G. Saab

Published in: DAC (1999)

Keyphrases

massively parallel
processing elements
reconfigurable hardware
field programmable gate array
fine grained
parallel computing
high performance computing
functional units
low cost
hardware software
parallel architectures
general purpose
parallel computers
real time
parallel machines
fine grain