There's no software developer's manual for the ISA? Arm don't release any documentation on their ISA?
If you're talking about ptx, that's not the hardware ISA, but instead an IR for their shader compiler.
That doesn't operate on PTX but actual hardware binaries. Oddly, they ship disassemblers, but not assemblers.