-
Notifications
You must be signed in to change notification settings - Fork 52
Open
Labels
Component:OtherNon-RTL, non-documentation (e.g. bhv, sva)Non-RTL, non-documentation (e.g. bhv, sva)Type:BugFor bugs in any content (RTL, Documentation, etc.)For bugs in any content (RTL, Documentation, etc.)
Description
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:
- git hash: c788954
Metadata
Metadata
Assignees
Labels
Component:OtherNon-RTL, non-documentation (e.g. bhv, sva)Non-RTL, non-documentation (e.g. bhv, sva)Type:BugFor bugs in any content (RTL, Documentation, etc.)For bugs in any content (RTL, Documentation, etc.)