cv32e40x icon indicating copy to clipboard operation
cv32e40x copied to clipboard

Published 20 hours ago • verified publisher icon openhwgroup

RVFI wdata/wmask flipped

Open silabs-robin opened this issue 3 years ago • 1 comments

Component:RTL: For issues in the RTL (e.g. for files in the rtl directory) Component:Other: For any other issues

Steps to Reproduce

Two signals are cross-connected for rvfi_csr_pmpcfg_wdata / _wmask:

image

https://github.com/openhwgroup/cv32e40x/blob/master/bhv/cv32e40x_rvfi.sv#L1681

First spotted in a trace for 40s.

silabs-robin avatar Aug 24 '22 11:08 silabs-robin

@silabs-robin This seems solved; can it be closed?

Silabs-ArjanB avatar Oct 14 '22 10:10 Silabs-ArjanB

The bad cross-connection has been fixed.

silabs-robin avatar Nov 02 '22 11:11 silabs-robin