M-Labs
/
riscv-formal-nmigen
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix BEQ instruction

This commit is contained in:
Donald Sebastian Leung 2020-08-03 10:29:17 +08:00
parent c17ccdf897
commit 486c77a108
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
insns/insn_beq.py
View File

@ -8,6 +8,7 @@ class rvfi_insn_beq(rvfi_insn_SB):
def elaborate(self, platform): def elaborate(self, platform):
m = super(rvfi_insn_beq, self).elaborate(platform) m = super(rvfi_insn_beq, self).elaborate(platform)
# BEQ instruction
cond = Signal(1) cond = Signal(1)
m.d.comb += cond.eq(self.rvfi_rs1_rdata == self.rvfi_rs2_rdata) m.d.comb += cond.eq(self.rvfi_rs1_rdata == self.rvfi_rs2_rdata)
next_pc = Signal(32) next_pc = Signal(32)