MIPS64
ISAMIPS64 is a 64-bit instruction set architecture (ISA) that has been the target of formal-specification-driven test program generation and functional verification, notably via the MicroTESK framework developed by ISP RAS.
First seen 6/25/2026
Last seen 6/27/2026
Evidence 2 chunks
Wiki v1
WIKI
MIPS64
Overview
MIPS64 is a 64-bit instruction set architecture. It is referenced in the literature as a target for specification-based test program generation and functional verification of microprocessors.
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connections Specification-based test program generation for MIPS64 memory management units ← targets ISA 100% 1e
The work focuses on generating test programs for the MIPS64 architecture’s MMUs, indicating it targets the MIPS64 ISA.
The tool has been applied to verify MIPS64 microprocessors, indicating it targets the MIPS64 ISA.
LINKED ENTITIES
1 linksCITATIONS
3 sources3 citations — click to collapse
[1] MIPS64 is an instruction set architecture (ISA) targeted by specification-based microprocessor verification. MicroTESK: a test program generator
[2] MicroTESK has been successfully applied in industrial projects for verification of MIPS64 microprocessors. MicroTESK: a test program generator
[3] Kamkin and Kotsynyak published 'Specification-based test program generation for MIPS64 memory management units' in the Proceedings of ISP RAS, 2016, vol. 28(4), pp. 99–114. A RISC-V Test Sequences Generation Method Based on Instruction Coverage (references list citing the MIPS64 MMU paper)