A 200 MHz RISC microprocessor with 128 kB on-chip caches | IEEE Conference Publication | IEEE Xplore