On improvements of a SAT-solver PCMGTP on FPGA

Hiroshi Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Shohei Kinoshita, Jun'ichi Matsuda

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)21-26
Number of pages6
JournalResearch Reports on Information Science and Electrical Engineering of Kyushu University
Issue number1
Publication statusPublished - Mar 1 2005

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Electrical and Electronic Engineering


Dive into the research topics of 'On improvements of a SAT-solver PCMGTP on FPGA'. Together they form a unique fingerprint.

Cite this