Analisando o Efeito do Uso de Redundância na Síntese de Alto Nível sob Falhas Transientes em FPGA Programado por SRAM Documento