Read Me

----------------------------------------------------------------------
TCL-File

The TCL-Script is used to inject faults into a Modelsim processor
simulation. The registers for the fault injection are defined on
the top of the TCL script. For other processors, the GPIO-pin
addresses might have to be adjusted and the time for running the
processor has to be adjusted.


----------------------------------------------------------------------
Makefile

The makefile builds the sources for the generic tests. However,
usually the single test source files will be included for running
on a processor and not the whole set of files will be needed. The
whole set of files will just be needed for the verification of the
diagnostic coverage of the test set with fault injection.

----------------------------------------------------------------------
C-Source Files

The C-Files contain the test programs and the main program which
runs the tests and communicates with the TCL framework. A simple
description of the files is included in comments within the files

----------------------------------------------------------------------
Contact

Author: Christopher Preschern, c.preschern@student.tugraz.at