Merge pull request #10473 from The-OpenROAD-Project-staging/syn

Integrated synthesis tool

Author: maliberty

.bazelignore

@@ -7,3 +7,7 @@ third-party/abc/
 tmp
 # standalone workspace for downstream consumer tests
 test/downstream/
+# fmt ships its own BUILD.bazel assuming it is the workspace root; we overlay
+# fmt via new_local_repository(name="fmt"), so hide this nested package from
+# //... discovery (its glob(["include/fmt/*.h"]) matches nothing here).
+third-party/slang-elab/third_party/fmt/support/bazel/

.gitmodules

@@ -4,3 +4,6 @@
 [submodule "src/abc"]
 	path = third-party/abc
 	url = ../../The-OpenROAD-Project/abc.git
+[submodule "third-party/slang-elab"]
+	path = third-party/slang-elab
+	url = https://github.com/povik/yosys-slang

BUILD.bazel

@@ -130,6 +130,8 @@ OPENROAD_LIBRARY_DEPS = [
     "//src/rsz:ui",
     "//src/stt",
     "//src/stt:ui",
+    "//src/syn",
+    "//src/syn:ui",
     "//src/tap",
     "//src/tap:ui",
     "//src/upf",

MODULE.bazel

@@ -215,6 +215,22 @@ orfs.default(
     yosys_plugins = ["@yosys-slang//src/yosys_plugin:slang.so"],
 )
 
+# --- External archives ---
+
+new_local_repository = use_repo_rule("@bazel_tools//tools/build_defs/repo:local.bzl", "new_local_repository")
+
+new_local_repository(
+    name = "fmt",
+    build_file = "//third-party/slang-elab/third_party:fmt.BUILD",
+    path = "third-party/slang-elab/third_party/fmt",
+)
+
+new_local_repository(
+    name = "slang",
+    build_file = "//third-party/slang-elab/third_party:slang.BUILD",
+    path = "third-party/slang-elab/third_party/slang",
+)
+
 # --- Overrides ---
 
 single_version_override(

include/ord/OpenRoad.hh

@@ -130,6 +130,10 @@ namespace web {
 class WebServer;
 }
 
+namespace syn {
+class Synthesis;
+}
+
 namespace ord {
 
 class dbVerilogNetwork;
@@ -184,6 +188,7 @@ class OpenRoad
     return estimate_parasitics_;
   }
   web::WebServer* getWebServer() { return web_server_; }
+  syn::Synthesis* getSynthesis() { return synthesis_; }
 
   // Return the bounding box of the db rows.
   odb::Rect getCore();
@@ -288,6 +293,7 @@ class OpenRoad
   dft::Dft* dft_ = nullptr;
   est::EstimateParasitics* estimate_parasitics_ = nullptr;
   web::WebServer* web_server_ = nullptr;
+  syn::Synthesis* synthesis_ = nullptr;
   utl::ServiceRegistry* service_registry_ = nullptr;
 
   int threads_ = 1;

pyproject.toml

@@ -0,0 +1,7 @@
+[tool.black]
+extend-exclude = '''
+^/third-party/
+'''
+force-exclude = '''
+^/third-party/
+'''

src/CMakeLists.txt

@@ -282,6 +282,7 @@ add_subdirectory(dft)
 add_subdirectory(mpl)
 add_subdirectory(par)
 add_subdirectory(est)
+add_subdirectory(syn)
 add_subdirectory(web)
 
 ################################################################
@@ -352,6 +353,7 @@ target_link_libraries(openroad
   mpl
   par
   est
+  syn
   web
   gui
   cli_completer
@@ -403,33 +405,35 @@ if (Python3_FOUND AND BUILD_PYTHON)
       OpenSTA
       ifp
   )
-  target_link_libraries(openroad
-    ord_py
-    odb_py
-    ifp_py
-    utl_py
-    ant_py
-    grt_py
-    gpl_py
-    dpl_py
-    exa_py
-    ppl_py
-    tap_py
-    cgt_py
-    cts_py
-    drt_py
-    fin_py
-#    ram_py
-    rcx_py
-    rmp_py
-    stt_py
-    psm_py
-    pdn_py
-    rsz_py
-    dft_py
-    par_py
-    web_py
+  set(OPENROAD_PYTHON_MODULES
+      ord_py
+      odb_py
+      ifp_py
+      utl_py
+      ant_py
+      grt_py
+      gpl_py
+      dpl_py
+      exa_py
+      ppl_py
+      tap_py
+      cgt_py
+      cts_py
+      drt_py
+      fin_py
+#      ram_py
+      rcx_py
+      rmp_py
+      stt_py
+      psm_py
+      pdn_py
+      rsz_py
+      syn_py
+      dft_py
+      par_py
+      web_py
   )
+  target_link_libraries(openroad ${OPENROAD_PYTHON_MODULES})
 
 else()
   message(STATUS "Python3 disabled")

src/Main.cc

@@ -77,6 +77,7 @@ using std::string;
   X(rmp)                                 \
   X(cgt)                                 \
   X(stt)                                 \
+  X(syn)                                 \
   X(psm)                                 \
   X(pdn)                                 \
   X(rsz)                                 \
@@ -158,6 +159,7 @@ static void initPython()
 #undef X
 #undef FOREACH_TOOL
 #undef FOREACH_TOOL_WITHOUT_OPENROAD
+#undef FOREACH_SYN_PYTHON_TOOL
 
   // Need to separately handle openroad here because we need both
   // the names "openroad_swig" and "openroad".

src/OpenRoad.cc

@@ -81,6 +81,8 @@
 #include "rsz/Resizer.hh"
 #include "sta/VerilogReader.hh"
 #include "stt/MakeSteinerTreeBuilder.h"
+#include "syn/MakeSynthesis.h"
+#include "syn/synthesis.h"
 #include "tap/MakeTapcell.h"
 #include "tap/tapcell.h"
 #include "upf/MakeUpf.h"
@@ -125,6 +127,7 @@ OpenRoad::~OpenRoad()
   // sta::deleteAllMemory();
   delete ioPlacer_;
   delete resizer_;
+  delete synthesis_;
   delete opendp_;
   delete global_router_;
   delete restructure_;
@@ -235,6 +238,7 @@ void OpenRoad::init(Tcl_Interp* tcl_interp,
                               global_router_,
                               opendp_,
                               estimate_parasitics_);
+  synthesis_ = new syn::Synthesis(db_, sta_, resizer_, logger_);
   finale_ = new fin::Finale(db_, logger_);
   restructure_ = new rmp::Restructure(
       logger_, sta_, db_, resizer_, estimate_parasitics_);
@@ -285,6 +289,7 @@ void OpenRoad::init(Tcl_Interp* tcl_interp,
   upf::initUpf(tcl_interp);
   ifp::initInitFloorplan(tcl_interp);
   sta::initDbSta(tcl_interp);
+  syn::initSynthesis(tcl_interp);
   rsz::initResizer(tcl_interp);
   ppl::initIoplacer(tcl_interp);
   gpl::initReplace(tcl_interp);

src/cts/src/CMakeLists.txt

@@ -36,15 +36,13 @@ target_include_directories(cts_lib
   PRIVATE
     .
   ${LEMON_INCLUDE_DIRS}
-  ${Boost_INCLUDE_DIRS}
  )
 
 target_include_directories(cts
   PUBLIC
     ../include
   PRIVATE
     .
-  ${Boost_INCLUDE_DIRS}
  )
 
 target_link_libraries(cts_lib
@@ -56,6 +54,7 @@ target_link_libraries(cts_lib
     OpenSTA
     stt_lib
     utl_lib
+    Boost::headers
 )
 
 target_link_libraries(cts
@@ -66,6 +65,7 @@ target_link_libraries(cts
     rsz_lib
     OpenSTA
     gui
+    Boost::headers
  )
 
 messages(