Add script to check if timing passes

More convenient than opening the Vivado GUI to checking for timing
violations.

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
+}

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

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

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

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

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

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