cva6 icon indicating copy to clipboard operation
cva6 copied to clipboard

Published 20 hours ago • verified publisher icon openhwgroup

RVFI Limitation

Open AyoubJalali opened this issue 1 year ago • 3 comments

Is there an existing CVA6 bug for this?

  • [X] I have searched the existing bug issues

Bug Description

Hello, this issue is about the RVFI tracer that drive all sort of information related to an instruction (GPR, PC, CSR , MEM_ADDR ...), the problem or the limitation in this tracer is that it can't drive information of an instruction does not been committed (killed or raised an exception), I really want to think about a possibility to update this tracer to be more practical in that way, because it affect ISACOV coverage.

AyoubJalali avatar Aug 18 '23 17:08 AyoubJalali

To my mind, an information is missing: getting an exception without the related instruction is a mess to monitor the cva6 behaviour. I confirm the need to fix it.

JeanRochCoulon avatar Sep 12 '23 15:09 JeanRochCoulon

Related to #1441 RVFI will be revisited by @Gchauvon, I reassigned this issue.

JeanRochCoulon avatar Nov 08 '23 05:11 JeanRochCoulon

Please keep in mind that we want to use the OpenHW version of RVFI, as specified in the CV32E40S User Manual. It is a super-set of the SymbioticEDA version and contains information needed to operate the ISS as a reference model (e.g. Spike Tandem).

MikeOpenHWGroup avatar Dec 08 '23 17:12 MikeOpenHWGroup

Now RVFI provides extensive information when exceptions are triggered. @AyoubJalali : is the information provided by RVFI sufficient? If so, can you close this issue?

zchamski avatar Aug 23 '24 14:08 zchamski

Now RVFI provides extensive information when exceptions are triggered. @AyoubJalali : is the information provided by RVFI sufficient? If so, can you close this issue?

good for me

AyoubJalali avatar Aug 23 '24 14:08 AyoubJalali