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
- ,
- ,
- 開始ページ
- 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