FPGA-based amoeba-inspired SAT solver for cyber-physical systems

Anh Hoang Ngoc Nguyen, Masashi Aono, Yuko Hara-Azumi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

This study presents a hardware architecture design to solve the Satisfiability (SAT) problem which can represent various types of control applications in Cyber-Physical Systems (CPS). The proposed architecture adapts an emerging bio-inspired SAT solver, “AmoebaSAT” which possesses the high potentials of parallel computing and is thus suitable for hardware implementation. By exploring several hardware optimization techniques through an advanced high-level design technology (i.e., high-level synthesis), we realized an FPGA-based AmoebaSAT solver applicable to any CPS application whose control rules can be expressed as a SAT instance.

Original languageEnglish
Title of host publicationICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems
EditorsGowri Sankar Ramachandran, Jorge Ortiz
PublisherAssociation for Computing Machinery, Inc
Pages316-317
Number of pages2
ISBN (Electronic)9781450362856
DOIs
Publication statusPublished - 2019 Apr 16
Event10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week - Montreal, Canada
Duration: 2019 Apr 162019 Apr 18

Publication series

NameICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems

Conference

Conference10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week
CountryCanada
CityMontreal
Period19/4/1619/4/18

    Fingerprint

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture

Cite this

Nguyen, A. H. N., Aono, M., & Hara-Azumi, Y. (2019). FPGA-based amoeba-inspired SAT solver for cyber-physical systems. In G. S. Ramachandran, & J. Ortiz (Eds.), ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems (pp. 316-317). (ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems). Association for Computing Machinery, Inc. https://doi.org/10.1145/3302509.3313319