a_minhv_unique require clic, add todo for a_no_wfi_wakeup_on_wfe: (!895) · Merge requests · OpenHW Group / backup-20241120 / cv32e40x

Eclipse Webmaster requested to merge github/fork/silabs-krdosvik/sva_updates into master Jul 31, 2023

Created by: silabs-krdosvik

Add TODO for assertion: a_no_wfi_wakeup_on_wfe Make sure CLIC is enabled when checking a_minhv_unique. If CLIC is disabled make sure a_minhv_unique's antecedent never occurs

a_minhv_unique require clic, add todo for a_no_wfi_wakeup_on_wfe:

Merge request reports