PrecisEDAnon · github-actions · Jan 24, 2026 · Jan 24, 2026 · Jan 24, 2026 · Jan 24, 2026
diff --git a/.dockerignore b/.dockerignore
@@ -25,7 +25,27 @@ flow/vars*.gdb
 # Common temp files
 flow/*.log
 
+# Git metadata (can be huge; not needed in image)
+.git
+
 # Platforms
+# Reduce Docker build context for ms-openroad
+flow/platforms/*
+!flow/platforms/common/
+!flow/platforms/common/**
+!flow/platforms/nangate45/
+!flow/platforms/nangate45/**
+
+# Designs
+# Reduce Docker build context for ms-openroad (only need nangate45/gcd).
+flow/designs/*
+!flow/designs/src/
+!flow/designs/src/gcd/
+!flow/designs/src/gcd/**
+!flow/designs/nangate45/
+!flow/designs/nangate45/gcd/
+!flow/designs/nangate45/gcd/**
+
 
 # network
 .nfs*

diff --git a/.github/workflows/ms-openroad-azure-gcd.yml b/.github/workflows/ms-openroad-azure-gcd.yml
@@ -0,0 +1,175 @@
+name: ms-openroad (Azure gcd)
+
+on:
+  push:
+    branches:
+      - microsoft-openroad
+    paths:
+      - ".dockerignore"
+      - ".github/workflows/ms-openroad-azure-gcd.yml"
+      - "env.sh"
+      - "flow/Makefile"
+      - "flow/scripts/**"
+      - "flow/util/**"
+      - "flow/designs/nangate45/gcd/**"
+      - "flow/designs/src/gcd/**"
+      - "flow/platforms/common/**"
+      - "flow/platforms/nangate45/**"
+      - "ms-openroad/**"
+  workflow_dispatch: {}
+
+permissions:
+  contents: read
+  id-token: write
+
+concurrency:
+  group: ms-openroad-azure-gcd-${{ github.ref }}
+  cancel-in-progress: true
+
+env:
+  # Azure environment (ms-openroad subscription)
+  AZ_RG: orfs-rg-42d38e
+  AZ_ACR_NAME: orfs42d38e
+  AZ_STORAGE_ACCOUNT: orfs42d38esa
+  AZ_FILE_SHARE: orfs-share
+  AZ_IDENTITY_ID: /subscriptions/ea2e8ed3-281b-4422-a24d-41d87cd070c3/resourcegroups/orfs-rg-42d38e/providers/Microsoft.ManagedIdentity/userAssignedIdentities/orfs-aci-mi-42d38e
+
+  # GitHub OIDC → Azure federated credential (no secrets)
+  AZURE_TENANT_ID: 8a198873-4fec-4e76-8182-ca479edbbd60
+  AZURE_SUBSCRIPTION_ID: ea2e8ed3-281b-4422-a24d-41d87cd070c3
+  AZURE_CLIENT_ID: b6b68521-9572-49e8-8dd7-0cacad242f24
+
+  # Flow defaults
+  IMAGE_REPO: orfs-flow
+  DESIGN: gcd
+  PLATFORM: nangate45
+  FLOW_VARIANT: base
+  CPU: "4"
+  MEMORY_GB: "16"
+  SKIP_CTS_REPAIR_TIMING: "1"
+
+jobs:
+  build-and-run:
+    runs-on: ubuntu-latest
+    timeout-minutes: 180
+    steps:
+      - name: Azure login (OIDC)
+        uses: azure/login@v2
+        with:
+          client-id: ${{ env.AZURE_CLIENT_ID }}
+          tenant-id: ${{ env.AZURE_TENANT_ID }}
+          subscription-id: ${{ env.AZURE_SUBSCRIPTION_ID }}
+
+      - name: Build image in ACR from this branch
+        shell: bash
+        run: |
+          set -euo pipefail
+          short_sha="${GITHUB_SHA::12}"
+          image_tag="sha-${short_sha}"
+          context_url="https://github.com/${GITHUB_REPOSITORY}.git#${GITHUB_REF_NAME}"
+
+          echo "ACR build:"
+          echo "  registry=${AZ_ACR_NAME}"
+          echo "  context=${context_url}"
+          echo "  dockerfile=ms-openroad/Dockerfile"
+          echo "  tags=${IMAGE_REPO}:microsoft-openroad, ${IMAGE_REPO}:${image_tag}"
+
+          az acr build \
+            --resource-group "${AZ_RG}" \
+            --registry "${AZ_ACR_NAME}" \
+            --file ms-openroad/Dockerfile \
+            --image "${IMAGE_REPO}:microsoft-openroad" \
+            --image "${IMAGE_REPO}:${image_tag}" \
+            --build-arg "VCS_REF=${GITHUB_SHA}" \
+            --build-arg "BASE_IMAGE=openroad/orfs:latest" \
+            "${context_url}"
+
+      - name: Run nangate45/gcd on Azure Container Instances
+        shell: bash
+        run: |
+          set -euo pipefail
+
+          short_sha="${GITHUB_SHA::12}"
+          image_tag="sha-${short_sha}"
+          acr_login_server="$(az acr show -n "${AZ_ACR_NAME}" --query loginServer -o tsv)"
+          image_fqn="${acr_login_server}/${IMAGE_REPO}:${image_tag}"
+
+          run_id="${DESIGN}-${short_sha}-${GITHUB_RUN_ID}"
+          work_home="/work/${run_id}"
+
+          aci_name_raw="orfs-${run_id}"
+          aci_name="$(echo "${aci_name_raw}" | tr '[:upper:]' '[:lower:]' | tr -cs 'a-z0-9-' '-' | cut -c1-63 | sed 's/^-//; s/-$//')"
+
+          storage_key="$(az storage account keys list \
+            --account-name "${AZ_STORAGE_ACCOUNT}" \
+            --resource-group "${AZ_RG}" \
+            --query '[0].value' -o tsv)"
+
+          echo "ACI run:"
+          echo "  rg=${AZ_RG}"
+          echo "  name=${aci_name}"
+          echo "  image=${image_fqn}"
+          echo "  cpu=${CPU} memory_gb=${MEMORY_GB}"
+          echo "  work_home=${work_home}"
+
+          az container create \
+            --resource-group "${AZ_RG}" \
+            --name "${aci_name}" \
+            --image "${image_fqn}" \
+            --os-type Linux \
+            --restart-policy Never \
+            --cpu "${CPU}" \
+            --memory "${MEMORY_GB}" \
+            --assign-identity "${AZ_IDENTITY_ID}" \
+            --acr-identity "${AZ_IDENTITY_ID}" \
+            --azure-file-volume-account-name "${AZ_STORAGE_ACCOUNT}" \
+            --azure-file-volume-account-key "${storage_key}" \
+            --azure-file-volume-share-name "${AZ_FILE_SHARE}" \
+            --azure-file-volume-mount-path /work \
+            --command-line "/usr/local/bin/run-orfs.sh" \
+            --environment-variables \
+              DESIGN="${DESIGN}" \
+              PLATFORM="${PLATFORM}" \
+              FLOW_VARIANT="${FLOW_VARIANT}" \
+              WORK_HOME="${work_home}" \
+              NPROC="${CPU}" \
+              SKIP_CTS_REPAIR_TIMING="${SKIP_CTS_REPAIR_TIMING}" \
+            1>/dev/null
+
+          echo "Waiting for completion..."
+          exit_code=""
+          while true; do
+            read -r group_state container_state exit_code < <(az container show \
+              --resource-group "${AZ_RG}" \
+              --name "${aci_name}" \
+              --query '{g:instanceView.state, c:containers[0].instanceView.currentState.state, e:containers[0].instanceView.currentState.exitCode}' \
+              -o tsv)
+
+            if [[ "${exit_code:-}" == "None" ]]; then
+              exit_code=""
+            fi
+
+            echo "  group=${group_state} container=${container_state} exitCode=${exit_code:-}"
+
+            if [[ "${container_state}" == "Terminated" || "${group_state}" == "Failed" || "${group_state}" == "Succeeded" || "${group_state}" == "Terminated" || "${group_state}" == "Stopped" ]]; then
+              break
+            fi
+            sleep 20
+          done
+
+          echo ""
+          echo "Logs:"
+          az container logs --resource-group "${AZ_RG}" --name "${aci_name}" || true
+
+          if [[ -z "${exit_code:-}" ]]; then
+            exit_code="$(az container show --resource-group "${AZ_RG}" --name "${aci_name}" --query 'containers[0].instanceView.currentState.exitCode' -o tsv 2>/dev/null || true)"
+          fi
+          exit_code="${exit_code:-0}"
+
+          echo ""
+          echo "Artifacts are in Azure Files share '${AZ_FILE_SHARE}' under: ${run_id}/"
+
+          if [[ "${exit_code}" != "0" ]]; then
+            echo "ERROR: container exited with code ${exit_code}" >&2
+            exit "${exit_code}"
+          fi
diff --git a/build_openroad.sh b/build_openroad.sh
@@ -292,28 +292,17 @@ __local_build()
         ${NICE} make install -C tools/yosys-slang -j "${PROC}" YOSYS_PREFIX="${INSTALL_PATH}/yosys/bin/" CMAKE_FLAGS="-DYOSYS_SLANG_REVISION=unknown -DSLANG_REVISION=unknown"
 
         echo "[INFO FLW-0031] Compiling kepler-formal"
-        cd tools/kepler-formal
-        git submodule update --init --recursive
+        ${NICE} cmake -B tools/kepler-formal/build tools/kepler-formal \
+                -DCMAKE_BUILD_TYPE=Release \
+                -DCMAKE_CXX_FLAGS_RELEASE="-Ofast -march=native -ffast-math -flto" \
+                -DCMAKE_EXE_LINKER_FLAGS="-flto" \
+                -DCMAKE_BUILD_RPATH="${DIR}/tools/kepler-formal/build/thirdparty/naja/src/dnl:${DIR}/tools/kepler-formal/build/thirdparty/naja/src/nl/nl:${DIR}/tools/kepler-formal/build/thirdparty/naja/src/optimization" \
+                -DCMAKE_INSTALL_RPATH="${INSTALL_PATH}/kepler-formal/lib" \
+                -DCMAKE_BUILD_WITH_INSTALL_RPATH=OFF \
+                -DCMAKE_INSTALL_RPATH_USE_LINK_PATH=OFF \
+                -DCMAKE_INSTALL_PREFIX="${INSTALL_PATH}/kepler-formal"
+        ${NICE} cmake --build tools/kepler-formal/build --target install -j "${PROC}"
 
-        # if build dir does not exist, create it
-        if [ ! -d build ]; then
-        mkdir build
-        fi 
-        cd build
-
-	cmake .. \
-        -DCMAKE_BUILD_TYPE=Release \
-        -DCMAKE_CXX_FLAGS_RELEASE="-Ofast -march=native -ffast-math -flto" \
-        -DCMAKE_EXE_LINKER_FLAGS="-flto" \
-        -DCMAKE_BUILD_RPATH="${DIR}/tools/kepler-formal/build/thirdparty/naja/src/dnl:${DIR}/tools/kepler-formal/build/thirdparty/naja/src/nl/nl:${DIR}/tools/kepler-formal/build/thirdparty/naja/src/optimization" \
-        -DCMAKE_INSTALL_RPATH="${INSTALL_PATH}/kepler-formal/lib" \
-        -DCMAKE_BUILD_WITH_INSTALL_RPATH=OFF \
-        -DCMAKE_INSTALL_RPATH_USE_LINK_PATH=OFF \
-        -DCMAKE_INSTALL_PREFIX="${INSTALL_PATH}/kepler-formal"
-
-        make -j"${PROC}" install
-
-        cd ../../../
         if [ ${WITH_VERIFIC} -eq 1 ]; then
                 echo "[INFO FLW-0032] Cleaning up Verific components."
                 rm -rf verific

diff --git a/docs/user/FlowVariables.md b/docs/user/FlowVariables.md
@@ -161,6 +161,7 @@ configuration file.
 | <a name="KLAYOUT_TECH_FILE"></a>KLAYOUT_TECH_FILE| A mapping from LEF/DEF to GDS using the KLayout tool.| |
 | <a name="LATCH_MAP_FILE"></a>LATCH_MAP_FILE| Optional mapping file supplied to Yosys to map latches| |
 | <a name="LAYER_PARASITICS_FILE"></a>LAYER_PARASITICS_FILE| Path to per layer parasitics file. Defaults to $(PLATFORM_DIR)/setRC.tcl.| |
+| <a name="LEC_CHECK"></a>LEC_CHECK| Perform a formal equivalence check between before and after netlists.| 1|
 | <a name="LIB_FILES"></a>LIB_FILES| A Liberty file of the standard cell library with PVT characterization, input and output characteristics, timing and power definitions for each cell.| |
 | <a name="MACRO_BLOCKAGE_HALO"></a>MACRO_BLOCKAGE_HALO| Distance beyond the edges of a macro that will also be covered by the blockage generated for that macro. Note that the default macro blockage halo comes from the largest of the specified MACRO_PLACE_HALO x or y values. This variable overrides that calculation.| |
 | <a name="MACRO_EXTENSION"></a>MACRO_EXTENSION| Sets the number of GCells added to the blockages boundaries from macros.| |
@@ -196,13 +197,13 @@ configuration file.
 | <a name="RECOVER_POWER"></a>RECOVER_POWER| Specifies how many percent of paths with positive slacks can be slowed for power savings [0-100].| 0|
 | <a name="REMOVE_ABC_BUFFERS"></a>REMOVE_ABC_BUFFERS (deprecated)| Remove abc buffers from the netlist. If timing repair in floorplanning is taking too long, use a SETUP/HOLD_SLACK_MARGIN to terminate timing repair early instead of using REMOVE_ABC_BUFFERS or set SKIP_LAST_GASP=1.| 0|
 | <a name="REMOVE_CELLS_FOR_EQY"></a>REMOVE_CELLS_FOR_EQY| String patterns directly passed to write_verilog -remove_cells <> for equivalence checks.| |
+| <a name="REMOVE_CELLS_FOR_LEC"></a>REMOVE_CELLS_FOR_LEC| String patterns directly passed to write_verilog -remove_cells <> for lec checks.| |
 | <a name="REPAIR_PDN_VIA_LAYER"></a>REPAIR_PDN_VIA_LAYER| Remove power grid vias which generate DRC violations after detailed routing.| |
 | <a name="REPORT_CLOCK_SKEW"></a>REPORT_CLOCK_SKEW| Report clock skew as part of reporting metrics, starting at CTS, before which there is no clock skew. This metric can be quite time-consuming, so it can be useful to disable.| 1|
 | <a name="ROUTING_LAYER_ADJUSTMENT"></a>ROUTING_LAYER_ADJUSTMENT| Adjusts routing layer capacities to manage congestion and improve detailed routing. High values ease detailed routing but risk excessive detours and long global routing times, while low values reduce global routing failure but can complicate detailed routing. The global routing running time normally reduces dramatically (entirely design specific, but going from hours to minutes has been observed) when the value is low (such as 0.10). Sometimes, global routing will succeed with lower values and fail with higher values. Exploring results with different values can help shed light on the problem. Start with a too low value, such as 0.10, and bisect to value that works by doing multiple global routing runs. As a last resort, `make global_route_issue` and using the tools/OpenROAD/etc/deltaDebug.py can be useful to debug global routing errors. If there is something specific that is impossible to route, such as a clock line over a macro, global routing will terminate with DRC errors routes that could have been routed were it not for the specific impossible routes. deltaDebug.py should weed out the possible routes and leave a minimal failing case that pinpoints the problem.| 0.5|
 | <a name="RTLMP_AREA_WT"></a>RTLMP_AREA_WT| Weight for the area of the current floorplan.| 0.1|
 | <a name="RTLMP_ARGS"></a>RTLMP_ARGS| Overrides all other RTL macro placer arguments.| |
 | <a name="RTLMP_BOUNDARY_WT"></a>RTLMP_BOUNDARY_WT| Weight for the boundary or how far the hard macro clusters are from boundaries.| 50.0|
-| <a name="RTLMP_DATA_FLOW_DRIVEN"></a>RTLMP_DATA_FLOW_DRIVEN| Specifies whether the macro placer should use data-flow driven macro placement. Data-flow driven works by adding a wire length component that takes into account the data paths of the design. This optional can increase run time significantly for large designs.| 1|
 | <a name="RTLMP_FENCE_LX"></a>RTLMP_FENCE_LX| Defines the lower left X coordinate for the global fence bounding box in microns.| 0.0|
 | <a name="RTLMP_FENCE_LY"></a>RTLMP_FENCE_LY| Defines the lower left Y coordinate for the global fence bounding box in microns.| 0.0|
 | <a name="RTLMP_FENCE_UX"></a>RTLMP_FENCE_UX| Defines the upper right X coordinate for the global fence bounding box in microns.| 0.0|
@@ -213,7 +214,7 @@ configuration file.
 | <a name="RTLMP_MIN_AR"></a>RTLMP_MIN_AR| Specifies the minimum aspect ratio (height/width).| 0.33|
 | <a name="RTLMP_MIN_INST"></a>RTLMP_MIN_INST| Minimum number of standard cells in a cluster. If unset, rtl_macro_placer will calculate a value based on the design attributes.| |
 | <a name="RTLMP_MIN_MACRO"></a>RTLMP_MIN_MACRO| Minimum number of macros in a cluster. If unset, rtl_macro_placer will calculate a value based on the design attributes.| |
-| <a name="RTLMP_NOTCH_WT"></a>RTLMP_NOTCH_WT| Weight for the notch, or the existence of dead space that cannot be used for placement and routing.| 10.0|
+| <a name="RTLMP_NOTCH_WT"></a>RTLMP_NOTCH_WT| Weight for the notch, or the existence of dead space that cannot be used for placement and routing.| 50.0|
 | <a name="RTLMP_OUTLINE_WT"></a>RTLMP_OUTLINE_WT| Weight for violating the fixed outline constraint, meaning that all clusters should be placed within the shape of their parent cluster.| 100.0|
 | <a name="RTLMP_RPT_DIR"></a>RTLMP_RPT_DIR| Path to the directory where reports are saved.| |
 | <a name="RTLMP_WIRELENGTH_WT"></a>RTLMP_WIRELENGTH_WT| Weight for half-perimiter wirelength.| 100.0|
@@ -351,7 +352,6 @@ configuration file.
 - [RTLMP_AREA_WT](#RTLMP_AREA_WT)
 - [RTLMP_ARGS](#RTLMP_ARGS)
 - [RTLMP_BOUNDARY_WT](#RTLMP_BOUNDARY_WT)
-- [RTLMP_DATA_FLOW_DRIVEN](#RTLMP_DATA_FLOW_DRIVEN)
 - [RTLMP_FENCE_LX](#RTLMP_FENCE_LX)
 - [RTLMP_FENCE_LY](#RTLMP_FENCE_LY)
 - [RTLMP_FENCE_UX](#RTLMP_FENCE_UX)
@@ -423,6 +423,7 @@ configuration file.
 - [DETAILED_METRICS](#DETAILED_METRICS)
 - [EQUIVALENCE_CHECK](#EQUIVALENCE_CHECK)
 - [HOLD_SLACK_MARGIN](#HOLD_SLACK_MARGIN)
+- [LEC_CHECK](#LEC_CHECK)
 - [MATCH_CELL_FOOTPRINT](#MATCH_CELL_FOOTPRINT)
 - [MAX_REPAIR_TIMING_ITER](#MAX_REPAIR_TIMING_ITER)
 - [POST_CTS_TCL](#POST_CTS_TCL)
@@ -541,6 +542,7 @@ configuration file.
 - [PROCESS](#PROCESS)
 - [RCX_RULES](#RCX_RULES)
 - [RECOVER_POWER](#RECOVER_POWER)
+- [REMOVE_CELLS_FOR_LEC](#REMOVE_CELLS_FOR_LEC)
 - [REPAIR_PDN_VIA_LAYER](#REPAIR_PDN_VIA_LAYER)
 - [RUN_LOG_NAME_STEM](#RUN_LOG_NAME_STEM)
 - [RUN_SCRIPT](#RUN_SCRIPT)

diff --git a/docs/user/InstructionsForAutoTuner.md b/docs/user/InstructionsForAutoTuner.md
@@ -122,27 +122,28 @@ The order of the parameters matter. Arguments `--design`, `--platform` and
 The following commands should be run from `./tools/AutoTuner`.
 ```
 
-#### Tune only 
-
-* AutoTuner: `openroad_autotuner tune -h`
+#### Tune only
 
 Example:
 
 ```shell
-openroad_autotuner --design gcd --platform sky130hd \
-                       --config ../../flow/designs/sky130hd/gcd/autotuner.json \
-                       tune --samples 5
+python3 -m autotuner.distributed \
+  --design gcd \
+  --platform sky130hd \
+  --config ../../flow/designs/sky130hd/gcd/autotuner.json \
+  tune --samples 5
 ```
-#### Sweep only 
 
-* Parameter sweeping: `openroad_autotuner sweep -h`
+#### Sweep only
 
 Example:
 
 ```shell
-openroad_autotuner --design gcd --platform sky130hd \
-                       --config src/autotuner/distributed-sweep-example.json \
-                       sweep
+python3 -m autotuner.distributed \
+  --design gcd \
+  --platform sky130hd \
+  --config src/autotuner/distributed-sweep-example.json \
+  sweep
 ```
 
 #### Plot images
@@ -159,6 +160,19 @@ The graph will show the progression of one metric (see list below) over the exec
 python3 utils/plot.py --results_dir <your-autotuner-result-path>
 ```
 
+#### Work Directory
+
+Use `--work-dir` to specify a writable directory for outputs. This is passed to ORFS as `WORK_HOME`.
+
+```shell
+python3 -m autotuner.distributed \
+  --design gcd \
+  --platform sky130hd \
+  --config ../../flow/designs/sky130hd/gcd/autotuner.json \
+  --work-dir /tmp/autotuner123 \
+  tune --samples 5
+```
+
 ### Google Cloud Platform (GCP) distribution with Ray
 
 GCP Setup Tutorial coming soon.
@@ -171,6 +185,7 @@ GCP Setup Tutorial coming soon.
 | `--platform`                  | Name of the platform for Autotuning.                                                                  ||
 | `--config`                    | Configuration file that sets which knobs to use for Autotuning.                                       ||
 | `--experiment`                | Experiment name. This parameter is used to prefix the FLOW_VARIANT and to set the Ray log destination.| test |
+| `--work-dir`                  | Work directory for outputs (passed to ORFS as WORK_HOME).                                             | Installation directory |
 | `--git_clean`                 | Clean binaries and build files. **WARNING**: may lose previous data.                                  ||
 | `--git_clone`                 | Force new git clone. **WARNING**: may lose previous data.                                             ||
 | `--git_clone_args`            | Additional git clone arguments.                                                                       ||