Add github action for verilator lint and yosys-slang elaboration

.github/workflows/doc.yml

@@ -17,14 +17,14 @@ jobs:
     runs-on: ubuntu-latest                        # will fail)
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v6
         with:
           persist-credentials: false
 
       - name: Install Bender
         uses: pulp-platform/pulp-actions/bender-install@v2
         with:
-          version: 0.27.2
+          version: 0.30.0
 
       - name: Install Morty
         run: |

.github/workflows/elab.yml

@@ -0,0 +1,32 @@
+name: Elaboration
+
+on:
+  push:
+    branches-ignore:
+      - gh-pages
+      - v**
+  pull_request:
+    branches-ignore:
+      - gh-pages
+      - v**
+
+jobs:
+  yosys-slang:
+    name: yosys-slang elaboration
+    runs-on: ubuntu-latest
+    container:
+      image: hpretl/iic-osic-tools:latest
+      options: --user root
+    defaults:
+      run:
+        shell: bash -leo pipefail {0}
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+
+      - name: Bender checkout
+        run: bender checkout
+
+      - name: Run yosys-slang
+        run: scripts/run_yosys_slang.sh

.github/workflows/lint.yml

@@ -0,0 +1,33 @@
+name: Lint
+
+on:
+  push:
+    branches-ignore:
+      - gh-pages
+      - v**
+  pull_request:
+    branches-ignore:
+      - gh-pages
+      - v**
+
+jobs:
+  verilator-lint:
+    name: Verilator lint
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+
+      - name: Install Bender
+        uses: pulp-platform/pulp-actions/bender-install@v2
+        with:
+          version: 0.30.0
+
+      - name: Install verilator
+        uses: veryl-lang/setup-verilator@v1
+
+      - name: Bender checkout
+        run: bender checkout
+
+      - name: Run Verilator lint
+        run: scripts/run_verilator.sh

.gitignore

@@ -3,7 +3,6 @@
 !.ci/
 /.git/
 /build
-/Bender.lock
 /Bender.local
 *.log
 *.wlf

Bender.lock

@@ -0,0 +1,22 @@
+packages:
+  common_cells:
+    revision: 9ca8a7655f741e7dd5736669a20a301325194c28
+    version: 1.39.0
+    source:
+      Git: https://github.com/pulp-platform/common_cells.git
+    dependencies:
+    - common_verification
+    - tech_cells_generic
+  common_verification:
+    revision: fb1885f48ea46164a10568aeff51884389f67ae3
+    version: 0.2.5
+    source:
+      Git: https://github.com/pulp-platform/common_verification.git
+    dependencies: []
+  tech_cells_generic:
+    revision: 7968dd6e6180df2c644636bc6d2908a49f2190cf
+    version: 0.2.13
+    source:
+      Git: https://github.com/pulp-platform/tech_cells_generic.git
+    dependencies:
+    - common_verification

Bender.yml

@@ -19,7 +19,7 @@ package:
     - "Florian Zaruba <zarubaf@iis.ee.ethz.ch>"
 
 dependencies:
-  common_cells: { git: "https://github.com/pulp-platform/common_cells.git", version: 1.37.0 }
+  common_cells: { git: "https://github.com/pulp-platform/common_cells.git", version: 1.39.0 }
   common_verification: { git: "https://github.com/pulp-platform/common_verification.git", version: 0.2.5 }
   tech_cells_generic:  { git: "https://github.com/pulp-platform/tech_cells_generic.git", version: 0.2.2 }
 

scripts/run_yosys_slang.sh

@@ -0,0 +1,23 @@
+#!/bin/bash
+# Copyright (c) 2026 ETH Zurich, University of Bologna
+#
+# Copyright and related rights are licensed under the Solderpad Hardware
+# License, Version 0.51 (the "License"); you may not use this file except in
+# compliance with the License.  You may obtain a copy of the License at
+# http://solderpad.org/licenses/SHL-0.51. Unless required by applicable law
+# or agreed to in writing, software, hardware and materials distributed under
+# this License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
+# CONDITIONS OF ANY KIND, either express or implied. See the License for the
+# specific language governing permissions and limitations under the License.
+#
+# Authors:
+# - Michael Rogenmoser <michaero@iis.ee.ethz.ch>
+
+set -e
+ROOT=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)
+
+[ ! -z "$YOSYS" ] || YOSYS="yosys"
+
+bender script flist-plus -t synthesis -t synth_test > ./slang.flist
+
+$YOSYS -m slang -p "read_slang -Werror -f slang.flist --allow-use-before-declare --ignore-unknown-modules --keep-hierarchy --top axi_synth_bench; hierarchy"

src/axi_burst_splitter_gran.sv

@@ -698,7 +698,10 @@ module axi_burst_splitter_gran_counters #(
     .oup_req_i        ( cnt_req_i     ),
     .oup_data_o       ( cnt_r_idx     ),
     .oup_data_valid_o ( idq_oup_valid ),
-    .oup_gnt_o        ( idq_oup_gnt   )
+    .oup_gnt_o        ( idq_oup_gnt   ),
+
+    .full_o (),
+    .empty_o ()
   );
   assign idq_inp_req = alloc_req   & alloc_gnt;
   assign alloc_gnt   = idq_inp_gnt & |(cnt_free);

src/axi_burst_unwrap.sv

@@ -616,7 +616,10 @@ module axi_burst_counters #(
     .oup_req_i        ( cnt_req_i     ),
     .oup_data_o       ( cnt_r_idx     ),
     .oup_data_valid_o ( idq_oup_valid ),
-    .oup_gnt_o        ( idq_oup_gnt   )
+    .oup_gnt_o        ( idq_oup_gnt   ),
+
+    .full_o (),
+    .empty_o ()
   );
   assign idq_inp_req = alloc_req_i & alloc_gnt_o;
   assign alloc_gnt_o = idq_inp_gnt & |(cnt_free);

src/axi_dw_downsizer.sv

@@ -330,7 +330,10 @@ module axi_dw_downsizer #(
     .exists_mask_i   ('0              ),
     .exists_req_i    ('0              ),
     .exists_o        (/* Unused  */   ),
-    .exists_gnt_o    (/* Unused  */   )
+    .exists_gnt_o    (/* Unused  */   ),
+
+    .full_o (),
+    .empty_o ()
   );
 
   for (genvar t = 0; unsigned'(t) < AxiMaxReads; t++) begin: gen_read_downsizer