README.md

Systemu do weryfikacji układów cyfrowych

Metody Programowania, semestr letni 2016/2017 II UWr
Język Programowania: Prolog

Implementacja systemu do weryfikacji prostych układów cyfrowych. System korzysta z:

• interpreter języka HDML (język opisu sprzętu);
• program obliczający rezolwentę dwóch klauzul oraz szukający rezolucyjnego dowodu sprzeczności;
• program szukający wartościowań spełniających zadany zbiór klauzul;

Interpreter języka HDML

Testy poprawnościowe należy uruchomić za pomocą polecenia:
swipl -f verify.pl -t main PROGRAM TEST_SUITE
gdzie:
PROGRAM jest ścieżką do programu w języku HDML
TEST_SUITE jest ścieżką do pliku z testami