Numer: 11/2015 Str. 154
Autorzy: Adrian Sadowski , Artur Jakubski , Grzegorz Michalski :
Tytuł: Równoległa realizacja naiwnej potokowej metody testowania spełnialności
Streszczenie: 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.
Słowa kluczowe: spełnialność, programowanie równoległe, FPGA