基于硬件模拟的 SA T求解框架

• 作者: 何安平 吴尽昭 毛乐乐 谌知学
• 来源期刊: 微电子学与计算机
• 关键词: 布尔可满足 现场可编程门阵列 合取范式
• 年，卷（期）: 2016,（9）
• 页码范围: 124-127
• 页数: 4页
• 分类号: TN710.9
• 语种: 中文

摘要

使用硬件方法求解SAT问题，采用现场可编程门阵列（FPGA）技术，针对大规模实际系统的CNF公式实例，定制化编译和转换为FPGA芯片，并完全依据FPGA硬件完成SAT满足性求解过程。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛乐乐	广西民族大学混杂计算与集成电路设计分析重点实验室	3	2	1.0	1.0
2	吴尽昭	广西民族大学混杂计算与集成电路设计分析重点实验室	23	39	4.0	5.0
3	何安平	广西民族大学混杂计算与集成电路设计分析重点实验室	3	6	1.0	2.0
4	谌知学	广西民族大学混杂计算与集成电路设计分析重点实验室	1	1	1.0	1.0