1. 1) Atmel: TSC695F SPARC 32-bit Space Processor User Manual, 2003.
2. 2) Atmel: Rad-Hard 32 bit SPARC v8 Processor User Manual, 2011.
3. 3) Aeroflex Gaisler: LEON3-FT Fault-Tolerant Processor, http://www.gaisler.com/
4. 4) Choi, J. W., Shin, H. K., Lee, J. S., and Cheon, Y. J.: Virtualized System Development Based on ERC32 Processor for Satellite Simulator, J. Korea Soc. Space Technol., 6, 1 (2011), pp. 50–56.
5. 5) Aeroflex Gaisler: TSIM Simulator User’s Manual Version 1.3.8, 2006.