RISC-V microcode-level simulator