FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim on a M-KUBOS Board
Loading...
Date
2021-09-21
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
慶應義塾大学理工学研究科
Abstract
Description
修士(工学), 2021, 開放環境科学専攻
Keywords
マルチFPGA, MEC, PYNQ, SAT, multi FPGA, MEC, PYNQ, SAT