Acinonyx: A Fault-tolerant High-performance Microprocessor in 28-nm FD-SOI for Long-term Space Missions | IEEE Conference Publication | IEEE Xplore