Skip to content

Repair formal and Docker setup in SKY130 CI #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jordanrule merged 2 commits into from
Oct 13, 2026
Merged

Repair formal and Docker setup in SKY130 CI #1

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
95c8995
Fix formal and synthesis CI setup
Copilot Oct 13, 2026
ddffd11
Install SymbiYosys and solver in CI
Copilot Oct 13, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 9 additions & 10 deletions .github/workflows/sky130-smoke.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,16 +19,17 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install Yosys and SymbiYosys
- name: Install Yosys, Boolector, and SymbiYosys
shell: bash
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
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
shell: bash
Expand All @@ -42,10 +43,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 \
Expand Down
3 changes: 1 addition & 2 deletions formal/dpu_tile.sby
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ mode prove
depth 24

[engines]
smtbmc
smtbmc boolector

[script]
read -formal dpu_tile.sv dpu_tile_properties.sv
Expand All @@ -12,4 +12,3 @@ prep -top dpu_tile_properties
[files]
rtl/dpu_tile.sv
formal/dpu_tile_properties.sv