The Boolean satisfiability(sat) problem is the key problem in computer theory and application. A parallel multi-thread satsolver named pprob sat+ on a configurable hardware is proposed. In the algorithm,multithreads ...
详细信息
The Boolean satisfiability(sat) problem is the key problem in computer theory and application. A parallel multi-thread satsolver named pprob sat+ on a configurable hardware is proposed. In the algorithm,multithreads are executed simultaneously to hide the circuit stagnate. In order to improve the working frequency and throughput of the satsolver, the deep pipeline strategy is adopted. When all data stored in block random access memory of the field programmable gate array, the solver can achieve maximum performance. If partial data are stored in the external memory, the size of the problem instances the satsolver can be greatly improved. The experimental results show that the speedup of three-thread satsolver is approximately 2.4 times with single thread,and shows that the pprob sat+ have achieved substantial improvement while a solution is found.
暂无评论