The GPU ISA (yes, GPUs have ISAs) is undocumented.
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.