Sta update 0725

[dsengupta0628]

Update latest OpenSTA 7/25

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution.
1 out of 3 committers have signed the CLA.

✅ dsengupta0628
❌ James Cherry
❌ akashlevy

---

James Cherry seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[gemini-code-assist]

Code Review

This pull request refactors the delay calculation logic by replacing the incremental_ flag with delays_exist_ and optimizing fanout propagation in GraphDelayCalc. It also introduces a Vertex::isLoad helper, adds a verbose path reporting function for debugging, and cleans up CRPR arrival pruning. Feedback was provided regarding a potential bug in loadSlewChanged where using operator[] on load_pin_index_map could unsafely insert dummy entries if a pin is not found.

[gemini-code-assist]

Using operator[] on load_pin_index_map directly with load_vertex->pin() is unsafe because load_vertex might be visited via non-wire edges (such as isBidirectInstPath internal timing arcs) which are not populated in load_pin_index_map. If the pin is not present in the map, operator[] will insert a dummy entry with a default value of 0, causing incorrect comparisons with the first load pin's previous slew and corrupting the map.

Instead, use find() to safely check if the pin exists in the map before retrieving its index.

  auto ip = load_pin_index_map.find(load_vertex->pin());
  if (ip == load_pin_index_map.end())
    return true;
  size_t index = ip->second;
  SlewSeq &slews_prev = load_slews_prev[index];

[maliberty]

Why the rename?

[dsengupta0628]

macOS default filesystem is case-insensitive, so top-level file BUILD collides with CMake build/ dir - mkdir build fails / build dir creation clashes. BUILD.bazel is Bazel's equally-valid canonical name, so Bazel keeps working while build/ becomes creatable.