diff --git a/search/ClkInfo.cc b/search/ClkInfo.cc index 76e21287..a8679101 100644 --- a/search/ClkInfo.cc +++ b/search/ClkInfo.cc @@ -179,9 +179,9 @@ ClkInfo::to_string(const StaState *sta) const result += network->pathName(gen_clk_src_); } - if (insertion_ > 0.0) { + if (delayGreater(insertion_, 0.0, sta)) { result += " insert"; - result += std::to_string(insertion_); + result += delayAsString(insertion_, sta); } if (uncertainties_) { diff --git a/search/PathEnum.cc b/search/PathEnum.cc index 07293827..a0c860fe 100644 --- a/search/PathEnum.cc +++ b/search/PathEnum.cc @@ -450,7 +450,7 @@ PathEnumFaninVisitor::insertUniqueEdgeDiv(Diversion *div) const RiseFall *div_rf = div_path->transition(this); auto itr = unique_edge_divs_.find({div_vertex, div_rf}); if (itr == unique_edge_divs_.end() - || div_slack > itr->second->pathEnd()->slack(this)) + || delayGreater(div_slack, itr->second->pathEnd()->slack(this), this)) itr->second = div; } diff --git a/search/Search.i b/search/Search.i index 9be59d15..3e2e761a 100644 --- a/search/Search.i +++ b/search/Search.i @@ -260,7 +260,7 @@ endpoint_slack(const Pin *pin, sta->ensureLibLinked(); if (sta->isGroupPathName(path_group_name)) { Slack slack = sta->endpointSlack(pin, std::string(path_group_name), min_max); - return sta->units()->timeUnit()->staToUser(slack); + return sta->units()->timeUnit()->staToUser(delayAsFloat(slack)); } else { sta->report()->error(1577, "%s is not a known path group name.",