cva6 icon indicating copy to clipboard operation
cva6 copied to clipboard

[BUG] Incorrect TVAL cases in decoder

Open PRugg-Cap opened this issue 5 months ago • 0 comments

Is there an existing CVA6 bug for this?

  • [x] I have searched the existing bug issues

Bug Description

Further to https://github.com/openhwgroup/cva6/issues/3018, the following TVAL behaviours currently in CVA6 seem to be illegal from reading the spec.

  • ECALL reports the instruction bits in TVAL: it should write zeros
  • EBREAK reports the instruction bits in TVAL: it should report the instruction PC (I think that's the "faulting virtual address" in this case?)

These were found by fuzzing against Sail with TestRIG

If people agree, I'm happy to file a PR to fix these.

PRugg-Cap avatar Jun 19 '25 14:06 PRugg-Cap