diff --git a/.gitmodules b/.gitmodules
index 22ed5d9c3..ddf8c33e0 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -37,3 +37,6 @@
 [submodule "addins/berkeley-softfloat-3"]
 	path = addins/berkeley-softfloat-3
 	url = https://github.com/ucb-bar/berkeley-softfloat-3.git
+[submodule "addins/berkeley-testfloat-3"]
+	path = addins/berkeley-testfloat-3
+	url = https://github.com/ucb-bar/berkeley-testfloat-3
diff --git a/addins/berkeley-testfloat-3 b/addins/berkeley-testfloat-3
new file mode 160000
index 000000000..03c13d21d
--- /dev/null
+++ b/addins/berkeley-testfloat-3
@@ -0,0 +1 @@
+Subproject commit 03c13d21db5a8c127e78b1282fa892c20d4d4bd4