A 32-bit microprocessor with virtual memory support | IEEE Journals & Magazine | IEEE Xplore