This project includes C source code for generic CPU tests tailored for testing in the safety domain according to IEC 61508.
Additional to the test programs, the project includes a test framework consisting of a program calling the sub-test-programs and a TCL script which injects faults to verify the test programs. To run the TCL script, a user has to set up a testbench with Modelsim to simulate the HDL code of a CPU. The CPU runs the test programs and the TCL script injects faults into the CPU.