論文

査読有り
2019年

FPGA-Based amoeba-inspired SAT solver for cyber-physical systems.

ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS
  • Anh Hoang Ngoc Nguyen
  • ,
  • Masashi Aono
  • ,
  • Yuko Hara-Azumi

開始ページ
316
終了ページ
317
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1145/3302509.3313319
出版者・発行元
ASSOC COMPUTING MACHINERY

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, "Amoe-baSAT" 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.

リンク情報
DOI
https://doi.org/10.1145/3302509.3313319
DBLP
https://dblp.uni-trier.de/rec/conf/iccps/NguyenAH19
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000473800800036&DestApp=WOS_CPL
URL
https://dblp.uni-trier.de/conf/iccps/2019
URL
https://dblp.uni-trier.de/db/conf/iccps/iccps2019.html#NguyenAH19
ID情報
  • DOI : 10.1145/3302509.3313319
  • ISSN : 2375-8317
  • ISBN : 9781450362856
  • DBLP ID : conf/iccps/NguyenAH19
  • Web of Science ID : WOS:000473800800036

エクスポート
BibTeX RIS