remove formal files ahead of time

2024-06-29 19:23:23 +08:00 · 2024-06-29 19:23:23 +08:00 · 70843e529c
parent 88a4f9afa7
commit 70843e529c
1 changed files with 4 additions and 0 deletions
--- a/run_compile.sh
+++ b/run_compile.sh
@ -1,3 +1,7 @@
+# Clean files
+rm -rf formal/ddr3*prf*
+rm -rf formal/ddr3_singleconfig
+
 # run verilator lint
 echo -e "\e[32mRun Verilator Lint:\e[0m"
 verilator --lint-only rtl/ddr3_controller.v rtl/ecc/ecc_dec.sv rtl/ecc/ecc_enc.sv -Irtl/ -Wall