André Sintzoff
André Sintzoff
In the RVFI trace generated by the CVA6, each retired (committed) instruction has to be traced. With this current Zcmp implementation, the trace will contain multiple instructions (store/load, add) instead...
Is there any reason to not update all the configuration files `_config_pkg.sv` in `core/include` directory?
> > Is there any reason to not update all the configuration files `_config_pkg.sv` in `core/include` directory? > > No, there is no particular reason. Is that the reason for...
Do you mean when writing `b'xxxxxx10` where x can be 0 or 1 in a `pmpxcfg` byte, the result is `pmpxcfg` equal to 0?
CSR mip: 0x00000080 => bit 7 (mip.MTIP) is set
This issue is linked to Spike configuration. `mstatus.FS` and `sstatus.FS` field should be configurable
@AEzzejjari could you take a look at this issue (related to condition on S-mode)?
I would suggest to use the option `--priv= RISC-V privilege modes supported [default MSU]` when executing `spike`. This will avoid building multiple `spike` executables.
Related to task https://github.com/openhwgroup/cva6/issues/1403
Related to task https://github.com/openhwgroup/cva6/issues/1403