SystemC DMR MIPS 4K