| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| // |
| // waiver file for OTP controller |
| |
| `verilator_config |
| |
| // Some code in this block checks that an address is greater than or equal to |
| // the offset of a fixed part_info_t (supplied via a parameter). If that |
| // part_info_t happens to have a zero offset, Verilator warns that the |
| // comparison is always true. Waive the warning. |
| lint_off -rule UNSIGNED -file "*/rtl/otp_ctrl.sv" |
| lint_off -rule UNSIGNED -file "*/rtl/otp_ctrl_dai.sv" |
| lint_off -rule UNSIGNED -file "*/rtl/otp_ctrl_part_unbuf.sv" |
| |
| // In otp_ctrl_scrmbl, there are some comparisons between the "sel_i" signal |
| // and LastDigestSet. If the parameter NumDigestSets is a power of 2 (which it |
| // is at the moment), these checks will always be true, causing a Verilator |
| // warning. |
| lint_off -rule CMPCONST -file "*/rtl/otp_ctrl_scrmbl.sv" |
