|
Andrzej Zbrzezny
A Boolean Encoding of Arithmetic Operations
[Kodowanie Boolowskie operacji arytmetycznych]
999
Streszczenie
W pracy przedstawiamy algorytmy realizujące Boolowskie kodowanie czterech
podstawowych operacji arytmetycznych: dodawania, odejmowania, mnożenia i
dzielenia. Liczby całkowite są kodowane w systemie uzupełnieniowym do 2 jako
wektory formuł Boolowskich a operacje arytmetyczne są zakodowane jako operacje
na wektorach formuł Boolowskich. Dodatkowo przedstawiamy algorytmy realizujące
Boolowskie kodowanie dla operacji obliczania całkowitego pierwiastka
kwadratowego oraz dla operacji potęgowania.
Słowa kluczowe: kodowanie Boolowskie, ograniczona weryfikacja modelowa, układ
cyfrowy, SAT tester, automat czasowy, wektor formuł Boolowskich.
|
|
 |
 |
