Eunchan Kim | 0655035 | 2020-10-12 16:42:45 -0700 | [diff] [blame] | 1 | # Copyright lowRISC contributors. |
| 2 | # Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| 3 | # SPDX-License-Identifier: Apache-2.0 |
| 4 | # |
| 5 | # Rules for svlint, a SystemVerilog linter commonly used in editors. |
| 6 | # The configuration matches the lowRISC SystemVerilog style guide at |
| 7 | # https://github.com/lowRISC/style-guides/blob/master/VerilogCodingStyle.md. |
| 8 | # See https://github.com/dalance/svlint/blob/master/RULES.md for a list of rules. |
| 9 | |
| 10 | [option] |
| 11 | exclude_paths = ["build.*", "sw/.*", ".sv.tpl$"] |
| 12 | |
| 13 | [rules] |
Eunchan Kim | 0445f01 | 2021-05-27 04:11:55 -0700 | [diff] [blame] | 14 | blocking_assignment_in_always_ff = true |
Eunchan Kim | 0655035 | 2020-10-12 16:42:45 -0700 | [diff] [blame] | 15 | case_default = true |
Eunchan Kim | 0445f01 | 2021-05-27 04:11:55 -0700 | [diff] [blame] | 16 | default_nettype_none = false |
Eunchan Kim | 0655035 | 2020-10-12 16:42:45 -0700 | [diff] [blame] | 17 | enum_with_type = true |
| 18 | for_with_begin = true |
| 19 | function_same_as_system_function = true |
| 20 | function_with_automatic = true |
| 21 | generate_for_with_label = true |
| 22 | generate_if_with_label = true |
| 23 | generate_keyword_forbidden = true |
| 24 | generate_keyword_required = false |
| 25 | genvar_declaration_in_loop = true |
| 26 | genvar_declaration_out_loop = false |
| 27 | if_with_begin = true |
| 28 | inout_with_tri = false |
| 29 | input_with_var = false |
| 30 | interface_port_with_modport = false |
| 31 | legacy_always = false |
| 32 | level_sensitive_always = true |
| 33 | loop_variable_declaration = true |
| 34 | non_ansi_module = true |
Eunchan Kim | 0445f01 | 2021-05-27 04:11:55 -0700 | [diff] [blame] | 35 | non_blocking_assignment_in_always_comb = true |
Eunchan Kim | 0655035 | 2020-10-12 16:42:45 -0700 | [diff] [blame] | 36 | output_with_var = false |
| 37 | parameter_in_package = false |
Eunchan Kim | 0445f01 | 2021-05-27 04:11:55 -0700 | [diff] [blame] | 38 | priority_keyword = false |
Eunchan Kim | 0655035 | 2020-10-12 16:42:45 -0700 | [diff] [blame] | 39 | tab_character = true |
| 40 | unique0_keyword = false |
| 41 | unique_keyword = false |
| 42 | wire_reg = true |