基于硬件模拟的 SAT 求解框架

何安平; 毛乐乐; 谌知学; 吴尽昭

Chinese

您当前的位置：

首页 >

文章列表页 >

基于硬件模拟的 SAT 求解框架

更新时间：2026-09-04

- 基于硬件模拟的 SAT 求解框架
- A Hardware Framework of SAT Solver
- 微电子学与计算机 2016年33卷第9期页码：124-127
- 作者机构：
  
  广西民族大学机构混杂计算与集成电路设计分析重点实验室,广西,南宁,530006
- 作者简介：
- 基金信息：
  
  国家自然科学基金 61402121国家自然科学基金 11371003国家自然科学基金 11461006广西自然科学基金 2013GXNSFAA019342广西自然科学基金 2012GXNSFGA060003广西高校科学技术研究项目 ZD2014044广西教育厅科研资助项目 201012MS274广西民族大学2015年研究生教育创新计划项目 gxun-chxs2015097
- DOI：
  中图分类号：
- 纸质出版：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

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种基于特征上下文理解与切片分析的肺结核检测算法

低功耗设计的双链电源关断策略的实现与验证

一种用于极低压boost系统的高效率电荷泵

AlN/GaN混合缓冲层双异质结p-GaN HEMT直流特性仿真

基于MSS-YOLO-MPHands融合架构的装配手部动作识别研究