Solving satisfiability problems on FPGAs

Takayuki Suyama, Makoto Yokoo, Hiroshi Sawada

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

8 被引用数 (Scopus)

抄録

This paper presents a report on a new approach for solving satisfiability problems (SAT), i.e., creating a specialized logic circuit to solve each problem instance on Field Programmable Gate Arrays (FP-GAs). Recently, due to advances in FPGA technologies, users can now create their own reconfigurable logic circuits. Furthermore, by using current automatic logic synthesis technologies, users are able to design logic circuits automatically using a high level hardware description language (HDL). The combination of these two technologies have enabled users to rapidly create logic circuits specialized for solving individual problem instances. Satisfiability problems (SAT) were chosen because they make up an important subclass of NP-hard problems. We have developed a new algorithm called parallel-checking, which is suitable for this approach. In the algorithm, all variable values are assigned simultaneously, and all constraints are checked concurrently. Simulation results show that the order of the search tree size in this algorithm is approximately the same as that in the Davis-Putnam procedure. Then, we show how the parallel-checking algorithm can be implemented on FPGAs.

本文言語英語
ホスト出版物のタイトルField-Programmable Logic
ホスト出版物のサブタイトルSmart Applications, New Paradigms and Compilers - 6th International Workshop on Field-Programmable Logic and Applications, FPL 1996, Proceedings
編集者Reiner W. Hartenstein, Manfred Glesner
出版社Springer Verlag
ページ136-145
ページ数10
ISBN(印刷版)9783540617303
DOI
出版ステータス出版済み - 1996
外部発表はい
イベント6th International Workshop on Field-Programmable Logic and Applications, FPL 1996 - Darmstadt, ドイツ
継続期間: 9 23 19969 25 1996

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1142
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

その他

その他6th International Workshop on Field-Programmable Logic and Applications, FPL 1996
国/地域ドイツ
CityDarmstadt
Period9/23/969/25/96

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Solving satisfiability problems on FPGAs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル