\chapter{Záměr práce}
% popis problemu
% struktura prace

Jak jsem již v úvodu naznačil, důležitou částí BIST obvodů je
generátor stimulů testovaného obvodu. Výstup generátoru, nazývaný
též
\emph{vstupní}
nebo
\emph{testovací vektor},
tvoří spolu s očekávanou odezvou testovaného obvodu ve formě
\emph{výstupního vektoru}
tzv.
\emph{krok testu}.
Posloupnost takovýchto kroků pak tvoří samotný
\emph{test}
\cite{HLAV98}.

Cílem této práce je prozkoumat možnosti využití genetických
algoritmů pro syntézu celulárních automatů použitelných jako
generátory testovacích vektorů pro kombinační logické obvody.

Genetické algoritmy budeme v rámci práce používat k evoluci
optimální struktury vhodného celulárního automatu. Ta může být
popsána formou
\emph{pravidel},
kterými se jednotlivé buňky automatu řídí, nebo jeho
\emph{charakteristickou maticí}.
Takový popis struktury bude navíc doplněn o počáteční nastavení
buňek, tzv.
\emph{seed},
který bude také předmětem evoluce (pro definici výše zmínených pojmů
viz kap.
\ref{chap:theory-ca}).

Použitelnost celulárního automatu určité struktury jako generátoru
testovacích vektorů bude vyhodnocována především prostřednictvím
simulátoru poruch
\emph{fsim}
\cite{FSIM}.

Vhodnost různých implementací genetických algoritmů k tomuto účelu
bude posuzována experimentálně, porovnáním s plně randomizovaným
přístupem. Plně randomizovaným přístupem se v textu rozumí zcela
náhodné generování celulárních automatů, při kterém se vždy udržuje
nejlepší takto nalezený automat.

Samotný text je rozčleněn do celem sedmi kapitol, pricemž první
dvě tvoří samotný úvod a záměr práce.

Další kapitoly jsou koncipovány takto:
\begin{itemize}
\item{
Třetí kapitola pokrývá teoretický základ práce. Jsou v ní postupně
probrány existující metody pro testování logických obvodů, teorie
celulárních automatů, obecné principy fungování genetických
algoritmů a jejich různé varianty.
}

\item{
Čtvrtá kapitola se zabývá návrhem genetického algoritmu pro zadaný
problém syntézy optimálního celulárního automatu.
}

\item{
Pátá kapitola pak popisuje samotnou implementaci tohoto algoritmu
s důrazem na její nestandardní části.
}

\item{
V šesté kapitole jsou uvedeny výsledky měření finálního programu.
Cílem měření je zjistit vliv různých parametrů implementovaného
algoritmu na kvalitu výsledného celulárního automatu, tj. jeho
vhodnosti jako generátoru testovacích vektorů.
}

\item{
Naměřené výsledky a přínos práce shrnuje závěrečná, sedmá kapitola.
}
\end{itemize}

