Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2011 | nr 3 | 151-156
Tytuł artykułu

Testing satisfiability of logical formulas based on FPGA

Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
FPGA (Field Programmable Gate Array) allows direct programming the matrix of configurable blocks and thus forming a programmable logic adapted to the problem being solved. The appearance of programmable devices on the market and their higher capacity have resulted in increase of interest in this technology in recent years. In this paper we introduce the use of programmable devices for testing satisfiability and tautological character of logical formulas. We compare the achieved results of the calculations for the architecture created by us with the general-purpose architectures.
Słowa kluczowe
PL
FPGA   SAT   VHDL  
EN
FPGA   SAT   VHDL  
Wydawca

Rocznik
Tom
Strony
151-156
Opis fizyczny
Bibliogr. 11 poz., rys., tab.
Twórcy
autor
autor
  • Institute of Computer and Information Sciences Częstochowa University of Technology
Bibliografia
  • [1] S. Hauck, A. DeHon. Reconfigurable computing: the theory and practice of FPGA-based computation. Morgan Kaufmann Pub, 2008.
  • [2] T. Łuba. Synteza układów cyfrowych. Warszawa: WKŁ, 2003.
  • [3] A. Sadowski. Przegląd rozwiązań sprzętowo - programowych do problemów o dużej złożoności obliczeniowej przy wykorzystaniu układów programowalnych. V Ogólnopolska Konferencja Naukowa NAUKA I PRZEMYSŁ, 2010.
  • [4] J. Cichoń, M. Gogolewski, M. Kutyłowski. Logika dla informatyków. Wydawnictwo Wyższej Szkoły Komunikacji i Zarządzania w Poznaniu, 2006.
  • [5] A. Sadowski, A. Jakubski. Dedykowana architektura stworzona na FPGA do badania logicznych formuł. Zeszyty Naukowe Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, pp. 147–152, 2011.
  • [6] M. Davis, H. Putnam. Computational methods in the propositional calculus. unpublished report, Rensselaer Polytechnic Institute, 1958.
  • [7] G. Tseitin. On the complexity of derivation in propositional calculus. Studies in constructive mathematics and mathematical logic, 2(115–125):10–13, 1968.
  • [8] A. Biere, M. Heule, H. van Maaren, T. Walsh. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press, 2009.
  • [9] K. Wiatr. Pipeline architecture of specialized reconfigurable processors in FPGA structures for real-time image pre-processing. IEEE Computer Society, 1998.
  • [10] M. Redekopp, A. Dandalis. A Parallel Pipelined SAT Solver for FPGA s. Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing, pp. 462–468, 2000.
  • [11] T. Pagarani, F. Kocan, D. Saab, J. Abraham. Parallel and scalable architecture for solving SATisfiability on reconfigurable FPGA. Custom Integrated Circuits Conference, 2000. CICC. Proceedings of the IEEE 2000, pp. 147–150. IEEE, 2000.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BPS3-0022-0070
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.