I had some fun digging through the PowerVR Series 1 source code [0] that was released earlier in the year. It includes a simulator that you can use to piece together how the hardware itself worked, some of it certainly looks like a rough translation from the RTL...

[0] - https://github.com/powervr-graphics/PowerVR-Series1