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{\headheight}{0pt}
\setlength{\headsep}{0pt}

\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 $
documents was last modified Fri 18 Aug 2006 18:47:52
All text and photographs © copyright 1997-2006 Zak Smith, all rights reserved, unless otherwise noted.
documents took 19.45 msec and 1 queries to generate, at Wed 15 Oct 2008 14:52:00.