No/VOL: 11/2015 Page no. 154
Authors: Adrian Sadowski , Artur Jakubski , Grzegorz Michalski :
Title: Równoległa realizacja naiwnej potokowej metody testowania spełnialności
Abstract: Układy FPGA ze względu na swoją architekturę bardzo dobrze pasują do rozwiązywania zagadnień z zakresu rozwiązywania problemów spełnialności SAT. W artykule przedstawiono współbierzne rozwiązanie problemu spełnialności z zastosowaniem programowalnych układów FPGA. Dla potrzeb realizacji zadania opracowno dedykowaną architekturę, opartą o układ FPGA (Xilinx Spartan-3AN) kominukującię się za pomocą protokołu UART.
Key words: spełnialność, programowanie równoległe, FPGA