From be49d51b51640a31434c2d33dd548e37ed396ea3 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Fri, 18 Sep 2020 09:05:41 -0700 Subject: [PATCH] check_setup set_output_delay -ref_pin --- search/CheckTiming.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/search/CheckTiming.cc b/search/CheckTiming.cc index a6ad21dd..d97c8e5e 100644 --- a/search/CheckTiming.cc +++ b/search/CheckTiming.cc @@ -250,7 +250,8 @@ CheckTiming::hasClkedDepature(Pin *pin) OutputDelaySet *output_delays = sdc_->outputDelaysLeafPin(pin); if (output_delays) { for (OutputDelay *output_delay : *output_delays) { - if (output_delay->clkEdge() != nullptr) + if (output_delay->clkEdge() != nullptr + || output_delay->refPin() != nullptr) return true; } }