diff --git a/.gitmodules b/.gitmodules
index 5a1e8d4dc..672ec445f 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -26,9 +26,6 @@
 	path = addins/cvw-arch-verif
 	url = https://github.com/openhwgroup/cvw-arch-verif
 	ignore = dirty
-[submodule "addins/riscvISACOV"]
-	path = addins/riscvISACOV
-	url = https://github.com/riscv-verification/riscvISACOV.git
 [submodule "addins/berkeley-softfloat-3"]
 	path = addins/berkeley-softfloat-3
 	url = https://github.com/ucb-bar/berkeley-softfloat-3.git
diff --git a/addins/riscvISACOV b/addins/riscvISACOV
deleted file mode 160000
index ac9fa2d38..000000000
--- a/addins/riscvISACOV
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit ac9fa2d386c0cb2f44e1e1e83a555d585034dfa3