\coverpagestarts

\cleardoublepage %\thispagestyle{empty}
\vspace*{\fill}

\chapter*{Poděkování} Velké díky Zdeňkovi P., Petrovi F. a Aleně F. za
toleranci v zaměstnání, nezištnou odbornou pomoc, korekturu, pochopení a
podporu.

\cleardoublepage %\thispagestyle{empty}
\vspace*{\fill}%
\chapter*{Prohlášení}%
Prohlašuji, že jsem svou diplomovou práci vypracoval samostatně a použil jsem
výhradně materiály uvedené v přiloženém seznamu literatury. Nemám žádný závažný
důvod proti užití tohoto školního díla ve smyslu §60 Zákona č. 121/2000 Sb., o
právu autorském, o právech souvisejících s právem autorským a o změně některých
zákonů (autorský zákon).
\\[15mm]
V  Praze dne 18.1. 2007   \hfill \hbox to 70mm{\tiny\dotfill}

\cleardoublepage%\thispagestyle{empty}
\chapter*{Abstract}%
This work implements modified binary decision diagrams (MBDs) and uses their
structure to minimize incompletely specified logic functions. The product of
this work is a software package, which is able to load logic functions from PLA
files, minimize them and save them back to PLA file. Beside the minimization
itself the package implements various static and dynamic variable ordering
methods. This work introduces brand-new method for static variable ordering -
STAT. Results of MBD minimization is experimentally compared with results of
famous heuristic minimizer ESPRESSO.

\vglue60mm
\chapter*{Abstrakt}
Tato práce se zabývá modifikovanými binárními rozhodovacími diagramy (MBD) a
využitím jejich specifických vlastností při minimalizaci neúplně určených
logických funkcí. Výsledkem práce je softwarový balík, který dokáže načítat
logické funkce z PLA souborů, minimalizovat je a zpět uložit do PLA souboru.
Vedle samotné minimalizace jsou v balíku implementovány metody na statické i
dynamické řazení vstupních proměnných. Je zde představena nová metoda na
statické řazení proměnných nazvaná STAT. Účinnost minimalizace logických funkcí
pomocí MBD je porovnána s výsledky minimalizátoru ESPRESSO. Zároveň je vzájemně
porovnána účinnost všech implementovaných technik na řazení proměnných.

\cleardoublepage%\thispagestyle{empty}
\tableofcontents

\cleardoublepage%\thispagestyle{empty}
\listoffigures \addcontentsline{toc}{chapter}{\protect\numberline{}{Seznam
obrázků}}

\cleardoublepage%\thispagestyle{empty}
\listoftables
\addcontentsline{toc}{chapter}{\protect\numberline{}{Seznam
tabulek}}


%**************************************************************
\cleardoublepage%\thispagestyle{empty}

\mainbodystarts
