Deep dive into the MIPS RISC processor arch: un-obfuscated RTL and more