Parallel and scalable architecture for solving SATisfiability on reconfigurable FPGA.
Tarachand PagaraniFatih KocanDaniel G. SaabJacob A. AbrahamPublished in: CICC (2000)
Keyphrases
- systolic array
- hardware implementation
- pipelined architecture
- field programmable gate array
- parallel architecture
- reconfigurable hardware
- hardware architecture
- processing elements
- multi processor
- low cost
- software implementation
- data flow
- fpga implementation
- parallel computing
- parallel processing
- fpga technology
- hardware design
- xilinx virtex
- hardware software
- real time
- parallel hardware
- signal processing
- dedicated hardware
- hardware architectures
- satisfiability testing
- distributed processing
- embedded systems
- heterogeneous computing
- multi core processors
- computational complexity
- parallel architectures
- high speed
- shared memory
- massively parallel
- digital signal
- hardware software co design
- efficient implementation
- image processing algorithms
- level parallelism
- stochastic local search
- sat solving
- multithreading
- distributed memory
- sat instances
- constraint satisfaction problems
- general purpose
- master slave
- fine grain