diff --git a/pd/synth/Makefile b/pd/synth/Makefile
index d3814b6c7..4ba812be3 100644
--- a/pd/synth/Makefile
+++ b/pd/synth/Makefile
@@ -30,7 +30,7 @@ endif
 
 pre_cva6_synth:
 	grep "CVA6_REPO_DIR\}" ../../core/Flist.cva6|grep -v "instr_tracer"|grep -v "incdir" > Flist.cva6_synth
-	sed -i "s/^/analyze -f sverilog -define {WT_DCACHE,RVFI_TRACE} -lib ariane_lib /" Flist.cva6_synth
+	sed -i "s/^/analyze -f sverilog -define {WT_DCACHE,RVFI_TRACE,RVFI_MEM} -lib ariane_lib /" Flist.cva6_synth
 
 cva6_synth: pre_cva6_synth
 	@echo $(PERIOD)