R-Abax: A Radiation Hardening Legalisation Algorithm Satisfying TMR Spacing Constraints | IEEE Conference Publication | IEEE Xplore