Zbigniew Chamski

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

Two issues here, actually: * does the configuration under test support `SSTATUS` at all, knowing that the "embedded" config only has M mode? * [here](https://docs.openhwgroup.org/projects/cva6-user-manual/01_cva6_user/CV32A6_Control_Status_Registers.html#supervisor-status-sstatus) the `FS` field of `STATUS`...

There's another potential issue with Spike: at first analysis, the Spike model instantiates all CSRs from the RISC-V specs no matter what restrictions are imposed on the current privilege set....

Chapter 3 of The Privileged Spec V20211203 says: > _The RISC-V machine-level ISA contains a common core that is extended depending on **which other privilege levels are supported** and **other...

Regarding discrepancy 3 (MISA bits), an implementation _**may**_ use the MISA register to support emulating multiple ISAs on the same hardware, effectively changing the currently recognized ISA. The _unprivileged_ spec...

Regarding the UBE bit in `mstatus` (row 2 in table above): our current vendorized Spike version (upstream commit fcbdbe794) knows about this bit and examines it *when the core supports...

This task supersedes #1362. As @MikeOpenHWGroup commented in #1362, > I recommend that we implement the RVFI tracer to the same specification as is used by the [CV32E40S core](https://docs.openhwgroup.org/projects/cv32e40s-user-manual/en/latest/rvfi.html#risc-v-formal-interface). This...

This is clearly an open question as we can proceed incrementally, or do a small pilot set followed by the Big Bang deployment. @JeanRochCoulon , @ASintzoff , @MikeOpenHWGroup : what...

Hi @yesilzeytin, can you please share the commit info of the VPTOOL you are using? Also, is your DVplan still in the Pickle format, or was it already migrated to...

Hi @yesilzeytin, the recommended approach in your case is to migrate the DVplan from Pickle to Yaml using VPTOOL itself. There's a "magic" VPTOOL option `-p` which tells VPTOOL to...