ci: Add spyglass check

Author: colluca

.github/actions/setup-python/action.yml

@@ -25,4 +25,4 @@ runs:
     - name: Sync Python environment
       shell: sh
       run: |
-        uv sync --all-extras --locked
+        uv sync --extra all --locked

.gitlab-ci.yml

@@ -185,11 +185,20 @@ yosys-synthesis:
     - make sw -j
     - make vsim-run SN_BINARY=$PWD/sw/tests/build/simple.elf
 
-################################
-# Non-free implementation flow #
-################################
+#################
+# Non-free jobs #
+#################
 
-nonfree:
+# Non-free elaboration flow
+elab:
   script:
     - make nonfree
     - make elab
+
+# Spyglass lint
+spyglass:
+  script:
+    - make nonfree
+    - make spyglass
+    - util/lint/check_spyglass_lint.py --threshold 3
+        nonfree/lint/build/sg_projects/snitch_cluster/snitch_cluster/lint/lint_rtl/spyglass_reports/moresimple.rpt

pyproject.toml

@@ -62,6 +62,9 @@ docs = [
 all = [
     "snitch[kernels,docs]"
 ]
+nonfree = [
+    "pysynthutils @ git+ssh://git@iis-git.ee.ethz.ch/colluca/pysynthutils.git@b92ea41",
+]
 
 [tool.uv.sources]
 torch = [

util/container/entrypoint.sh

@@ -6,6 +6,6 @@
 set -e
 
 # We sync dependencies at Docker startup, so we don't have to bake them in in the build stage
-uv sync --all-extras --locked
+uv sync --extra all --locked
 
 exec "$@"

util/lint/check_spyglass_lint.py

@@ -0,0 +1,31 @@
+#!/usr/bin/env python3
+# Copyright 2026 ETH Zurich and University of Bologna.
+# Licensed under the Apache License, Version 2.0, see LICENSE for details.
+# SPDX-License-Identifier: Apache-2.0
+import argparse
+import sys
+from pysynthutils import LintViolations
+
+
+def main():
+    parser = argparse.ArgumentParser()
+    parser.add_argument('report', help='Path to moresimple.rpt')
+    parser.add_argument('--threshold', type=int, default=0)
+    args = parser.parse_args()
+
+    lv = LintViolations(args.report)
+    violations = lv.filter(exclude_files='.bender')
+    n = len(violations)
+
+    for _, v in violations.iterrows():
+        print(f'[{v.severity}] {v.rule}  {v.file}:{v.line}  {v.message}')
+    print(f'\n{n} violation(s) outside .bender/ (threshold: {args.threshold})')
+
+    if n > args.threshold:
+        print('FAIL: threshold exceeded')
+        sys.exit(1)
+    print('PASS')
+
+
+if __name__ == '__main__':
+    main()