FPGA-Based Hardware/Software Co-Design of a Bio-Inspired SAT Solver

FPGA-Based Hardware/Software Co-Design of a Bio-Inspired SAT Solver

For various kinds of Internet of Things (IoT) systems whose control rules can be expressed in a Satisfiability (SAT) problem, this work aims at realizing an IoT-oriented FPGA-based SAT solver leveraging a bio-inspired algorithm, AmoebaSAT, using a hardware/software co-design approach. With regard to...

Full description

Bibliographic Details
Main Authors: Anh Hoang Ngoc Nguyen, Masashi Aono, Yuko Hara-Azumi
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Bio-inspired algorithm
SAT solver
FPGA
high-level synthesis
Online Access:https://ieeexplore.ieee.org/document/9032106/

Internet

https://ieeexplore.ieee.org/document/9032106/

Similar Items