github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-22 13:17:41 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Enable RVFI_MEM support at gate level. (#1113)

Browse source
This commit is contained in:
Zbigniew Chamski 2023-03-12 22:17:51 +01:00 • committed by GitHub
parent 56ecad1ace
commit c288812008
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
pd/synth/Makefile
View file

@ -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)