File tree Expand file tree Collapse file tree 2 files changed +19
-0
lines changed Expand file tree Collapse file tree 2 files changed +19
-0
lines changed Original file line number Diff line number Diff line change @@ -76,6 +76,9 @@ filesets:
7676 depend:
7777 # common waivers
7878 - lowrisc:lint:common
79+ files:
80+ - lint/ast.vbl
81+ file_type: veribleLintWaiver
7982
8083parameters:
8184 SYNTHESIS:
Original file line number Diff line number Diff line change 1+ # Copyright lowRISC contributors (OpenTitan project).
2+ # Licensed under the Apache License, Version 2.0, see LICENSE for details.
3+ # SPDX-License-Identifier: Apache-2.0
4+ #
5+ # Verible waiver file for AST
6+
7+ # Waive the always-comb rule in the various "pgd" modules. The rule is checking
8+ # that we don't use always @*, and suggests we use always_comb instead.
9+ # Unfortunately, the code in question doesn't really translate to always_comb.
10+ # And we don't really care about the linting rule: the code is just supposed to
11+ # be a behavioural model of some analog code that isn't really part of the OT
12+ # open-source repo. Waive the warning.
13+ waive --rule=always-comb --location="vcc_pgd.sv"
14+ waive --rule=always-comb --location="vio_pgd.sv"
15+ waive --rule=always-comb --location="vcaon_pgd.sv"
16+ waive --rule=always-comb --location="vcmain_pgd.sv"
You can’t perform that action at this time.
0 commit comments