Final Report on Test Generation college topic: ECE553 (Testing and Testability of Digital Systems) Problem Statement: 1. Given a circuit description, generate a compact test set with high fault coverage. 2. Using test set from (1), determine whether three supplied circuits contain an injected fault. 3. Finally, determine the fault location in a fourth supplied circuit. formats: Adobe PDF (151.6kB), PostScript (394.8kB), TeX (1.1kB) 1997-11-30 quality 4

\documentclass{report}

\setlength{\hoffset}{0in}
\setlength{\voffset}{0in}
\setlength{\topmargin}{0pt}
\setlength{\oddsidemargin}{0in}

\setlength{\textheight}{9.00in}
\setlength{\textwidth}{6in}

\begin{document}
\begin{titlepage}

\title{ECE 553 Project Report --- Standard}
\author{Zak Smith}
\maketitle

\end{titlepage}

\newpage
\tableofcontents
\newpage

\parindent 0pt
\chapter{Problem Statement}
1. Given a circuit description, generate a compact test set with high fault coverage.
\par
\vskip .2in

\parindent 0pt
2. Using test set from (1), determine whether three supplied circuits contain
an injected fault.
\par
\vskip .2in

\parindent 0pt
3.  Finally, determine the fault location in a fourth supplied circuit.

\parindent .5in
\chapter{Results}
\include{results}

\chapter{Test Generation}
\include{testgen}

\chapter{Fault Diagnosis}
\include{faultdiag}

\chapter{Conclusion}
\include{conclusion}

\chapter{Appendix A - Fault Diagnosis}
\include{app-A}

\chapter{Appendix B - Test Generation}
\include{app-B}

\end{document}



[Zak Smith] [zak@computer.org] [/~zak/documents/college/ece553-final-report/tex]
$Id: documents,v 1.5 2000/09/28 21:20:39 zak Exp zak$