Použití vícehodnotové logiky pro syntézu log. obvodů (Multivalued Logic in Logic Synthesis)

Úkolem této práce je vytvořit programový balík pro manipulaci s vícehodnotovou logikou. Za pouľívanou reprezentaci vícehodnotových funkcí byla zvolena reprezentace progamovatelnými logickými poli (PLA). Konkrétním úkolem bylo implementovat některé operace nad termy obecně vícehodnotového PLA a těmi jsou průnik termů, sjendocení termů, nadkrychle termů a rozdíl jednoho termu od průniku tohoto termu s jiným termem. Dále jsem měl implementovat tzv. Co-singleton transformaci termů, coľ je převod vícehodnotových výrazů na binární obraz ke zpracování v bin árních metodách optimalizace vícehodnotové logiky, a k tomu přísluąnou inverzní Co-singleton transformaci. Daląím úkolem bylo implementovat operace nad dvojící funkcí, tedy nad dvěmi PLA a to konkrétně operace AND a OR. Vstupem pro zpracování operací je textový soubor s popisem PLA inspirovaný notací ESPRESSO a výstupem je rovněľ takovýto soubor s vý- sledným PLA.

The task of this project is to make a package for manipulating with multiple-valued logic. The chosen representation for multiple-valued functions is representation by programmable logic arrays (PLA). Concrete task was to implement some operations over terms of generally multiplevalued PLAs like intersection of terms, union of terms, subercube of terms and a dierence of one term with intersection of this term with another one. Then I was wanted to implement so-called Co-singleton transformation which is converting of multiple-valued expressions to binary images for manipulation using binary methods of optimization of multiple-valued logic, and also to implement corresponding inverse transformation. The next task was to implement operations over two logic functions, in this - two PLAs, concretly the operations AND and OR. The input for manipulating with is a text file with description of PLA inspirated by ESPRESSO notation, and the output is also such file with result PLA.