Skip to content

Fix for issue #410 on cv32e40s

Created by: silabs-oysteink

Only updating rvfi_mem_rmask and rvfi_mem_wmask if a transaction truly went into the write buffer (not blocked by WPT, MPU or alignment checker).

Fixes issue #410 (closed) on cv32e40s.

Merge request reports

Loading