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 Mon 07 Apr 2014 0:16:32
All text and photographs © copyright 1997-2009 Zak Smith, all rights reserved, unless otherwise noted.
documents took 1.34 msec and 1 queries to generate, at Fri 27 Dec 2024 12:24:09.