Add script to check if timing passes

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

Author: augustofg

hdl/syn/afcv4_ref_design/check_timing.sh

@@ -0,0 +1,3 @@
+#!/bin/sh
+
+vivado afcv4_ref_fofb_ctrl.xpr -mode batch -source check_timing.tcl

hdl/syn/afcv4_ref_design/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
+}