From 68d62d190ce6637c7542205bb3192ca7ba993b3f Mon Sep 17 00:00:00 2001 From: Augusto Fraga Giachero Date: Thu, 5 Sep 2024 09:21:20 -0300 Subject: [PATCH] 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 | 13 +++++++++++++ hdl/syn/afc_v3/dbe_bpm2_bo_sirius/check_timing.sh | 3 +++ .../dbe_bpm2_bo_sirius_with_dcc/check_timing.sh | 3 +++ hdl/syn/afc_v3/dbe_bpm2_sr_sirius/check_timing.sh | 3 +++ .../dbe_bpm2_sr_sirius_with_dcc/check_timing.sh | 3 +++ hdl/syn/afc_v3/dbe_pbpm/check_timing.sh | 3 +++ hdl/syn/afc_v3/dbe_pbpm_with_dcc/check_timing.sh | 3 +++ 7 files changed, 31 insertions(+) create mode 100644 hdl/syn/afc_v3/check_timing.tcl create mode 100755 hdl/syn/afc_v3/dbe_bpm2_bo_sirius/check_timing.sh create mode 100755 hdl/syn/afc_v3/dbe_bpm2_bo_sirius_with_dcc/check_timing.sh create mode 100755 hdl/syn/afc_v3/dbe_bpm2_sr_sirius/check_timing.sh create mode 100755 hdl/syn/afc_v3/dbe_bpm2_sr_sirius_with_dcc/check_timing.sh create mode 100755 hdl/syn/afc_v3/dbe_pbpm/check_timing.sh create mode 100755 hdl/syn/afc_v3/dbe_pbpm_with_dcc/check_timing.sh 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