### Diplomová práce

# Převod víceúrovňové logiky na dvouúrovňovou

## Jaroslav Bartoník

- Text diplomové práce

- Text diplomové práce ve formátu pdf

- Spustitelné verze programu

- Instalace / spuštění programu Collapsing

- Spustitelná verze programu Collapsing pomocí metody přímého převodu

- Spustitelná verze programu Collapsing pomocí metody and-or

- Program Espresso, který může využívat program Collapsing

- Zdrojové kódy programu

- Zdrojové kódy metody přímého převodu

- Zdrojové kódy metody and-or

- Testované obvody

- Soubory s testovanými obvody ve formátu BENCH