From 95c8995bbb6371733accad9e6e2aba19b9627973 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 13 Oct 2026 11:56:41 +0000
Subject: [PATCH 1/2] Fix formal and synthesis CI setup

Co-authored-by: jordanrule <3999862+jordanrule@users.noreply.github.com>
---
 .github/workflows/sky130-smoke.yml | 19 ++++++-------------
 1 file changed, 6 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/sky130-smoke.yml b/.github/workflows/sky130-smoke.yml
index 6aa6ce9..e281cfa 100644
--- a/.github/workflows/sky130-smoke.yml
+++ b/.github/workflows/sky130-smoke.yml
@@ -19,16 +19,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - name: Install Yosys and SymbiYosys
-        shell: bash
+      - name: Set up OSS CAD Suite
+        uses: YosysHQ/setup-oss-cad-suite@aefa8397bbf8fc6670a0a62af9805a89738f3cde
+      - name: Verify formal tools
         run: |
-          set -euxo pipefail
-          sudo apt-get update
-          sudo apt-get install -y yosys python3-pip
-          python3 -m pip install --user --upgrade pip
-          python3 -m pip install --user symbiyosys
-          echo "$HOME/.local/bin" >> "$GITHUB_PATH"
-          which sby
+          yosys -V
           sby --version
       - name: Run formal checks
         shell: bash
@@ -42,10 +37,8 @@ jobs:
     continue-on-error: true
     steps:
       - uses: actions/checkout@v4
-      - name: Install docker (required for OpenLane)
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y docker.io
+      - name: Verify Docker
+        run: docker --version
       - name: OpenLane smoke check
         run: |
           docker run --rm -v "$(pwd):/work" -w /work \

From ddffd11e025c385de5b8f5396539ee194f37c09f Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 13 Oct 2026 11:58:14 +0000
Subject: [PATCH 2/2] Install SymbiYosys and solver in CI

Co-authored-by: jordanrule <3999862+jordanrule@users.noreply.github.com>
---
 .github/workflows/sky130-smoke.yml | 12 +++++++++---
 formal/dpu_tile.sby                |  3 +--
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/sky130-smoke.yml b/.github/workflows/sky130-smoke.yml
index e281cfa..a35239e 100644
--- a/.github/workflows/sky130-smoke.yml
+++ b/.github/workflows/sky130-smoke.yml
@@ -19,10 +19,16 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - name: Set up OSS CAD Suite
-        uses: YosysHQ/setup-oss-cad-suite@aefa8397bbf8fc6670a0a62af9805a89738f3cde
-      - name: Verify formal tools
+      - name: Install Yosys, Boolector, and SymbiYosys
+        shell: bash
         run: |
+          set -euxo pipefail
+          sudo apt-get update
+          sudo apt-get install -y yosys boolector
+          git init "$RUNNER_TEMP/sby"
+          git -C "$RUNNER_TEMP/sby" fetch --depth 1 https://github.com/YosysHQ/sby.git b1a1e98cba941ec8433f8dc27f416cd7bb7f14be
+          git -C "$RUNNER_TEMP/sby" checkout --detach FETCH_HEAD
+          sudo make -C "$RUNNER_TEMP/sby" install
           yosys -V
           sby --version
       - name: Run formal checks
diff --git a/formal/dpu_tile.sby b/formal/dpu_tile.sby
index 1a05b72..b7f92ad 100644
--- a/formal/dpu_tile.sby
+++ b/formal/dpu_tile.sby
@@ -3,7 +3,7 @@ mode prove
 depth 24
 
 [engines]
-smtbmc
+smtbmc boolector
 
 [script]
 read -formal dpu_tile.sv dpu_tile_properties.sv
@@ -12,4 +12,3 @@ prep -top dpu_tile_properties
 [files]
 rtl/dpu_tile.sv
 formal/dpu_tile_properties.sv
-