\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand*{\memsetcounter}[2]{}
\catcode `"\active 
\catcode `-\active 
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\changetocdepth  {3}}
\providecommand \oddpage@label [2]{}
\babel@aux{czech}{}
\babel@aux{czech}{}
\babel@aux{english}{}
\babel@aux{czech}{}
\babel@aux{english}{}
\babel@aux{czech}{}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{{\' U}vod}{1}{chapter*.5}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\citation{moskewicz2001chaff}
\citation{balcarek}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{\chapternumberline {1}C\IeC {\'\i }l pr\IeC {\'a}ce}{3}{chapter.1}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\citation{ababei}
\citation{mitsp01}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{\chapternumberline {2}Testov\IeC {\'a}n\IeC {\'\i } integrovan\IeC {\'y}ch obvod\IeC {\r u}}{5}{chapter.2}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}V\IeC {\'y}roba integrovan\IeC {\'y}ch obvod\IeC {\r u}}{5}{section.2.1}\protected@file@percent }
\citation{ababei}
\citation{ababei}
\citation{mitsp02}
\citation{mitsp02}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Testov\IeC {\'a}n\IeC {\'\i } obvodu.}}{6}{figure.2.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Motivace k testov\IeC {\'a}n\IeC {\'\i }, terminologie a stuck-at model}{6}{section.2.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Jak testovat?}{6}{section.2.3}\protected@file@percent }
\citation{mitsp02}
\citation{mitsp02}
\citation{minisatp}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces Poruchy v obvodu.}}{7}{figure.2.2}\protected@file@percent }
\newlabel{includes/obr_checkpoint_theorem}{{\M@TitleReference {2.2}{Jak testovat?}}{7}{Poruchy v obvodu}{figure.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Hled\IeC {\'a}n\IeC {\'\i } testovac\IeC {\'\i }ch vektor\IeC {\r u} pomoc\IeC {\'\i } SAT}{7}{section.2.4}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces Excitace a propagace poruchy.}}{8}{figure.2.3}\protected@file@percent }
\newlabel{obr_propagace}{{\M@TitleReference {2.3}{Jak testovat?}}{8}{Excitace a propagace poruchy}{figure.2.3}{}}
\@writefile{lot}{\contentsline {table}{\numberline {2.1}{\ignorespaces Pravdivostn\IeC {\'\i } tabulka - p\IeC {\v r}\IeC {\'\i }klad.}}{9}{table.2.1}\protected@file@percent }
\newlabel{tab_cnf}{{\M@TitleReference {2.1}{Pravdivostn\IeC {\'\i } tabulka - p\IeC {\v r}\IeC {\'\i }klad.}}{9}{Pravdivostní tabulka - příklad}{table.2.1}{}}
\newlabel{cr_Miter}{{\M@TitleReference {2.4}{Generov\IeC {\'a}n\IeC {\'\i } testovac\IeC {\'\i }ch vektor\IeC {\r u} pomoc\IeC {\'\i } SAT}}{9}{Generování testovacích vektorů pomocí SAT}{section*.13}{}}
\citation{mitsp03}
\citation{mitsp03}
\citation{mitsp04}
\citation{mitsp08}
\citation{mitsp08}
\@writefile{lof}{\contentsline {figure}{\numberline {2.4}{\ignorespaces Obvod pro v\IeC {\'y}po\IeC {\v c}et SAT.}}{10}{figure.2.4}\protected@file@percent }
\newlabel{obr_miter}{{\M@TitleReference {2.4}{Obvod pro v\IeC {\'y}po\IeC {\v c}et SAT.}}{10}{Obvod pro výpočet SAT}{figure.2.4}{}}
\newlabel{eq:CNF}{{2.1}{10}{Generování testovacích vektorů pomocí SAT}{equation.2.4.1}{}}
\citation{mitsp11}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Testov\IeC {\'a}n\IeC {\'\i } sekven\IeC {\v c}n\IeC {\'\i }ch obvod\IeC {\r u}}{11}{section.2.5}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {2.5}{\ignorespaces Model sekven\IeC {\v c}n\IeC {\'\i }ho obvodu.}}{11}{figure.2.5}\protected@file@percent }
\newlabel{obr_sekvencni}{{\M@TitleReference {2.5}{Testov\IeC {\'a}n\IeC {\'\i } sekven\IeC {\v c}n\IeC {\'\i }ch obvod\IeC {\r u}}}{11}{Model sekvenčního obvodu}{figure.2.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Architektura RAS a komprese testu}{11}{section.2.6}\protected@file@percent }
\citation{baikRAS}
\citation{baikRAS}
\citation{baikRAS}
\citation{baikRAS}
\@writefile{lof}{\contentsline {figure}{\numberline {2.6}{\ignorespaces Architektura RAS}}{12}{figure.2.6}\protected@file@percent }
\newlabel{obr_RAS}{{\M@TitleReference {2.6}{Architektura RAS a komprese testu}}{12}{Architektura RAS}{figure.2.6}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.7}{\ignorespaces Komprese v architektu\IeC {\v r}e RAS.}}{12}{figure.2.7}\protected@file@percent }
\newlabel{obr_RAS_komprese}{{\M@TitleReference {2.7}{Architektura RAS a komprese testu}}{12}{Komprese v architektuře RAS}{figure.2.7}{}}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{\chapternumberline {3}Navrhovan\IeC {\'y} algoritmus}{13}{chapter.3}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\newlabel{chapter:alg}{{\M@TitleReference {3}{Navrhovan\IeC {\'y} algoritmus}}{13}{Navrhovaný algoritmus}{chapter.3}{}}
\@writefile{lot}{\contentsline {table}{\numberline {3.1}{\ignorespaces Minimaliza\IeC {\v c}n\IeC {\'\i } funkce pro PBO - p\IeC {\v r}\IeC {\'\i }klad.}}{14}{table.3.1}\protected@file@percent }
\newlabel{tab_pbo}{{\M@TitleReference {3.1}{Minimalizace vzd\IeC {\'a}lenosti pomoc\IeC {\'\i } PBO}}{14}{Minimalizační funkce pro PBO - příklad}{table.3.1}{}}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{\chapternumberline {4}Anal\IeC {\'y}za}{15}{chapter.4}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}LogSynth}{15}{section.4.1}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Diagram pou\IeC {\v z}it\IeC {\'y}ch modul\IeC {\r u} z LogSynth.}}{16}{figure.4.1}\protected@file@percent }
\citation{minisatp}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Minisat\texttt  {+}}{17}{section.4.2}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {4.2}{\ignorespaces Minisat+ pod Cygwin.}}{17}{figure.4.2}\protected@file@percent }
\newlabel{obr_minisatp_cygwin}{{\M@TitleReference {4.2}{Minisat\texttt  {+}}}{17}{Minisat+ pod Cygwin}{figure.4.2}{}}
\citation{minisat_paper}
\@writefile{lof}{\contentsline {figure}{\numberline {4.3}{\ignorespaces P\IeC {\r u}vodn\IeC {\'\i } zdrojov\IeC {\'y} form\IeC {\'a}t pro Minisat+.}}{18}{figure.4.3}\protected@file@percent }
\newlabel{obr_minisatp_format}{{\M@TitleReference {4.3}{Minisat\texttt  {+}}}{18}{Původní zdrojový formát pro Minisat+}{figure.4.3}{}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1}{\ignorespaces Popis programov\IeC {\'y}ch modul\r {u} ze zdrojov\IeC {\'e}ho k\IeC {\'o}du Minisat+.}}{20}{table.4.1}\protected@file@percent }
\newlabel{tab_minisatp}{{\M@TitleReference {4.1}{Minisat\texttt  {+}}}{20}{Popis programových modul\r {u} ze zdrojového kódu Minisat+}{table.4.1}{}}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{\chapternumberline {5}Realizace}{21}{chapter.5}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Volba technologie}{21}{section.5.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5.2}P\IeC {\v r}evod Minisat+ na knihovnu}{21}{section.5.2}\protected@file@percent }
\@writefile{lot}{\contentsline {table}{\numberline {5.1}{\ignorespaces Glob\IeC {\'a}ln\IeC {\'\i } prom\IeC {\v e}nn\IeC {\'e} v p\IeC {\r u}vodn\IeC {\'\i }m Minisat+.}}{22}{table.5.1}\protected@file@percent }
\newlabel{tab:opt}{{\M@TitleReference {5.1}{Glob\IeC {\'a}ln\IeC {\'\i } prom\IeC {\v e}nn\IeC {\'e} v p\IeC {\r u}vodn\IeC {\'\i }m Minisat+.}}{22}{Globální proměnné v původním Minisat+}{table.5.1}{}}
\newlabel{lst:code}{{\M@TitleReference {5.1}{Solver}}{25}{Solver - ukázka kódu}{lstlisting.5.1}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}Solver - uk\IeC {\'a}zka k\IeC {\'o}du.}{25}{lstlisting.5.1}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {5.1}{\ignorespaces Sekven\IeC {\v c}n\IeC {\'\i } diagram spolupr\IeC {\'a}ce t\IeC {\v r}\IeC {\'\i }d Solver a Helper.}}{26}{figure.5.1}\protected@file@percent }
\newlabel{fig:seq_diag}{{\M@TitleReference {5.1}{Sekven\IeC {\v c}n\IeC {\'\i } diagram spolupr\IeC {\'a}ce t\IeC {\v r}\IeC {\'\i }d Solver a Helper.}}{26}{Sekvenční diagram spolupráce tříd Solver a Helper}{figure.5.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Hlavn\IeC {\'\i } program}{27}{section.5.3}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Testov\IeC {\'a}n\IeC {\'\i }}{29}{section.5.4}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {5.2}{\ignorespaces Jednoduch\IeC {\'y} testovac\IeC {\'\i } obvod.}}{29}{figure.5.2}\protected@file@percent }
\newlabel{fig:test_circuit2}{{\M@TitleReference {5.2}{Jednoduch\IeC {\'y} testovac\IeC {\'\i } obvod.}}{29}{Jednoduchý testovací obvod}{figure.5.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Instalace}{29}{section.5.5}\protected@file@percent }
\@writefile{lot}{\contentsline {table}{\numberline {5.2}{\ignorespaces P\IeC {\v r}\IeC {\'\i }klad pro testov\IeC {\'a}n\IeC {\'\i }.}}{30}{table.5.2}\protected@file@percent }
\newlabel{tab:testing_example}{{\M@TitleReference {5.2}{P\IeC {\v r}\IeC {\'\i }klad pro testov\IeC {\'a}n\IeC {\'\i }.}}{30}{Příklad pro testování}{table.5.2}{}}
\citation{baikRAS}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{\chapternumberline {6}Experiment\IeC {\'a}ln\IeC {\'\i } v\IeC {\'y}sledky}{31}{chapter.6}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\newlabel{tab:experiments}{{\M@TitleReference {6}{Experiment\IeC {\'a}ln\IeC {\'\i } v\IeC {\'y}sledky}}{31}{Experimentální výsledky}{chapter.6}{}}
\@writefile{lot}{\contentsline {table}{\numberline {6.1}{\ignorespaces V\IeC {\'y}sledky pro s991 a s1423.}}{31}{table.6.1}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {6.1}{\ignorespaces ISCAS s991.}}{32}{figure.6.1}\protected@file@percent }
\newlabel{fig:exp1}{{\M@TitleReference {6.1}{ISCAS s991.}}{32}{ISCAS s991}{figure.6.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.2}{\ignorespaces ISCAS s991 bez minimalizace (pouze SAT).}}{32}{figure.6.2}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {6.3}{\ignorespaces ISCAS s1429.}}{33}{figure.6.3}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {6.4}{\ignorespaces ISCAS s1429 bez minimalizace (pouze SAT).}}{33}{figure.6.4}\protected@file@percent }
\newlabel{fig:exp4}{{\M@TitleReference {6.4}{ISCAS s1429 bez minimalizace (pouze SAT).}}{33}{ISCAS s1429 bez minimalizace (pouze SAT)}{figure.6.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.5}{\ignorespaces ISCAS s13207.}}{34}{figure.6.5}\protected@file@percent }
\newlabel{fig:exp5}{{\M@TitleReference {6.5}{ISCAS s13207.}}{34}{ISCAS s13207}{figure.6.5}{}}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{\chapternumberline {7}Dal\IeC {\v s}\IeC {\'\i } v\IeC {\'y}voj}{35}{chapter.7}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\bibstyle{csn690}
\bibdata{bibliografie_BP_KP}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {chapter}{Z{\' a}v{\v e}r}{37}{chapter*.26}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\bibcite{moskewicz2001chaff}{1}
\bibcite{balcarek}{2}
\bibcite{ababei}{3}
\bibcite{mitsp01}{4}
\bibcite{mitsp02}{5}
\bibcite{minisatp}{6}
\bibcite{mitsp03}{7}
\bibcite{mitsp04}{8}
\bibcite{mitsp08}{9}
\bibcite{mitsp11}{10}
\@writefile{toc}{\contentsline {chapter}{Literatura}{39}{chapter*.27}\protected@file@percent }
\bibcite{baikRAS}{11}
\bibcite{minisat_paper}{12}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {appendix}{\chapternumberline {A}Seznam pou\IeC {\v z}it\IeC {\'y}ch zkratek}{41}{appendix.A}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\@writefile{toc}{\contentsline {appendix}{\chapternumberline {B}Obsah p\IeC {\v r}ilo\IeC {\v z}en\IeC {\'e}ho CD}{43}{appendix.B}\protected@file@percent }
\@writefile{loa}{\addvspace {10\p@ }}
\newlabel{tab:was:used:in:doc}{{\M@TitleReference {B}{Obsah p\IeC {\v r}ilo\IeC {\v z}en\IeC {\'e}ho CD}}{43}{Obsah přiloženého CD}{appendix.B}{}}
\memsetcounter{lastsheet}{59}
\memsetcounter{lastpage}{43}
