FPGA Redundancy Configurations: An Automated Design Space Exploration | IEEE Conference Publication | IEEE Xplore