Skip to content

remove RTL code from cv32e40p_controller that is unreachable

Created by: silabs-PaulZ

The following code in the FLUSH_WB state was proven to be unreachable with a formal tool and removed. (no issue reported)

image

Signed-off-by: Paul Zavalney paul.zavalney@silabs.com

Merge request reports

Loading