Synchronization Voter Insertion Algorithms for FPGA Designs Using Triple Modular Redundancy