Designing and testing fault-tolerant techniques for SRAM-based FPGAs