PGA上のSATソルバPCMGTPの改良について

DOI HANDLE Web Site 被引用文献1件 オープンアクセス
  • 藤田 博
    九州大学大学院システム情報科学研究院知能システム学部門
  • 長谷川 隆三
    九州大学大学院システム情報科学研究院知能システム学部門
  • 越村 三幸
    九州大学大学院システム情報科学研究院知能システム学部門
  • 木之下 昇平
    九州大学大学院システム情報科学府知能システム学専攻 : 修士課程
  • 松田 純一
    九州大学大学院システム情報科学府知能システム学専攻 : 修士課程

書誌事項

タイトル別名
  • On Improvements of a SAT-Solver PCMGTP on FPGA
  • FPGA上のSATソルバPCMGTPの改良について
  • FPGA ジョウ ノ SAT ソルバ PCMGTP ノ カイリョウ ニ ツイテ

この論文をさがす

抄録

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 of 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.

収録刊行物

被引用文献 (1)*注記

もっと見る

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ