FPGA-Based Hardware/Software Co-Design of a Bio-Inspired SAT Solver.
Anh Hoang Ngoc NguyenMasashi AonoYuko Hara-AzumiPublished in: IEEE Access (2020)
Keyphrases
- bio inspired
- sat solvers
- hardware software co design
- field programmable gate array
- hardware and software
- hardware implementation
- orders of magnitude
- embedded systems
- parallel computing
- constraint satisfaction
- swarm intelligence
- sat problem
- sat solving
- computing systems
- hw sw
- sat instances
- image processing algorithms
- search strategies
- hardware design
- search space
- boolean satisfiability
- hardware software
- artificial neural networks
- sat encodings
- low cost
- optimization algorithm
- pattern recognition
- computer systems
- boolean formula
- massively parallel
- real time
- state space
- search strategy
- constraint satisfaction problems