diff --git a/hdl/syn/afc_v3/check_timing.tcl b/hdl/syn/afc_v3/check_timing.tcl
new file mode 100644
index 00000000..23169b1e
--- /dev/null
+++ b/hdl/syn/afc_v3/check_timing.tcl
@@ -0,0 +1,13 @@
+set wns [get_property STATS.WNS [get_runs impl_1]]
+set whs [get_property STATS.WHS [get_runs impl_1]]
+
+puts "WNS: ${wns}"
+puts "WHS: ${whs}"
+
+if {($wns < 0) || ($whs < 0)} {
+	puts "Failed timing!"
+	exit 1
+} else {
+	puts "Passed timing."
+	exit 0
+}
diff --git a/hdl/syn/afc_v3/dbe_bpm2_bo_sirius/check_timing.sh b/hdl/syn/afc_v3/dbe_bpm2_bo_sirius/check_timing.sh
new file mode 100755
index 00000000..87a8aee5
--- /dev/null
+++ b/hdl/syn/afc_v3/dbe_bpm2_bo_sirius/check_timing.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+vivado dbe_bpm2.xpr -mode batch -source ../check_timing.tcl
diff --git a/hdl/syn/afc_v3/dbe_bpm2_bo_sirius_with_dcc/check_timing.sh b/hdl/syn/afc_v3/dbe_bpm2_bo_sirius_with_dcc/check_timing.sh
new file mode 100755
index 00000000..3e8691f3
--- /dev/null
+++ b/hdl/syn/afc_v3/dbe_bpm2_bo_sirius_with_dcc/check_timing.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+vivado dbe_bpm2_with_dcc.xpr -mode batch -source ../check_timing.tcl
diff --git a/hdl/syn/afc_v3/dbe_bpm2_sr_sirius/check_timing.sh b/hdl/syn/afc_v3/dbe_bpm2_sr_sirius/check_timing.sh
new file mode 100755
index 00000000..87a8aee5
--- /dev/null
+++ b/hdl/syn/afc_v3/dbe_bpm2_sr_sirius/check_timing.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+vivado dbe_bpm2.xpr -mode batch -source ../check_timing.tcl
diff --git a/hdl/syn/afc_v3/dbe_bpm2_sr_sirius_with_dcc/check_timing.sh b/hdl/syn/afc_v3/dbe_bpm2_sr_sirius_with_dcc/check_timing.sh
new file mode 100755
index 00000000..3e8691f3
--- /dev/null
+++ b/hdl/syn/afc_v3/dbe_bpm2_sr_sirius_with_dcc/check_timing.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+vivado dbe_bpm2_with_dcc.xpr -mode batch -source ../check_timing.tcl
diff --git a/hdl/syn/afc_v3/dbe_pbpm/check_timing.sh b/hdl/syn/afc_v3/dbe_pbpm/check_timing.sh
new file mode 100755
index 00000000..11c0d8f5
--- /dev/null
+++ b/hdl/syn/afc_v3/dbe_pbpm/check_timing.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+vivado dbe_pbpm.xpr -mode batch -source ../check_timing.tcl
diff --git a/hdl/syn/afc_v3/dbe_pbpm_with_dcc/check_timing.sh b/hdl/syn/afc_v3/dbe_pbpm_with_dcc/check_timing.sh
new file mode 100755
index 00000000..5bb3e54c
--- /dev/null
+++ b/hdl/syn/afc_v3/dbe_pbpm_with_dcc/check_timing.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+vivado dbe_pbpm_with_dcc.xpr -mode batch -source ../check_timing.tcl