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