In this paper, a tool for automatically generating test programs for ARM VMSAv8-64 memory management units is described. The solution is based on the ...

Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. Authors. M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, ...

Oct 12, 2024 · MicroTESK (Microprocessor TEsting and Specification Kit) [4], [5] is a test program generator (TPG) being developed at ISP RAS, ...

Dec 13, 2015 · This document describes specification-based test program generation for ARM VMSAv8-64 MMUs using the MicroTESK tool.

Smolov, A. Tatarnikov. Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. International Workshop on Microprocessor Test and ...

Specification-based test program generation for ARM VMSAv8-64 memory management units. M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov.

Nov 12, 2017 · The paper presents MicroTESK, a tool that automates construction of test program generators for microprocessors. A constructed generator ...

A tool that automates construction of test program generators for microprocessors, which has been applied to the ARMv8, MIPS64, PowerPC, RISC-V, and x86 ...

MicroTESK: specification-based tool for constructing test program ... Specification-based test program generation for ARM VMSAv8-64 memory management units.

The MMU-500 supports the ARMv7 and ARMv8 address translation schemes. That is, it supports VMSAv7, VMSAv8-32, and VMSAv8-64. This includes support for the long- ...