Repository logo
 

FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim on a M-KUBOS Board

dc.contributor.advisor天野, 英晴 / 教授
dc.contributor.authorYAN, YINGJIE / 閻, 英傑
dc.date.accessioned2021-12-20T00:21:45Z
dc.date.available2021-12-20T00:21:45Z
dc.date.issued2021-09-21
dc.description修士(工学), 2021, 開放環境科学専攻
dc.identifier.uri/sigma_local/handle/10721/13275
dc.languageen
dc.publisher慶應義塾大学理工学研究科
dc.subjectマルチFPGAja
dc.subjectMECja
dc.subjectPYNQja
dc.subjectSATja
dc.subjectmulti FPGAen
dc.subjectMECen
dc.subjectPYNQen
dc.subjectSATen
dc.titleFPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim on a M-KUBOS Board
dc.title.alternativeM-KUBOSボード上での充足可能性問題ソルバーAmoebaSATslimの実装
dc.type学位論文

Files

Original bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
abstract.pdf
Size:
22.49 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
document.pdf
Size:
3.33 MB
Format:
Adobe Portable Document Format

Collections