资料下载
×
基于硬件可编程逻辑的SAT求解算法研究与进展
消耗积分:3 |
格式:rar |
大小:0.57 MB |
2017-12-01
分享资料个
布尔可满足性SAT问题作为第一个被证明的NP完全问题，是计算机理论与应用的核心问题，有着重要的应用价值，因此近年来涌现了各种各样SAT求解器。但是，SAT求解器的运算效率始终是影响其应用的关键因素，所以利用硬件的高性能与并行性来加速SAT求解过程已成为验证领域的一个研究热点。归纳总结了在SAT求解过程中，利用硬件现场可编程门逻辑FPGA的并行性和灵活性加速求解过程的各种算法研究，着重总结分析了应用型SAT求解器的加速策略。通过对各种方法的深入分析，指出它们的优缺点，为未来的研究提供了思路。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
