A Hardware Framework of SAT Solver

HE An-ping; MAO Le-le; CHEN Zhi-xue; WU Jin-zhao

Chinese

您当前的位置：

首页 >

文章列表页 >

A Hardware Framework of SAT Solver

更新时间：2026-09-04

- A Hardware Framework of SAT Solver
- Vol. 33, Issue 9, Pages: 124-127(2016)
- 作者机构：
  
  广西民族大学机构混杂计算与集成电路设计分析重点实验室,广西,南宁,530006
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2016
- 稿件说明：
移动端阅览
何安平, 毛乐乐, 谌知学, 吴尽昭. 基于硬件模拟的 SAT 求解框架[J]. 微电子学与计算机, 2016, 33(9): 124-127.

HE An-ping, MAO Le-le, CHEN Zhi-xue, et al. A Hardware Framework of SAT Solver[J]. 2016, 33(9): 124-127.
何安平, 毛乐乐, 谌知学, 吴尽昭. 基于硬件模拟的 SAT 求解框架[J]. 微电子学与计算机, 2016, 33(9): 124-127. DOI：

HE An-ping, MAO Le-le, CHEN Zhi-xue, et al. A Hardware Framework of SAT Solver[J]. 2016, 33(9): 124-127. DOI：

摘要

使用硬件方法求解SAT问题

采用现场可编程门阵列(FPGA)技术

针对大规模实际系统的CNF公式实例

定制化编译和转换为FPGA芯片

并完全依据FPGA硬件完成SAT满足性求解过程.

Abstract

In this paper

we customized the FPGA chip to fit the SAT problem

e.g.

translating and compiling the large scale system

and then seccessfully solved the problem by FPGA autonomously.

关键词

Keywords

references

P Zhong, M Martonosi, P Ashar, et al. Using configurable computing to accelerate boolean satisfiablitiy[J]. IEEE trans Computer-Aided Design of Integrated Circuits and Systems, 1999, 18(6): 861-868. DOI: 861

N A Reis, J T de Sousa. On implementing a configware/software SAT solver[C]//Proc 10th IEEE Int'l Sympl Field-programmable Custom Computing Machines. Napa, California: IEEE, 2002: 282-283.

黄文奇, 金人超. 求解SAT问题的拟物拟人算法——Solar[J]. 中国科学(E辑), 1997, 27(2): 179-186. DOI: 179

J T D. Sousa, J P Marques-Silva, M Abramovici. A configware/software approach to SAT solving[C]//Proc Ninth IEEE Int'Symp Field-Programmable Custom Computing Machines. Californla: IEEE, 2001: 239-298.

张建民, 沈胜宇, 李思昆. 可满足性求解技术研究[J]. 计算机工程与科学, 2010, 31(1): 500-504. DOI: 500

周进, 赵希顺. 基于硬件可编程逻辑(FPGA)的SAT算法的综述[J]. 电子世界, 2012, 33(6): 61-63. DOI: 61

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Simulation on the DC characteristics of double heterojunction p-GaN HEMT with AlN/GaN hybrid buffer layer

Lightweight countermeasures against Spectre attacks on the branch prediction unit

Aerial vehicle detection algorithm based on multi-scale fusion and small-object enhancement

Monte carlo analysis of V-layout trench SiC neutron detector

Design of ultra-low power real-time clock circuits

Related Author

No data

Related Institution

No data

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰