From 80abdb138ff9b08a6167211176abac6391c0cd8e Mon Sep 17 00:00:00 2001 From: Tim Paine <3105306+timkpaine@users.noreply.github.com> Date: Thu, 19 Feb 2026 23:21:59 -0500 Subject: [PATCH 1/2] Bump yosys to 0.62 --- Makefile | 2 +- README.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index ada0c49..d93e4be 100644 --- a/Makefile +++ b/Makefile @@ -79,7 +79,7 @@ ANTLR_VERSION := 4.13.2 UHDM_VERSION := 1.84 SURELOG_VERSION := 1.84 VERIBLE_VERSION := 0.1.0 -YOSYS_VERSION := 0.56 +YOSYS_VERSION := 0.62 SYNLIG_VERSION := 2024-11-29-10efd31 VERILATOR_VERSION := 5.038 OPENFPGALOADER_VERSION := 0.13.1 diff --git a/README.md b/README.md index 0e40f4b..a2f169d 100644 --- a/README.md +++ b/README.md @@ -15,7 +15,7 @@ Software Tools | UHDM | [chipsalliance/uhdm](https://github.com/chipsalliance/uhdm) | 1.80 | amd64 | deb | | Verible | [chipsalliance/verible](https://github.com/chipsalliance/verible) | 0.0-3430-g060bde0f | amd64 | deb | | verilator | [verilator/verilator](https://github.com/verilator/verilator) | 5.034 | | | -| yosys | [YosysHQ/yosys](https://github.com/YosysHQ/yosys) | 0.51 | amd64 | deb | +| yosys | [YosysHQ/yosys](https://github.com/YosysHQ/yosys) | 0.62 | amd64 | deb | - \ No newline at end of file + From 47d12c2786ac30b25b759c446331ecf70c5739e7 Mon Sep 17 00:00:00 2001 From: Tim Paine <3105306+timkpaine@users.noreply.github.com> Date: Mon, 22 Jun 2026 19:26:25 -0400 Subject: [PATCH 2/2] Replace synlig with yosys-slang synlig is abandoned upstream (last commit 2024-12-10) and its UHDM frontend doesn't build against yosys 0.62's refactored AST API. yosys-slang (povik/yosys-slang) is actively maintained, officially supports yosys 0.52-0.65, and provides the read_slang SystemVerilog frontend as a yosys plugin (slang.so). --- .github/workflows/build.yml | 4 +- Makefile | 73 +++++++++++++++---------------------- README.md | 1 + 3 files changed, 32 insertions(+), 46 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index bd65d92..899d51b 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -132,8 +132,8 @@ jobs: make yosys/install make yosys/debian - - name: Build - synlig - run: make synlig/debian + - name: Build - yosys-slang + run: make yosys-slang/debian - name: Build - verilator run: make verilator/debian diff --git a/Makefile b/Makefile index 0a5b5a6..7056221 100644 --- a/Makefile +++ b/Makefile @@ -80,7 +80,8 @@ UHDM_VERSION := 1.84 SURELOG_VERSION := 1.84 VERIBLE_VERSION := 0.1.0 YOSYS_VERSION := 0.62 -SYNLIG_VERSION := 2024-11-29-10efd31 +SLANG_COMMIT := d5e8d8558e +SLANG_VERSION := 0.0-g$(SLANG_COMMIT) VERILATOR_VERSION := 5.044 OPENFPGALOADER_VERSION := 0.13.1 SIMVIEW_VERSION := 0.0.1 @@ -101,7 +102,7 @@ download: ## Download all releases wget https://github.com/dau-dev/tools/releases/download/v$(RELEASE_VERSION)/surelog_$(SURELOG_VERSION)_amd64.deb # wget https://github.com/dau-dev/tools/releases/download/v$(RELEASE_VERSION)/simview_$(SIMVIEW_VERSION)_amd64.deb wget https://github.com/dau-dev/tools/releases/download/v$(RELEASE_VERSION)/yosys_$(YOSYS_VERSION)_amd64.deb - wget https://github.com/dau-dev/tools/releases/download/v$(RELEASE_VERSION)/synlig_$(SYNLIG_VERSION)_amd64.deb + wget https://github.com/dau-dev/tools/releases/download/v$(RELEASE_VERSION)/yosys-slang_$(SLANG_VERSION)_amd64.deb wget https://github.com/dau-dev/tools/releases/download/v$(RELEASE_VERSION)/verilator_$(VERILATOR_VERSION)_amd64.deb wget https://github.com/dau-dev/tools/releases/download/v$(RELEASE_VERSION)/openfpgaloader_$(OPENFPGALOADER_VERSION)_amd64.deb wget https://github.com/dau-dev/tools/releases/download/v$(RELEASE_VERSION)/simview_$(SIMVIEW_VERSION)_amd64.deb @@ -470,47 +471,31 @@ openfpgaloader/debian: ## build debian package for openfpgaloader dpkg-deb -Z"gzip" --root-owner-group --build openfpgaloader/debian openfpgaloader_$(OPENFPGALOADER_VERSION)_amd64.deb ##################################################################################################################################################################################################################################################################################### -# _ _ -# | (_) -# ___ _ _ _ __ | |_ __ _ -# / __| | | | '_ \| | |/ _` | -# \__ \ |_| | | | | | | (_| | -# |___/\__, |_| |_|_|_|\__, | -# __/ | __/ | -# |___/ |___/ -# -# https://github.com/chipsalliance/synlig -# -.PHONY: synlig/build synlig synlig/install synlig/debian -SYNLIG_CMAKE_ARGS := \ - -DSYNLIG_USE_HOST_SURELOG=ON \ - -DSYNLIG_USE_HOST_CAPNP=ON \ - -DSYNLIG_USE_HOST_GTEST=ON \ - -DSYNLIG_USE_HOST_YOSYS=OFF \ - -DYOSYS_CONFIG=yosys-config \ - -DYOSYS_PATH=$(shell yosys-config --datdir)/include \ - -DSYNLIG_WITH_TCMALLOC=OFF \ - -DSYNLIG_WITH_ZLIB=ON - -synlig/.git: - git clone --depth 1 --branch $(SYNLIG_VERSION) https://github.com/chipsalliance/synlig.git - -synlig/build: synlig/.git - echo "cmake $(SYNLIG_CMAKE_ARGS) $(CMAKE_COMMON_ARGS_SHARED) ." - cd synlig && cmake $(SYNLIG_CMAKE_ARGS) $(CMAKE_COMMON_ARGS_SHARED) . - cd synlig && cmake $(CMAKE_BUILD_ARGS_SHARED) - -synlig: synlig/build ## build synlig - -synlig/install: synlig/build ## build and install synlig - cd synlig && $(SUDO) cmake $(CMAKE_INSTALL_ARGS_SHARED) - -synlig/debian: ## build debian package for synlig - $(MAKE) synlig/build - mkdir -p synlig/debian/DEBIAN - printf "Package: synlig\nVersion: $(SYNLIG_VERSION)\nSection: utils\nPriority: optional\nArchitecture: amd64\nMaintainer: timkpaine \nDescription: synlig\n" > synlig/debian/DEBIAN/control - cp -r synlig/out/current/* synlig/debian/ - dpkg-deb -Z"gzip" --root-owner-group --build synlig/debian synlig_$(SYNLIG_VERSION)_amd64.deb +# yosys-slang +# +# https://github.com/povik/yosys-slang +# +.PHONY: yosys-slang/build yosys-slang yosys-slang/install yosys-slang/debian + +yosys-slang/.git: + git clone --recursive https://github.com/povik/yosys-slang.git + cd yosys-slang && git checkout $(SLANG_COMMIT) && git submodule update --init --recursive + +yosys-slang/build: yosys-slang/.git + cd yosys-slang && cmake -S . -B build -DYOSYS_CONFIG=yosys-config -DCMAKE_BUILD_TYPE=Release + cd yosys-slang && cmake --build build -j $(NPROC) + +yosys-slang: yosys-slang/build ## build yosys-slang + +yosys-slang/install: yosys-slang/build ## build and install yosys-slang + cd yosys-slang && $(SUDO) cmake --install build + +yosys-slang/debian: ## build debian package for yosys-slang + $(MAKE) yosys-slang/build + mkdir -p yosys-slang/debian/DEBIAN + cd yosys-slang && DESTDIR=$(CURDIR)/yosys-slang/debian cmake --install build + printf "Package: yosys-slang\nVersion: $(SLANG_VERSION)\nSection: utils\nPriority: optional\nArchitecture: amd64\nMaintainer: timkpaine \nDescription: yosys-slang\n" > yosys-slang/debian/DEBIAN/control + dpkg-deb -Z"gzip" --root-owner-group --build yosys-slang/debian yosys-slang_$(SLANG_VERSION)_amd64.deb @@ -639,7 +624,7 @@ clean: ## Delete all built repos rm -rf antlr4 rm -rf uhdm rm -rf surelog - rm -rf synlig + rm -rf yosys-slang rm -rf verible rm -rf yosys rm -rf openfpgaloader diff --git a/README.md b/README.md index d5d41f7..80a992a 100644 --- a/README.md +++ b/README.md @@ -16,5 +16,6 @@ Software Tools | Verible | [chipsalliance/verible](https://github.com/chipsalliance/verible) | 0.0-3430-g060bde0f | amd64 | deb | | verilator | [verilator/verilator](https://github.com/verilator/verilator) | 5.044 | | | | yosys | [YosysHQ/yosys](https://github.com/YosysHQ/yosys) | 0.62 | amd64 | deb | +| yosys-slang | [povik/yosys-slang](https://github.com/povik/yosys-slang) | 0.0-gd5e8d8558e | amd64 | deb |