\changetocdepth {3}
\babel@toc {czech}{}
\babel@toc {czech}{}
\babel@toc {english}{}
\babel@toc {czech}{}
\babel@toc {english}{}
\babel@toc {czech}{}
\contentsline {chapter}{{\' U}vod}{1}{chapter*.5}% 
\contentsline {chapter}{\chapternumberline {1}C\IeC {\'\i }l pr\IeC {\'a}ce}{3}{chapter.1}% 
\contentsline {chapter}{\chapternumberline {2}Testov\IeC {\'a}n\IeC {\'\i } integrovan\IeC {\'y}ch obvod\IeC {\r u}}{5}{chapter.2}% 
\contentsline {section}{\numberline {2.1}V\IeC {\'y}roba integrovan\IeC {\'y}ch obvod\IeC {\r u}}{5}{section.2.1}% 
\contentsline {section}{\numberline {2.2}Motivace k testov\IeC {\'a}n\IeC {\'\i }, terminologie a stuck-at model}{6}{section.2.2}% 
\contentsline {section}{\numberline {2.3}Jak testovat?}{6}{section.2.3}% 
\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}% 
\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}% 
\contentsline {section}{\numberline {2.6}Architektura RAS a komprese testu}{11}{section.2.6}% 
\contentsline {chapter}{\chapternumberline {3}Navrhovan\IeC {\'y} algoritmus}{13}{chapter.3}% 
\contentsline {chapter}{\chapternumberline {4}Anal\IeC {\'y}za}{15}{chapter.4}% 
\contentsline {section}{\numberline {4.1}LogSynth}{15}{section.4.1}% 
\contentsline {section}{\numberline {4.2}Minisat\texttt {+}}{17}{section.4.2}% 
\contentsline {chapter}{\chapternumberline {5}Realizace}{21}{chapter.5}% 
\contentsline {section}{\numberline {5.1}Volba technologie}{21}{section.5.1}% 
\contentsline {section}{\numberline {5.2}P\IeC {\v r}evod Minisat+ na knihovnu}{21}{section.5.2}% 
\contentsline {section}{\numberline {5.3}Hlavn\IeC {\'\i } program}{27}{section.5.3}% 
\contentsline {section}{\numberline {5.4}Testov\IeC {\'a}n\IeC {\'\i }}{29}{section.5.4}% 
\contentsline {section}{\numberline {5.5}Instalace}{29}{section.5.5}% 
\contentsline {chapter}{\chapternumberline {6}Experiment\IeC {\'a}ln\IeC {\'\i } v\IeC {\'y}sledky}{31}{chapter.6}% 
\contentsline {chapter}{\chapternumberline {7}Dal\IeC {\v s}\IeC {\'\i } v\IeC {\'y}voj}{35}{chapter.7}% 
\contentsline {chapter}{Z{\' a}v{\v e}r}{37}{chapter*.26}% 
\contentsline {chapter}{Literatura}{39}{chapter*.27}% 
\contentsline {appendix}{\chapternumberline {A}Seznam pou\IeC {\v z}it\IeC {\'y}ch zkratek}{41}{appendix.A}% 
\contentsline {appendix}{\chapternumberline {B}Obsah p\IeC {\v r}ilo\IeC {\v z}en\IeC {\'e}ho CD}{43}{appendix.B}% 
