The ERC32 + LEON (SPARCv7/8) range of rad hard microprocessors developed under contract from ESA. Non fault tolerant versions of LEON are available as open source VHDL. See www.gaisler.com.
Radhard PowerPC are thing of the past I think. No development since the BAE RAD750?
Radhard PowerPC are thing of the past I think. No development since the BAE RAD750?