Back to Search
Start Over
Accelerating Boolean Satisfiability on an FPGA.
- Source :
- Hardware Acceleration of Eda Algorithms; 2010, p63-81, 19p
- Publication Year :
- 2010
-
Abstract
- In this chapter, we propose an FPGA-based SAT approach in which the traversal of the implication graph as well as conflict clause generation is performed in hardware, in parallel. In our approach, clause literals are stored in the FPGA slices. In order to solve large SAT instances, we heuristically partition the clauses into a number of `bins,΄ each of which can fit in the FPGA. This is done in a preprocessing step. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9781441909435
- Database :
- Complementary Index
- Journal :
- Hardware Acceleration of Eda Algorithms
- Publication Type :
- Book
- Accession number :
- 76825025
- Full Text :
- https://doi.org/10.1007/978-1-4419-0944-2_5