Voter Algorithms

Currently, SpyDrNet TMR employs the following voter insertion algorithms:

• Place a feedback voter after every flip-flop. See find_voter_insertion_points_after_ff

• Place a feedback voter before every flip-flop. See find_voter_insertion_points_before_ff

• Place reduction voters where TMR boundaries are crossed (i.e. goes from triplicated to non triplicated). See find_reduction_voter_points and identify_reduction_points

• find_voter_insertion_points_before_ff
• find_voter_insertion_points_after_ff
• find_reduction_voter_points
• identify_reduction_points