Fault-Tolerance Techniques for SRAM-Based FPGAs