[ENG-2416] .stadb

CMakeLists.txt

@@ -106,8 +106,6 @@ set(STA_SOURCE
   liberty/GeneratedClock.cc
   liberty/InternalPower.cc
   liberty/LeakagePower.cc
-  liberty/LibDbReader.cc
-  liberty/LibDbWriter.cc
   liberty/Liberty.cc
   liberty/LibertyBuilder.cc
   liberty/LibExprReader.cc
@@ -218,6 +216,15 @@ set(STA_SOURCE
   spice/WriteSpice.cc
   spice/Xyce.cc
 
+  stadb/StaDbCodec.cc
+  stadb/StaDbCounters.cc
+  stadb/StaDbFile.cc
+  stadb/StaDbGraph.cc
+  stadb/StaDbReader.cc
+  stadb/StaDbSearch.cc
+  stadb/StaDbSdc.cc
+  stadb/StaDbWriter.cc
+
   tcl/TclTypeHelpers.cc
 
   util/Debug.cc
@@ -275,6 +282,7 @@ set(STA_TCL_FILES
   sdf/Sdf.tcl
   search/Search.tcl
   spice/WriteSpice.tcl
+  stadb/StaDb.tcl
   verilog/Verilog.tcl
   )
 
@@ -494,6 +502,7 @@ set(SWIG_FILES
   ${STA_HOME}/search/Property.i
   ${STA_HOME}/search/Search.i
   ${STA_HOME}/spice/WriteSpice.i
+  ${STA_HOME}/stadb/StaDb.i
   ${STA_HOME}/tcl/Exception.i
   ${STA_HOME}/tcl/Collections.i
   ${STA_HOME}/tcl/StaTclTypes.i

app/StaApp.i

@@ -39,4 +39,5 @@
 %include "search/Property.i"
 %include "util/Util.i"
 %include "spice/WriteSpice.i"
+%include "stadb/StaDb.i"
 %include "verilog/Verilog.i"

dcalc/GraphDelayCalc.cc

@@ -48,6 +48,7 @@
 #include "Scene.hh"
 #include "SearchPred.hh"
 #include "Stats.hh"
+#include "stadb/StaDbCounters.hh"
 #include "TimingArc.hh"
 #include "TimingRole.hh"
 #include "Variables.hh"
@@ -679,6 +680,7 @@ void
 GraphDelayCalc::findVertexDelay(Vertex *vertex,
                                 ArcDelayCalc *arc_delay_calc)
 {
+  staDbCounters().dcalc_vertices_computed++;
   const Pin *pin = vertex->pin();
   debugPrint(debug_, "delay_calc", 2, "find delays {} ({})",
              vertex->to_string(this),

graph/Graph.cc

@@ -38,6 +38,7 @@
 #include "TimingRole.hh"
 #include "Transition.hh"
 #include "Variables.hh"
+#include "stadb/StaDbCounters.hh"
 
 namespace sta {
 
@@ -423,6 +424,9 @@ Graph::makePinVertices(Pin *pin,
   PortDirection *dir = network_->direction(pin);
   if (!dir->isPowerGround()) {
     bool is_reg_clk = network_->isRegClkPin(pin);
+    // Counted here rather than in makeVertex so that it measures vertices
+    // built from the network. A stadb restore makes its vertices directly.
+    staDbCounters().graph_vertices_made++;
     vertex = makeVertex(pin, false, is_reg_clk);
     network_->setVertexId(pin, id(vertex));
     if (dir->isBidirect()) {

include/sta/Graph.hh

@@ -235,6 +235,8 @@ protected:
   VertexSet reg_clk_vertices_;
   DcalcAPIndex ap_count_;
 
+  friend class DbGraphReader;
+  friend class DbGraphWriter;
   friend class Vertex;
   friend class VertexIterator;
   friend class VertexInEdgeIterator;

include/sta/GraphDelayCalc.hh

@@ -314,6 +314,8 @@ protected:
   // delays to be recomputed during incremental delay calculation.
   float incremental_delay_tolerance_{0.0};
 
+  friend class DbGraphReader;
+  friend class DbGraphWriter;
   friend class FindVertexDelays;
   friend class MultiDrvrNet;
 };

include/sta/Sdc.hh

@@ -1449,6 +1449,10 @@ protected:
 
 private:
   friend class WriteSdc;
+  // The stadb codec reads and writes the same private constraint maps as
+  // WriteSdc, for the same reason: several of them have no public iterator.
+  friend class DbSdcWriter;
+  friend class DbSdcReader;
   friend class FindNetCaps;
   friend class GroupPathIterator;
 };

include/sta/Search.hh

@@ -673,6 +673,9 @@ protected:
   std::vector<Path*> enum_paths_;
 
   VisitPathEnds *visit_path_ends_;
+
+  friend class DbSearchReader;
+  friend class DbSearchWriter;
   GatedClk *gated_clk_;
   CheckCrpr *check_crpr_;
 };

include/sta/Sta.hh

@@ -152,10 +152,6 @@ public:
                                       Scene *scene,
                                       const MinMaxAll *min_max,
                                       bool infer_latches);
-  // Compiled NLDM-only form of readLiberty
-  virtual LibertyLibrary *readLibDb(std::string_view filename);
-  void writeLibDb(LibertyLibrary *library,
-                  std::string_view filename);
   // tmp public
   void readLibertyAfter(LibertyLibrary *liberty,
                         Scene *scene,
@@ -1556,6 +1552,8 @@ public:
 
   Properties &properties() { return properties_; }
 
+  friend class DbGraphReader;
+
 protected:
   // Default constructors that are called by makeComponents in the Sta
   // constructor.  These can be redefined by a derived class to