|
Authors: | Marco Platzner, Giovanni De Micheli, |
Group: | Computer Engineering |
Type: | Inproceedings |
Title: | Acceleration of Satisfiability Algorithms by Reconfigurable Hardware |
Year: | 1998 |
Pub-Key: | PDM98 |
Book Titel: | Proceedings of the 8th International Workshop on Field-Programmable Logic and Applications FPL 98 |
Pages: | 69-78 |
Abstract: | We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples from the DIMACS benchmarks suite, high raw speed-ups over software can be achieved. We present a design tool flow and prototype implementation of an instance-specific satisfiability solver and discuss experimental results. We measure the overall speed-up of the instance-specific architecture that takes the hardware compilation time into account. The results prove that many of the DIMACS examples can be accelerated with current FPGA technology. |
Location: | Tallinn, Estonia |
Resources: | [BibTeX] [Paper as PDF] |