use correct csr privlevel path (!2196) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/silabs-krdosvik/xsecure into cv32e40s/dev Sep 13, 2023

Created by: silabs-krdosvik

RTL has added an if statement that needs to be included in the path.

Formal compiles Ci check is all red But after this bug is fixed: https://github.com/openhwgroup/cv32e40s/issues/499 It is all green except clic config tests (clic and debug_test2) (which I think is a clic problem and not something caused by this change, as that would be weird)

use correct csr privlevel path

Merge request reports