ssta compile

Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2025-11-06 08:56:53 -07:00
parent 79d8a5ecb3
commit 37b3043843
3 changed files with 4 additions and 4 deletions

View File

@ -179,9 +179,9 @@ ClkInfo::to_string(const StaState *sta) const
result += network->pathName(gen_clk_src_); result += network->pathName(gen_clk_src_);
} }
if (insertion_ > 0.0) { if (delayGreater(insertion_, 0.0, sta)) {
result += " insert"; result += " insert";
result += std::to_string(insertion_); result += delayAsString(insertion_, sta);
} }
if (uncertainties_) { if (uncertainties_) {

View File

@ -450,7 +450,7 @@ PathEnumFaninVisitor::insertUniqueEdgeDiv(Diversion *div)
const RiseFall *div_rf = div_path->transition(this); const RiseFall *div_rf = div_path->transition(this);
auto itr = unique_edge_divs_.find({div_vertex, div_rf}); auto itr = unique_edge_divs_.find({div_vertex, div_rf});
if (itr == unique_edge_divs_.end() 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; itr->second = div;
} }

View File

@ -260,7 +260,7 @@ endpoint_slack(const Pin *pin,
sta->ensureLibLinked(); sta->ensureLibLinked();
if (sta->isGroupPathName(path_group_name)) { if (sta->isGroupPathName(path_group_name)) {
Slack slack = sta->endpointSlack(pin, std::string(path_group_name), min_max); 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 { else {
sta->report()->error(1577, "%s is not a known path group name.", sta->report()->error(1577, "%s is not a known path group name.",