diff --git a/insns/InsnAddi.py b/insns/InsnAddi.py new file mode 100644 index 0000000..8c4aa99 --- /dev/null +++ b/insns/InsnAddi.py @@ -0,0 +1,11 @@ +from InsnRV32IITypeArith import * + +class InsnAddi(InsnRV32IITypeArith): + def __init__(self, RISCV_FORMAL_ILEN, RISCV_FORMAL_XLEN, RISCV_FORMAL_CSR_MISA, RISCV_FORMAL_COMPRESSED): + super().__init__(RISCV_FORMAL_ILEN, RISCV_FORMAL_XLEN, RISCV_FORMAL_CSR_MISA, RISCV_FORMAL_COMPRESSED, 0b000) + def elaborate(self, platform): + m = super().elaborate(platform) + + m.d.comb += self.spec_rd_wdata.eq(Mux(self.spec_rd_addr, self.rvfi_rs1_rdata + self.insn_imm, 0)) + + return m