%% History:
%
% Pavel Tvrdik (26.12. 2004)
%  + initial version for PhD Report
%
% Daniel Sykora (27.01. 2005)
%
% Michal Valenta (23.5. 2005)
%%

\documentclass[11pt,twoside,a4paper,czech]{mr}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[czech]{babel}
\usepackage{graphicx}
\usepackage{lscape}
\usepackage{multirow}

\input thesis_macro.tex

\newcommand\TypeOfWork{Diplomová práce}
\newcommand\WorkTitle{Použití genetických algoritmů pro syntézu
celulárních automatů pro testování logických obvodů}
\newcommand\FirstandFamilyName{Petr Hašlar}
\newcommand\Month{květen}
\newcommand\Year{2007}
\newcommand\Supervisor{Ing. Petr Fišer}

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

\begin{document}

%**************************************************************
% the frontmatter
%**************************************************************

\coverpagestarts

\cleardoublepage%\thispagestyle{empty}
\vspace*{\fill}
\chapter*{Poděkování}

Rád bych na tomto místě poděkoval svému vedoucímu diplomové práce,
Ing. Petru Fišerovi, a svým rodičům, bez jejichž vydatné podpory by
tato práce nikdy nevznikla.

\cleardoublepage%\thispagestyle{empty}
\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. 2007\hfill\hbox to 70mm {\tiny\dotfill}
 
\cleardoublepage%\thispagestyle{empty}
\chapter*{Abstract}

This thesis evaluates genetic algorithms with regards to their
possible application to the problem of cellular automaton synthesis,
where the resulting automaton should be able to act as a test
pattern generator for combinational logic circuits. The thesis
proposes a binary genetic algorithm suitable for such a task and
evaluates its implementation in comparison with a fully randomized
approach for solving the given problem.

The thesis also contains a brief introduction to commonly used
methods of logic circuit testing with the focus on the usage of
cellular automata as pseudorandom test pattern generators within
built-in self-test devices.

Keywords: genetic algorithms, built-in self-test device, test
pattern generator, cellular automaton

\vglue 60mm
\chapter*{Anotace}

Tato práce se zabývá použitím genetických algoritmů pro řešení
problému syntézy celulárních automatů vhodných k testování
kombinačních logických obvodů. Práce předkládá návrh vhodné varianty
binárního genetického algoritmu a výsledná implementace takového
algoritmu je pak experimentálně vyhodnocena srovnáním s plně
randomizovaným přístupem k řešení zadaného problému.

Práce dále obsahuje stručný přehled problematiky testování logických
obvodů a možností využití celulárních automatů v rámci prostředků
vestavěné diagnostiky jako generátorů posloupností pseudonáhodných
testovacích vektorů.

Klíčová slova: genetické algoritmy, vestavěná diagnostika, generátor
testovacích vektorů, celulární automat

\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}}

%**************************************************************
% the main body
%**************************************************************

\cleardoublepage%\thispagestyle{empty}

\mainbodystarts

\include{preface}

\include{statement}

\include{theory}

\include{analysis}

\include{implementation}

\include{experiments}

\include{conclusion}

%**************************************************************
% used literature
%**************************************************************

\cleardoublepage
\bibliography{thesis}
%bibliographystyle{plain}
%\bibliographystyle{abbrv}
\bibliographystyle{ieeetr}

%**************************************************************
% appendices
%**************************************************************

\cleardoublepage
\appendix
\chapter{Seznam použitých zkratek}

\begin{description}
\item[ANSI] American National Standards Institute
\item[ATE] Automated Test Equipment
\item[ATPG] Automatic Test Pattern Generation
\item[BIST] Built-in Self-test
\item[CA] Cellular Automaton
\item[CLI] Command Line Interface
\item[CUT] Circuit Under Test
\item[DFT] Design for Testability
\item[GA] Genetic Algorithm
\item[ISO] International Organization for Standardization
\item[LFSR] Linear Feedback Shift Register
\item[LHCA] Linear Hybrid Cellular Automaton
\item[MPI] Message Passing Interface
\item[PRPG] Pseudo-random Pattern Generator
\item[RE] Response Evaluator
\item[TPG] Test Pattern Generator
\item[XOR] Exclusive Disjunction
\end{description}

%\cleardoublepage
%\chapter{UML diagramy}

%\cleardoublepage
%\chapter{Uživatelská příručka}

\cleardoublepage
\chapter{Obsah přiloženého CD}

\begin{verbatim}
thesis
  |-bench (ISCAS-89 a ITC-99 benchmarky)
  |-code (zdrojovy kod programu)
  |-fsim (simulator poruch fsim)
  |-intro (uvodni studie)
  |-logs (zaznamy mereni)
  |---b07-102
  |---b07-1021
  |---b07-252
  |---b07-26
  |---b07-48
  |---b07-526
  |---b07-71
  |---b07-784
  |---c2670
  |---c3540
  |---c880
  |---s386
  |---s420
  |---s713
  |---s838
  |---s953
  |-paper (zdrojovy text prace)
  |---figs (grafy a obrazky)
  |-rand (generatory pseudonahodnych cisel)
  |-tables (predgenerovane tabulky vektoru)
\end{verbatim}

\end{document}

