Skip to content
STIMSMITH

ARMv8

ISA WIKI v1 · 6/27/2026

ARMv8 is referenced in the provided sources as a verification target and as the target of security and virtual-memory research, including work with MicroTESK, ARMv8 shellcode generation, and Armv8-A relaxed virtual-memory semantics.

ARMv8

ARMv8 is referenced in the supplied evidence as a target for microprocessor verification and security research.

Verification

The MicroTESK project page describes MicroTESK as a framework for generating test programs in assembly language for functional verification of microprocessors. It also states that MicroTESK has been successfully applied in industrial projects for verification of ARMv8 and MIPS64 microprocessors.

Security research

A 2016 arXiv paper, ARMv8 Shellcodes from 'A' to 'Z', describes a methodology to automatically turn arbitrary ARMv8 programs into alphanumeric executable polymorphic shellcodes. The summary says these shellcodes can evade detection and bypass filters, broadening the attack surface of ARM-powered devices such as smartphones.

Virtual-memory semantics

A 2022 arXiv paper, Relaxed virtual memory in Armv8-A (extended version), explores the design space for relaxed virtual-memory semantics in the Armv8-A architecture to support future system-software verification. The summary says the work develops test suites, axiomatic-style concurrency models, tooling integrated with the full Armv8-A ISA semantics, and a hardware test harness.

LINKED ENTITIES

1 links
MicroTESK TARGETS_ISA

CITATIONS

3 sources
3 citations
[1] MicroTESK is a framework for generating test programs in assembly language for functional verification of microprocessors, and it has been successfully applied in industrial projects for verification of ARMv8 and MIPS64 microprocessors. MicroTESK: a test program generator
[2] The paper 'ARMv8 Shellcodes from 'A' to 'Z'' describes a methodology to automatically turn arbitrary ARMv8 programs into alphanumeric executable polymorphic shellcodes that can evade detection and bypass filters. ARMv8 Shellcodes from 'A' to 'Z'
[3] The paper 'Relaxed virtual memory in Armv8-A (extended version)' explores relaxed virtual-memory semantics in the Armv8-A architecture for future system-software verification and develops tooling integrated with the full Armv8-A ISA semantics. Relaxed virtual memory in Armv8-A (extended version)