Sta::vertexArrival min/max

Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2025-05-01 15:22:34 -07:00
parent 687dcb1746
commit 31137e8bb7
2 changed files with 7 additions and 4 deletions

View File

@ -3421,10 +3421,13 @@ RequiredCmp::requiredsSave(Vertex *vertex,
size_t path_index = path->pathIndex(sta); size_t path_index = path->pathIndex(sta);
Required req = requireds_[path_index]; Required req = requireds_[path_index];
Required &prev_req = path->required(); Required &prev_req = path->required();
debugPrint(debug, "search", 3, "required save %s -> %s", bool changed = !delayEqual(prev_req, req);
debugPrint(debug, "search", 3, "required %s save %s -> %s%s",
path->to_string(sta).c_str(),
delayAsString(prev_req, sta), delayAsString(prev_req, sta),
delayAsString(req, sta)); delayAsString(req, sta),
requireds_changed |= !delayEqual(prev_req, req); changed ? " changed" : "");
requireds_changed |= changed;
path->setRequired(req); path->setRequired(req);
} }
return requireds_changed; return requireds_changed;

View File

@ -2875,7 +2875,7 @@ Arrival
Sta::vertexArrival(Vertex *vertex, Sta::vertexArrival(Vertex *vertex,
const MinMax *min_max) const MinMax *min_max)
{ {
return vertexArrival(vertex, nullptr, nullptr, nullptr, min_max); return vertexArrival(vertex, nullptr, clk_edge_wildcard, nullptr, min_max);
} }
Arrival Arrival