Verilog HDL methodology for redundancy in digital circuits targeting FPGA technology for highly reliable applications | IEEE Conference Publication | IEEE Xplore