基于硬件可编程逻辑(FPGa)的SaT算法的综述

周进; 赵希顺

首页> 中文期刊> 《电子世界》 >基于硬件可编程逻辑(FPGa)的SaT算法的综述

基于硬件可编程逻辑(FPGa)的SaT算法的综述

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

可满足性问题(简称SAT问题)作为第一个被证明的NP完全问题,是计算机科学的核心问题之一.本文系统总结了基于硬件可编程逻辑(FPGA--- Field Programmable Gate Array)的SAT算法研究.将基于FPGA的SAT算法研究分为了实例型(instance-specificd solver)和应用型(application-specified solver)两种类型.通过对各种方法的深入分析,指出了它们的优点和缺陷,进而提出未来研究的思路.

著录项

来源
《电子世界》 |2012年第6期|61-63,69|共4页
作者
周进; 赵希顺;
展开▼
作者单位

中山大学逻辑与认知研究所;

中山大学逻辑与认知研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
可编程逻辑; SAT算法; 可满足性; FPGA;

相似文献

中文文献
外文文献
专利

1. 基于硬件可编程逻辑的SAT求解算法研究与进展 [J] . 马柯帆 ,肖立权 ,张建民 . 计算机工程与科学 . 2016,第004期
2. 基于对可编程逻辑块建模的FPGA通用装箱算法 [J] . 倪刚 ,童家榕 ,来金梅 . 计算机工程 . 2007,第006期
3. PLBMAP:高性能通用FPGA可编程逻辑块映射算法 [J] . 蔡丹 ,来金梅 ,童家榕 . 微电子学与计算机 . 2008,第8期
4. 基于不完全算法的并行FPGA SAT求解器 [J] . 黎铁军 ,马柯帆 ,张建民 . 计算机工程与科学 . 2021,第012期
5. 一种基于SAT的FPGA映射优化算法 [J] . 陆华奇 . 电脑知识与技术 . 2008,第035期
6. 可编程逻辑器件上实现可进化硬件的容错原理分析 [C] . 龚健 ,杨孟飞 . 全国第十二届空间及运动体控制技术学术会议 . 2006
7. 基于可编程逻辑的硬件平台的设计与形式化验证 [A] . 张倩 . 2009

基于硬件可编程逻辑(FPGa)的SaT算法的综述

摘要

著录项

相似文献

相关主题

期刊订阅