TLegUp: A TMR Code Generation Tool for SRAM-Based FPGA Applications Using HLS | IEEE Conference Publication | IEEE Xplore