[X2] AMO dont set rvfi_mem_rmask #912
Labels
Component:Other
Non-RTL, non-documentation (e.g. bhv, sva)
Type:Bug
For bugs in any content (RTL, Documentation, etc.)
AMO dont set rvfi_mem_rmask
AMO operations do both loads and stores:
However, we see that the rvfi_mem_rmask is not set for AMOs:
The reason seems to be that rmask is only set if the lsu dont do a write:
(As mentioned AMOs do both writes and reads, so we should use another strategy set mem_rmask)
Component
Indicate the component in which you found a problem (and we will add the appropriate label):
Component:RTL: (https://github.com/openhwgroup/cv32e40x/blob/master/bhv/cv32e40x_rvfi.sv)
**Component:Doc **:(https://docs.openhwgroup.org/projects/cv32e40x-user-manual/en/latest/atomics.html)
Steps to Reproduce
Please provide:
The text was updated successfully, but these errors were encountered: