From fe6919c987a995d4464942a8b6e2e6d2ae2cdf72 Mon Sep 17 00:00:00 2001
From: AngeloJacobo <jacobo.angeloECE@gmail.com>
Date: Sun, 26 May 2024 20:27:18 +0800
Subject: [PATCH] formally verify only the controller

---
 run_compile.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/run_compile.sh b/run_compile.sh
index 9e055f1..f17da09 100755
--- a/run_compile.sh
+++ b/run_compile.sh
@@ -1,6 +1,7 @@
 # run verilator lint
 echo -e "\e[32mRun Verilator Lint:\e[0m"
-verilator --lint-only ddr3_top.v -Irtl/
+verilator --lint-only rtl/ddr3_controller.v -Irtl/ -Wall
+echo "DONE!"
     
 
 # run yosys compile