report_clock_skew after report_checks -through

Signed-off-by: James Cherry <cherry@parallaxsw.com>
2024-04-03 19:26:39 -07:00 · 2024-04-03 19:26:39 -07:00 · 80598f8390
parent 1d7bd5bafa
commit 80598f8390
1 changed files with 2 additions and 0 deletions
--- a/search/Search.cc
+++ b/search/Search.cc
@ -508,6 +508,8 @@ Search::deleteFilteredArrivals()
 	     || from->instances()))
 	|| thrus) {
      for (Vertex *vertex : *filtered_arrivals_) {
+        if (isClock(vertex))
+          clk_arrivals_valid_ = false;
        deletePaths(vertex);
        arrivalInvalid(vertex);
        requiredInvalid(vertex);