Synchronization Techniques for Crossing Multiple Clock Domains in FPGA-Based TMR Circuits