Merge branch 'master' into cts_improve_level_creating_threshold

Author: arthurjolo

.bazelrc

@@ -108,6 +108,11 @@ build:asan --copt=-O1
 build:asan --copt=-g
 build:asan --copt=-fno-omit-frame-pointer
 build:asan --linkopt=-fsanitize=address
+# TCMalloc is incompatible with ASan: __asan_init's interceptor setup calls
+# dlsym -> malloc before TCMalloc is initialized, segfaulting at startup.
+# Override the per-target malloc attribute to use the system allocator, which
+# ASan intercepts cleanly.
+build:asan --custom_malloc=@bazel_tools//tools/cpp:malloc
 
 # Flags with enough debug symbols to get useful outputs with Linux `perf`
 build:profile --strip=never

.github/workflows/github-actions-check-bazel-lock.yml

@@ -12,5 +12,16 @@ jobs:
       - name: Check out repository code
         uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd  # v6.0.2
 
-      - name: Verify lock file is up to date
-        run: bazelisk mod deps --lockfile_mode=error
+      - name: Update lock file to check for differences
+        run: |
+          cp MODULE.bazel MODULE.bazel.before
+          bazelisk mod deps --lockfile_mode=update
+
+      - name: Differences to be adressed
+        run: |
+          if ! diff MODULE.bazel.before MODULE.bazel ; then
+            echo "Run"
+            echo "bazelisk mod deps --lockfile_mode=update"
+            echo "and update pull request"
+            exit 1
+          fi

.gitmodules

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

AUTHORS

@@ -6,6 +6,7 @@
 # source control.
 
 Andrew Kennings
+Antmicro
 Federal University of Rio Grande do Sul (UFRGS)
 Google LLC
 Iowa State University

CMakeLists.txt

@@ -21,12 +21,6 @@ cmake_policy(SET CMP0074 NEW)
 # critical for builds in non-standard environments.
 cmake_policy(SET CMP0144 NEW)
 
-if(CMAKE_VERSION VERSION_GREATER_EQUAL "3.27")
-  # Disallows <PACKAGENAME>_ROOT in find_package.
-  # TODO: resolve absl/or-tools issue and switch to NEW
-  cmake_policy(SET CMP0144 OLD)
-endif()
-
 # Allow AUTOUIC on generated source
 cmake_policy(SET CMP0071 NEW)
 
@@ -48,6 +42,13 @@ option(USE_SYSTEM_ABC "Use system shared ABC library" OFF)
 # Allow disabling tests
 option(ENABLE_TESTS "Enable OpenROAD tests" ON)
 
+# Opt-in GPU acceleration via Kokkos. The actual compute backend (CUDA, HIP,
+# SYCL, or host-only OpenMP/Threads) is determined by the installed Kokkos
+# package; OpenROAD inspects Kokkos_ENABLE_* and turns on the matching CMake
+# language and dependencies automatically. See the per-module CMakeLists for
+# how individual subsystems wire their GPU sources.
+option(ENABLE_GPU "Enable GPU acceleration via Kokkos" OFF)
+
 # Allow enabling address sanitizer
 option(ASAN "Enable Address Sanitizer" OFF)
 
@@ -94,6 +95,13 @@ if(NOT CMAKE_BUILD_TYPE)
   set(CMAKE_BUILD_TYPE RELEASE)
 endif()
 
+# GPU backend wiring (opt-in). All Kokkos / CUDA / HIP / SYCL detection,
+# compiler probing, and language enablement live in cmake/KokkosBackend.cmake
+# and are loaded only when the user opts in via ENABLE_GPU=ON.
+if(ENABLE_GPU)
+  include(KokkosBackend)
+endif()
+
 if(CMAKE_CXX_COMPILER_ID STREQUAL "GNU")
   if(CMAKE_CXX_COMPILER_VERSION VERSION_LESS "8.3.0")
     message(FATAL_ERROR "Insufficient gcc version. Found ${CMAKE_CXX_COMPILER_VERSION}, but require  >= 8.3.0.")

MODULE.bazel

@@ -23,7 +23,7 @@ single_version_override(
 
 bazel_dep(name = "abseil-cpp", version = "20260107.1")
 bazel_dep(name = "bazel_skylib", version = "1.7.1")
-bazel_dep(name = "coin-or-lemon", version = "1.3.1")
+bazel_dep(name = "coin-or-lemon", version = "1.3.1.bcr.1")
 bazel_dep(name = "platforms", version = "1.0.0")
 bazel_dep(name = "rules_bison", version = "0.3.1")
 bazel_dep(name = "rules_cc", version = "0.2.18")
@@ -158,18 +158,7 @@ archive_override(
 )
 
 bazel_dep(name = "yosys", version = "0.62.bcr.2", dev_dependency = True)
-
-# yosys-slang is not on BCR. Pin to a commit on povik/yosys-slang master
-# that has the upstream Bazel build (povik/yosys-slang#310) and the
-# slang.so visibility fix (povik/yosys-slang#311). Submodules pull in
-# vendored slang and fmt sources.
-bazel_dep(name = "yosys-slang", dev_dependency = True)
-git_override(
-    module_name = "yosys-slang",
-    commit = "7753ea70431d85929292b90c33b32f6dbdb3b048",
-    init_submodules = True,
-    remote = "https://github.com/povik/yosys-slang.git",
-)
+bazel_dep(name = "yosys-slang", version = "0.0.0", dev_dependency = True)
 
 # --- Extensions ---
 

MODULE.bazel.lock

@@ -61,6 +61,21 @@ fi
 ABS_DEST="$(realpath "$DEST_DIR")"
 echo "OpenROAD binary installed to $ABS_DEST"
 
+# Install man pages (cat/ and html/ generated by //docs:man_pages).
+MAN_CAT_SRC="$(rlocation openroad/docs/man_pages/cat 2>/dev/null || true)"
+if [ -n "$MAN_CAT_SRC" ] && [ -d "$MAN_CAT_SRC" ]; then
+    MAN_DIR="$ABS_DEST/share/openroad/man"
+    mkdir -p "$MAN_DIR"
+    rm -rf "$MAN_DIR/cat"
+    cp -rf "$MAN_CAT_SRC" "$MAN_DIR/"
+    MAN_HTML_SRC="$(rlocation openroad/docs/man_pages/html 2>/dev/null || true)"
+    if [ -n "$MAN_HTML_SRC" ] && [ -d "$MAN_HTML_SRC" ]; then
+        rm -rf "$MAN_DIR/html"
+        cp -rf "$MAN_HTML_SRC" "$MAN_DIR/"
+    fi
+    echo "OpenROAD man pages installed to $MAN_DIR"
+fi
+
 # Remove any previously installed desktop entry and icon before (re)installing,
 # mirroring the binary artifact cleanup above. This runs unconditionally so a
 # prior GUI install is cleaned up even when the current install is not a GUI

bazel/install.sh

@@ -10,6 +10,14 @@ the real work is delegated to the `bazel-manpages` Makefile target.
 Host requirements: pandoc, nroff (groff), col (bsdextrautils), python3>=3.10.
 """
 
+def _man_pages_resource_set(_os, _num_inputs):
+    # The 'cat web' make below fans out with -j$(nproc), so this action uses
+    # the whole host. Reserve all local CPUs to keep Bazel from co-scheduling
+    # other heavy actions alongside it and oversubscribing the machine. Bazel
+    # clamps the request to the cores actually available, so this is safe on
+    # small CI hosts too.
+    return {"cpu": 512.0}
+
 def _man_pages_impl(ctx):
     cat_dir = ctx.actions.declare_directory("cat")
     html_dir = ctx.actions.declare_directory("html")
@@ -18,14 +26,25 @@ def _man_pages_impl(ctx):
 set -euo pipefail
 CAT_OUT="$PWD/{cat_out}"
 HTML_OUT="$PWD/{html_out}"
-make --no-print-directory -C docs -f Makefile bazel-manpages \\
+# Two phases: 'preprocess' (serial) generates the md/man*/*.md sources, then
+# 'cat web' fan out pandoc/nroff in parallel. They cannot share one -j make
+# invocation: cat/web read the md files preprocess produces, and a parallel
+# build has no dependency edge forcing preprocess to finish first. Running
+# 'cat web' as a second invocation also re-parses the Makefile so its
+# $(wildcard md/man*/*.md) picks up the freshly generated sources.
+# nproc is GNU coreutils (absent on stock macOS); fall back to sysctl, then 4.
+JOBS="$(nproc 2>/dev/null || sysctl -n hw.ncpu 2>/dev/null || echo 4)"
+make --no-print-directory -C docs -f Makefile preprocess \\
+    CAT_ROOT_DIR="$CAT_OUT" HTML_ROOT_DIR="$HTML_OUT"
+make --no-print-directory -j"$JOBS" -C docs -f Makefile cat web \\
     CAT_ROOT_DIR="$CAT_OUT" HTML_ROOT_DIR="$HTML_OUT"
 """.format(
         cat_out = cat_dir.path,
         html_out = html_dir.path,
     )
 
     ctx.actions.run_shell(
+        resource_set = _man_pages_resource_set,
         outputs = [cat_dir, html_dir],
         inputs = ctx.files.docs_srcs + ctx.files.scripts + ctx.files.readmes + ctx.files.messages,
         command = command,

bazel/man_pages.bzl

@@ -48,9 +48,9 @@ tcl_encode = rule(
             doc = "Files to be wrapped.",
         ),
         "_encode_script": attr.label(
-            default = "//etc:file_to_string",
+            default = "//etc:file_to_string.py",
             executable = True,
-            allow_files = True,
+            allow_single_file = [".py"],
             cfg = "exec",
         ),
     },