1. MIPS64: Architecture for Programmers, vol. II: The MIPS64 Instruction Set.
2. Li, T., Zhu, D., Guo, Y., Liu, G., and Li, S., MAATG: A Functional Test Program Generator for Microprocessor Verification, Proc. of the 8th Euromicro Conf. on Digital System Design (DSD’05), 2005.
3. Kornykhin, E.V., Generation of Test Data for Verification of Arithmetic Instructions of CPUs, Trudy ISP RAN, 2008, vol. 15, pp. 107–117.
4. Kornykhin, E., Test Data Generation for Arithmetic Subsystem of CPUs MIPS64, Proc. of the Second Spring Young Researchers’ Colloquium on Software Engineering, 2008, vol. 2, pp. 43–46.
5. Patterson, D. and Hennessy, J., Computer Organization and Design: The Hardware/Software Interface. The Morgan-Kaufmann Series in Computer Architecture and Design, Morgan and Kaufmann, 2006.