diff --git a/run_compile.sh b/run_compile.sh
index 57cdc5e..731b8c8 100755
--- a/run_compile.sh
+++ b/run_compile.sh
@@ -26,15 +26,25 @@ rm out
 echo
 
 # run symbiyosys 
+echo ""
+echo -e "\e[32mRun Symbiyosys Formal Verification: ECC\e[0m"
+echo "---------------------------------------"
+sby -f formal/ecc.sby
+
 echo ""
 echo -e "\e[32mRun Symbiyosys Formal Verification: Single Configuration\e[0m"
 echo "---------------------------------------"
 sby -f formal/ddr3_singleconfig.sby
 
 echo ""
-echo -e "\e[32mRun Symbiyosys Formal Verification: Multiple Configurations\e[0m"
+echo -e "\e[32mRun Symbiyosys Formal Verification: Multiple Configurations (DEFAULT)\e[0m"
 echo "---------------------------------------"
-sby -f formal/ddr3_multiconfig.sby
+sby -f formal/ddr3_multiconfig_default.sby
+
+echo ""
+echo -e "\e[32mRun Symbiyosys Formal Verification: Multiple Configurations (ECC)\e[0m"
+echo "---------------------------------------"
+sby -f formal/ddr3_multiconfig_ecc.sby
 
 
 # ANSI color codes
@@ -57,3 +67,14 @@ for folder in formal/ddr3*/ ; do
     fi
 done
 
+# Iterate over folders inside 'ecc/'
+for folder in formal/ecc/ ; do
+    # Check if the 'PASS' file exists in the folder
+    if [[ -e "${folder}PASS" ]]; then
+        # Print the folder name and 'PASS' in green
+        echo -e "${folder}: ${GREEN}PASS${NC}"
+    else
+        # Print the folder name and 'FAIL' in red
+        echo -e "${folder}: ${RED}FAIL${NC}"
+    fi
+done