Evaluating different solutions to design fault tolerant systems with SRAM-based FPGAs