Home

To set up the projekt you need a Mentor Graphics Modelsim license and you have to download a testbench for the HDL CPU code you want to use. People who want to use this test verification framework usually already know which CPU they want to test. However, opencores.com provides some CPU HDL code testbenchs, for example.

To apply the tests, you have to integrate the main.c testprogram into the testbench to run on the CPU (this step depends on the specific CPU used, however, usually you have to copy the contents of the main program into the existing testbench program of the CPU). You also have to change the function called in the safety_tests function to the test you want to apply. You also have to support functions to access the GPIO pins of the CPU (pio_lib.h). Then you have to compile the program and run it on the CPU (this step again depends on the CPU, but the testbench of the CPU should describe how this is done). Next, you have to modify the TCL script according to your CPU. You have to define the registers where you want to inject the faults. Then you have to open Modelsim and load the TCL script to run the fault injections.

You can find further documentation in the Source code files. For important questions or suggestions you can contact the author: Christopher Preschern, c.preschern@student.tugraz.at