A pure hardware k-SAT solver for FPGA

In this paper, two main aspects are developed to solve a problem of management of industrial production resources. These aspects are, on the one hand, the basic principles of operation and resolution of a generic SAT configurable solver and, on the other hand, methods adapted to the operating principle adopted for the hardware solver. Indeed, although targeting goals comparable to those of the software approach (optimization of the search space path), the material approach requires the development of specific resolution methods. These have been specifically optimized for the target application area of industry. The effectiveness of the material approach developed showed satisfactory results on FPGA card "Nexys Video" of Digilent Xilinx Vivado 15.4 suite, point of view of the number of variables used and resolution time on the problems tested.