expose levelizeobserver (#433)

Signed-off-by: dsengupta0628 <dsengupta@precisioninno.com>
This commit is contained in:
Deepashree Sengupta
2026-05-13 12:59:35 -04:00
committed by GitHub
parent 4c8ef5b84a
commit 17380215ef
4 changed files with 71 additions and 22 deletions

View File

@@ -0,0 +1,59 @@
// OpenSTA, Static Timing Analyzer
// Copyright (c) 2026, Parallax Software, Inc.
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <https://www.gnu.org/licenses/>.
//
// The origin of this software must not be misrepresented; you must not
// claim that you wrote the original software.
//
// Altered source versions must be plainly marked as such, and must not be
// misrepresented as being the original software.
//
// This notice may not be removed or altered from any source distribution.
#pragma once
namespace sta {
class Vertex;
class Search;
class GraphDelayCalc;
// Observer fired by Levelize during (re)levelization. Downstream consumers
// override the two hooks to invalidate caches that depend on vertex levels.
class LevelizeObserver
{
public:
virtual ~LevelizeObserver() = default;
virtual void levelsChangedBefore() = 0;
virtual void levelChangedBefore(Vertex *vertex) = 0;
};
// Default observer installed by Sta::makeObservers. Forwards level-change
// events to Search and GraphDelayCalc so their internal caches stay
// consistent. Subclass and override to extend (call the base methods first,
// then add your own invalidation).
class StaLevelizeObserver : public LevelizeObserver
{
public:
StaLevelizeObserver(Search *search, GraphDelayCalc *graph_delay_calc);
void levelsChangedBefore() override;
void levelChangedBefore(Vertex *vertex) override;
private:
Search *search_;
GraphDelayCalc *graph_delay_calc_;
};
} // namespace sta

View File

@@ -73,6 +73,7 @@ class ClkSkews;
class ReportField;
class EquivCells;
class StaSimObserver;
class LevelizeObserver;
class GraphLoop;
using ModeNameMap = std::map<std::string, Mode*, std::less<>>;
@@ -1324,6 +1325,10 @@ public:
// Ensure a network has been read, linked and liberty libraries exist.
Network *ensureLibLinked();
void ensureLevelized();
// Replace the Levelize observer. Takes ownership; deletes any prior
// observer. Subclass StaLevelizeObserver to extend the default behavior
// (Search + GraphDelayCalc forwarding) without re-implementing it.
void setLevelizeObserver(LevelizeObserver *observer);
// Ensure that the timing graph has been built.
Graph *ensureGraph();
void ensureClkArrivals();

View File

@@ -30,11 +30,11 @@
#include "Graph.hh"
#include "StaState.hh"
#include "sta/LevelizeObserver.hh"
namespace sta {
class SearchPred;
class LevelizeObserver;
class GraphLoop;
using VertexEdgeIterPair = std::pair<Vertex*,VertexOutEdgeIterator*>;
@@ -133,12 +133,4 @@ private:
EdgeSeq *edges_;
};
class LevelizeObserver
{
public:
virtual ~LevelizeObserver() = default;
virtual void levelsChangedBefore() = 0;
virtual void levelChangedBefore(Vertex *vertex) = 0;
};
} // namespace sta

View File

@@ -217,19 +217,6 @@ StaSimObserver::fanoutEdgesChangeAfter(const Pin *pin)
////////////////////////////////////////////////////////////////
class StaLevelizeObserver : public LevelizeObserver
{
public:
StaLevelizeObserver(Search *search,
GraphDelayCalc *graph_delay_calc);
void levelsChangedBefore() override;
void levelChangedBefore(Vertex *vertex) override;
private:
Search *search_;
GraphDelayCalc *graph_delay_calc_;
};
StaLevelizeObserver::StaLevelizeObserver(Search *search,
GraphDelayCalc *graph_delay_calc) :
search_(search),
@@ -3755,6 +3742,12 @@ Sta::ensureLevelized()
levelize_->ensureLevelized();
}
void
Sta::setLevelizeObserver(LevelizeObserver *observer)
{
levelize_->setObserver(observer);
}
void
Sta::updateGeneratedClks()
{