riscv-formal-nmigen/rvfi/insns/insn_rv64i_i_type.py

20 lines
477 B
Python

from .insn import *
"""
RV64I I-Type Instruction
"""
class InsnRV64IIType(Insn):
def elaborate(self, platform):
m = super().elaborate(platform)
m.d.comb += self.insn_imm.eq(Value.as_signed(sefl.rvfi_insn[20:32]))
if self.params.csr_misa:
m.d.comb += self.misa_ok.eq((self.rvfi_csr_misa_rdata & 0) == 0)
m.d.comb += self.spec_csr_misa_rmask.eq(0)
else:
m.d.comb += self.misa_ok.eq(1)
return m