MicroTESK for ARM is a proprietary product, which is distributed on a commercial basis. The tool has general support for ARMv8.2-A. The overall specifications include almost 20 KLOC and describe 1000+ instructions.
ARMv8.2-A is a 64/32-bit architecture developed by ARM Holdings.
Contact us to get more information.