FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim on a M-KUBOS Board
dc.contributor.advisor | 天野, 英晴 / 教授 | |
dc.contributor.author | YAN, YINGJIE / 閻, 英傑 | |
dc.date.accessioned | 2021-12-20T00:21:45Z | |
dc.date.available | 2021-12-20T00:21:45Z | |
dc.date.issued | 2021-09-21 | |
dc.description | 修士(工学), 2021, 開放環境科学専攻 | |
dc.identifier.uri | /sigma_local/handle/10721/13275 | |
dc.language | en | |
dc.publisher | 慶應義塾大学理工学研究科 | |
dc.subject | マルチFPGA | ja |
dc.subject | MEC | ja |
dc.subject | PYNQ | ja |
dc.subject | SAT | ja |
dc.subject | multi FPGA | en |
dc.subject | MEC | en |
dc.subject | PYNQ | en |
dc.subject | SAT | en |
dc.title | FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim on a M-KUBOS Board | |
dc.title.alternative | M-KUBOSボード上での充足可能性問題ソルバーAmoebaSATslimの実装 | |
dc.type | 学位論文 |