DMR +: An efficient alternative to TMR to protect registers in Xilinx FPGAs. (August 2016)