undriven fixes 5

openhwgroup · Dec 24, 2024 · 9b168ab · 9b168ab
1 parent fd1de49
commit 9b168ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/include/config_pkg.sv b/core/include/config_pkg.sv
@@ -377,7 +377,7 @@ package config_pkg;
     assert (!(Cfg.SuperscalarEn && Cfg.RVF));
     assert (!(Cfg.SuperscalarEn && Cfg.RVZCMP));
     assert (!(Cfg.SuperscalarEn && Cfg.RVZCMT));
-    assert (!(Cfg.RVZCMT && ~Cfg.MmuPresent));
+    assert (!(Cfg.RVZCMT && Cfg.MmuPresent));
 `endif
     // pragma translate_on
   endfunction