During my bachelor thesis tools were needed to verify the behaviour of radiation hardened hardware descriptions.
For that two tools were programmed:
The first tool simulates the behaviour of the description as a behavioural simulation in Modelsim and induces Single event errors in marked signal names.
The second tool automates inducing errors in the configuration of a FPGA via JTAG. With this tool the “Place and Route” step can be verified.
Please feel free to use these tools and to contribute.