{}%% History:
% Pavel Tvrdik (26.12.2004)
%  + initial version for PhD Report
%
% Daniel Sykora (27.01.2005)
%
%  Michal Valenta (23.5. 2005)
% Upraveno a vyuzito pro formatovani diplomovych praci
% prozatim pouze v cestine.
%
% Michal Valenta (29.4. 2008)
% Preklopeno do kodovani UTF-8 a mirne doplneno
% dle http://en.wikibooks.org/wiki/LaTeX/Internationalization


\documentclass[12pt,twoside,a4paper]{mr}%two-page printing
\usepackage[czech]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8x]{inputenc}
\usepackage{graphicx}
\usepackage{isorot}


\input diplbakmacro.tex
\newcommand\TypeOfWork{Diplomová práce}
\newcommand\WorkTitle{Generátor náhodných logických obvodů}
\newcommand\FirstandFamilyName{Bc. Tomáš Měchura}
\newcommand\Month{květen}
\newcommand\Year{2008}
\newcommand\Supervisor{Ing. Petr Fišer}

\newcommand\StudProgram{Elektrotechnika a informatika dobíhající magisterský}
\newcommand\StudBranch{Výpočetní technika}
\newcommand\Faculty{Fakulta elektrotechnická}
\newcommand\University{České vysoké učení technické v Praze}

\begin{document}

{
\pagenumbering{roman} \cleardoublepage
\newpage
}

\cleardoublepage
\coverpagestarts

\cleardoublepage
\vspace*{\fill}
\chapter*{Poděkování}
Rád bych poděkoval ing. Petru Fišerovi za ochotu a vůli při pomoci s vypracováním této práce. Dále mým přátelům a kamarádům za jejich pochopení mé neúčasti na společných akcích. A v neposlední řadě lidem, kteří utvářeli atmosféru, při které tato práce vznikala.
\cleardoublepage
\vspace*{\fill}

\chapter*{Prohlášení}
Prohlašuji, že jsem svou diplomovou práci vypracoval samostatně a použil jsem pouze podklady uvedené v přiloženém seznamu.

Nemám závažný důvod proti užití tohoto školního díla ve smyslu \S 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 23.5.2008   \hfill \hbox to 70mm{\tiny\dotfill}

\cleardoublepage
\chapter*{Abstract}
This diploma thesis deals with implementation of three different generators of randomized logic circuits. The first one generates Boolean functions in the form of PLA table. The second one deals with generating of final state machine in KISS format considering the state machine determinism. The last program is focused on combinational logic circuit made of simple gates. The circuit is then optimised with genetics algorithms. In the end of thesis the third program is tested how input parameters affects the circuit’s testability and resynthesis.
\vglue50mm
\chapter*{Abstrakt}
Tato diplomová práce pojednává o tvorbě tří různých generátoru náhodných logických obvodů. První generuje popis obvodu formou Booleovských funkcí v tzv. PLA formátu. Druhý program řeší generování náhodného konečného automatu ve formátu KISS s ohledem na jeho determinismus. Třetí program se zabývá tvorbou kombinačního obvodu z jednoduchých hradel a jeho následnou optimalizaci pomocí genetických algoritmů. V závěru práce je třetí program testován na vliv nastavitelných parametrů na jeho minimalizaci a testovatelnost.

\cleardoublepage
\minrad
\parskip=0pt
\tableofcontents
\parskip=6pt
\normrad

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

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

\cleardoublepage

\chapter*{Slovník pojmů}
\input{slovnik.tex}
\addcontentsline{toc}{chapter}{\protect\numberline{}{Slovník pojmů}}

%**************************************************************
\cleardoublepage

\mainbodystarts

%**************************************************************

% Pro snadnejsi praci s vetsimi texty je rozumne tyto rozdelit
% do samostatnych souboru nejlepe dle kapitol a tyto potom vkladat
% pomoci prikazu \include{jmeno_souboru.tex}

\cleardoublepage
\chapter{Úvod}
\input{uvod.tex}

\cleardoublepage
\chapter{Analýza a návrh řešení}
\input{analyza.tex}

\cleardoublepage
\chapter{Implementace}
\input{implementace.tex}

\cleardoublepage
\chapter{Testování}
\input{testovani.tex}

\cleardoublepage
\chapter{Závěr}
\input{zaver.tex}

%*****************************************************************************
% seznam literatury
% je v samostatnem souboru reference.bib
% ten upravte dle vlastnich potreb
% potom zpracujte (a do textu zapracujte)
% pomoci prikazu bibtex a nasledne pdflatex (nebo latex)
% druhy z nich alespon 2x, aby se poresily reference 
\cleardoublepage
\bibliography{reference}
%\bibliographystyle{plain}
\bibliographystyle{abbrv}

%*************************************************************************

\cleardoublepage
\appendix

\chapter{Uživatelská příručka}
\input{prirucka.tex}

\cleardoublepage
\chapter{Obsah přiloženého CD}
V kořenovém adresáři se nachází binární spustitelný soubor generate.exe a podadresáře:

\paragraph{src}  - zde jsou uloženy zdrojové soubory generátorů
\paragraph{texty} - složka obsahuje tuto práci v elektronické podobě
\paragraph{testy} - obsahuje veškeré materiály týkající se provedených testů
\cleardoublepage

\cite{ATL}
\cite{STRN1}
\cite{STRN2}
\cite{DaS}
\cite{PAA}
\cite{WGA}
\cite{ATL}
\cite{clanek}
\cite{LS}
\end{document}
