Voter Algorithms

Currently, SpyDrNet TMR employs the following voter insertion algorithms:

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

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

• 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_before_ff_voter_points
  • find_before_ff_voter_points()
• find_after_ff_voter_points
  • find_after_ff_voter_points()
• find_reduction_voter_points
  • find_reduction_voter_points()
• identify_reduction_points
  • identify_reduction_points()
• find_voter_insertion_points
  • find_voter_insertion_points()