Merge pull request #2233 from silabs-robin/assert_off

ASSERT_OFF
openhwgroup · Oct 12, 2023 · 57ba371 · 57ba371
2 parents d048a73 + c5302e0
commit 57ba371
Show file tree

Hide file tree

Showing 3 changed files with 842 additions and 775 deletions.
diff --git a/cv32e40s/fv/README.md b/cv32e40s/fv/README.md
@@ -7,12 +7,15 @@ Read the Makefile for more info.
 
 ## Usage Examples
 
-Simply:
+Simple example:
 ```
 make jg
 ```
 
-More advanced:
+Advanced examples:
 ```
-make jg USER_DEFINES=+define+MYDEFINE USER_INCDIRS=+incdir+MYINCDIR JG_EXTRAS=""
+make  jg  USER_DEFINES=+define+MYDEFINE  USER_INCDIRS=+incdir+MYINCDIR
+make  jg  JG_EXTRAS=""
+make  jg  USER_DEFINES=+define+COREV_ASSERT_OFF
+make  jg  USER_DEFINES=+define+DEFONE+DEFTWO+DEFTHREE
 ```
diff --git a/cv32e40s/fv/defines.sv b/cv32e40s/fv/defines.sv
@@ -1,4 +1 @@
 `define  FORMAL  1
-
-// TODO:silabs-robin  Re-enable core asserts.
-`define  COREV_ASSERT_OFF  1