CRISP: a pipelined 32-bit microprocessor with 13-kbit of cache memory | IEEE Journals & Magazine | IEEE Xplore