Merge pull request #1083 from jordancarlin/verilator_assertions

Enable assertions in Verilator
openhwgroup · Nov 11, 2024 · 848c5fe · 848c5fe
2 parents f597eb8 + c776ef3
commit 848c5fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sim/verilator/Makefile b/sim/verilator/Makefile
@@ -6,7 +6,7 @@ SHELL := /bin/bash
 .PHONY: profile run questa clean
 
 # verilator configurations
-OPT=
+OPT=--assert
 PARAMS?=--no-trace-top
 NONPROF?=--stats
 VERILATOR_DIR=${WALLY}/sim/verilator