\documentclass[11pt,twoside,a4paper]{mr}%two-page printing
\usepackage{czech}
\usepackage[latin2]{inputenc}
\usepackage{graphicx}
\usepackage{amssymb}

\linespread{1,1}

\input diplbakmacro.tex   % specialni makra pro formatovani diplomek

\newcommand\TypeOfWork{Bakalářská práce}
\newcommand\WorkTitle{Dekompozice sekvenčních obvodů}
\newcommand\FirstandFamilyName{Václav Jaša}
\newcommand\Month{leden}
\newcommand\Year{2007}
\newcommand\Supervisor{Doc. Ing. Hana Kubátová, CSc}

\newcommand\StudProgram{Elektrotechnika a informatika strukturovaný bakalářský}
\newcommand\StudBranch{Informatika a výpočetní technika}
\newcommand\Faculty{Fakulta elektrotechnická}
\newcommand\University{České vysoké učení technické v Praze}

\begin{document}

\hyphenation{di-men-sion-al ma-te-ma-ti-ky hard-ware trans-fer-able au-to-mat al-ge-bra-ic-ký pře-cho-do-vou de-fi-no-va-ný ú-pl-ně roz-kla-do-vých}

\coverpagestarts

\cleardoublepage 
\thispagestyle{empty}
\vspace*{\fill}
\chapter*{Poděkování}
Chtěl bych poděkovat své vedoucí práce Doc. Ing. Haně Kubátové, CSc. za její odborné vedení, cenné připomínky a pomoc při vypracovávání.

\cleardoublepage 
\thispagestyle{empty}
\vspace*{\fill}
\chapter*{Prohlášení}
Prohlašuji, že jsem svou bakalářskou 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 27.12.2007   \hfill \hbox to 70mm{\tiny\dotfill}
 
\cleardoublepage
\thispagestyle{empty}
\chapter*{Abstract}
This thesis summarizes the knowledge about the decomposition of sequential circuits. The decomposition allows a better optimalization of the implementation of digital circuits, particulary of FPGS chips, quite popular in nowadays.Thanks to the decomposition we are able to improve i.e. the critical path of the circuits, better place distribution or reduction of a number of intup and output signals. In this thesis there is introduced a short overview of methods and principles used for the decomposition together with theory important for it. The main idea of the thesis is a concept of general decomposition of incompletely specified machines with a multi-state realization. A method for finding of such decomposition is introduced at last together with its implementation, which realization is a part of this thesis.
\vglue60mm
\chapter*{Abstrakt}
Tato práce je shrnutím poznatků týkajícich se dekompozice sekvenčních obvodů. Dekompozice umožňuje lepší optimalizaci implementace digitálních obvodů, především u v současnosti hojně užívaných FPGA chipů. Díky dekompozici je možno dosahovat např. kratších kritických cest, lepšího rozmístění na ploše chipu či omezení počtu vstupů a výstupů. V této práci je uveden stručný přehled jednotlivých druhů a metod dekompozice spolu s teorií a pojmy důležitými pro dekompozici. Hlavním bodem je potom představení obecné dekompozice sekvenčního automatu s vícestavovou realizací. Je zde uveden princip tohoto druhu dekompozice a také příklady pro větší názornost. V závěru je představena metoda hledání takovéto dekompozice a popsána její implementace, jejíž realizace je také součástí práce.

\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

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

%***********  UVOD
\include{uvod}
\cleardoublepage
\thispagestyle{empty}

%***********  TEORIE
\include{teorie}
\cleardoublepage
\thispagestyle{empty}

%***********  DEKOMPOZICE FSM
\include{dekompozice}
\cleardoublepage
\thispagestyle{empty}

%***********  IMPLEMENTACE DEKOMPOZICE
\include{implementace}
\cleardoublepage
\thispagestyle{empty}

%***********  ZAVER
\include{zaver}
\cleardoublepage
\thispagestyle{empty}

%*****************************************************************************
%***********  PRILOHY
\appendix

%***********  SEZNAM LITERATURY
\cleardoublepage
\bibliography{reference}
\bibliographystyle{plain}
%\bibliographystyle{abbrv}

%***********  SEZNAM POUZITYCH ZKRATEK
\include{zkratky}
\cleardoublepage
\thispagestyle{empty}

\end{document}
