SpyDrNet TMR Bootcamp

SpyDrNet TMR

For ease of use the acronym TMR is used: it stands for Triple Modular Redundancy.

SpyDrNet TMR is an extension of SpyDrNet

Motivation/Background of TMR project

Problem

Radiation, usually in space, can cause faults, i.e. bit flips in FPGA designs. These bit flips pose a problem as they can cause the FPGA designs to fail, giving an incorrect output.

Solution TMR

One solution to help reduce the amount of incorrect outputs from a FPGA design is TMR.

This is a high level presentation explaining SpyDrNet TMR

How TMR Works

• First, non-TMR Netlist is parsed in and uniquified (to make sure all of the instances in the netlist are unique).
• Next, Instances and Ports to be triplicated are determined by the user.
• Then the original design is copied 3x, so there are now 3 copies of the design.
  • Everything that was copied now has either: (TMR_0, TMR_1, or TMR_2) following the original name.
• Finally, the Netlist is composed connecting the 3 copies of the design together.

Getting started with TMR

• Read over the documentation
• Work through the basic TMR walkthrough
• Work through additional examples

Adding to Bootcamp

• After working through all of this, if you have any suggestions/ideas on how to make this bootcamp better, please edit the page directly or open an issue!