<紀要論文>
PGA上のSATソルバPCMGTPの改良について

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
JaLC DOI
関連DOI
関連URI
関連情報
概要 In this paper, an improved design of a SAT-solver PCMGTP on FPGA is described. The previous implementation of PCMGTP achieved considerable speedup of SAT-solving compared to the software counterpart o...f MGTP. After intensive analyses and experiments, it turned out that the early design contains much redundancy and has room for improvement. Also, we developed a generic description style in Verilog using arrays and iterative constructs. Experimental results show that the new implementation outperforms the old one with regard to both execution time and circuit size.続きを見る

本文ファイル

pdf p021 pdf 716 KB 179  

詳細

PISSN
EISSN
NCID
レコードID
査読有無
主題
登録日 2015.06.08
更新日 2020.12.08

この資料を見た人はこんな資料も見ています