mirror of
https://github.com/olofk/serv.git
synced 2025-06-28 09:13:54 -04:00
Fix lint for QERV mode
This commit is contained in:
parent
3c2dc51969
commit
a72c1e8737
4 changed files with 12 additions and 2 deletions
7
.github/workflows/lint.yml
vendored
7
.github/workflows/lint.yml
vendored
|
@ -5,6 +5,9 @@ on: [push, pull_request]
|
|||
jobs:
|
||||
lint:
|
||||
runs-on: ubuntu-latest
|
||||
strategy:
|
||||
matrix:
|
||||
width: [1, 4]
|
||||
name: Linter
|
||||
env:
|
||||
REPO : serv
|
||||
|
@ -17,6 +20,6 @@ jobs:
|
|||
- run: sudo apt install verilator
|
||||
- run: pip3 install fusesoc
|
||||
- run: fusesoc library add $REPO $GITHUB_WORKSPACE/$REPO
|
||||
- run: fusesoc run --target=lint $VLNV
|
||||
- run: fusesoc run --target=lint servant
|
||||
- run: fusesoc run --target=lint $VLNV --W=${{ matrix.width }}
|
||||
- run: fusesoc run --target=lint servant --width=${{ matrix.width }}
|
||||
- run: fusesoc run --target=lint serving
|
||||
|
|
|
@ -12,3 +12,8 @@ lint_off -rule UNUSED -file "*/serv_top.v" -lines 70
|
|||
//Some bufreg signals are not used in 1-bit mode
|
||||
lint_off -rule UNUSED -file "*/serv_bufreg.v" -lines 10
|
||||
lint_off -rule UNUSED -file "*/serv_bufreg.v" -lines 19-21
|
||||
|
||||
//Some signals not used in 4-bit mode
|
||||
lint_off -rule UNUSED -file "*/serv_immdec.v" -lines 12
|
||||
lint_off -rule UNUSED -file "*/serv_bufreg.v" -lines 9
|
||||
lint_off -rule UNUSED -file "*/serv_ctrl.v" -lines 17
|
||||
|
|
|
@ -49,6 +49,7 @@ targets:
|
|||
default_tool : verilator
|
||||
description: Run static code checks (linting)
|
||||
filesets : [core]
|
||||
parameters: [W]
|
||||
tools:
|
||||
verilator:
|
||||
mode : lint-only
|
||||
|
|
|
@ -470,6 +470,7 @@ targets:
|
|||
flow: lint
|
||||
flow_options:
|
||||
tool : verilator
|
||||
parameters : [width]
|
||||
toplevel : servant
|
||||
|
||||
lx9_microboard:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue