| CAPI=2: |
| # Copyright lowRISC contributors. |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| name: "lowrisc:prim:onehot_check" |
| description: "One-hot encoding checker" |
| filesets: |
| files_rtl: |
| depend: |
| - lowrisc:prim:util |
| - lowrisc:prim:assert |
| # TODO: remove then #13337 is resolved. |
| - lowrisc:prim:prim_pkg |
| files: |
| - rtl/prim_onehot_check.sv |
| file_type: systemVerilogSource |
| |
| files_verilator_waiver: |
| depend: |
| # common waivers |
| - lowrisc:lint:common |
| files: |
| - lint/prim_onehot_check.vlt |
| file_type: vlt |
| |
| files_ascentlint_waiver: |
| depend: |
| # common waivers |
| - lowrisc:lint:common |
| files: |
| - lint/prim_onehot_check.waiver |
| file_type: waiver |
| |
| files_veriblelint_waiver: |
| depend: |
| # common waivers |
| - lowrisc:lint:common |
| |
| targets: |
| default: |
| filesets: |
| - tool_verilator ? (files_verilator_waiver) |
| - tool_ascentlint ? (files_ascentlint_waiver) |
| - tool_veriblelint ? (files_veriblelint_waiver) |
| - files_rtl |
| |
| formal: |
| filesets: |
| - files_rtl |
| toplevel: prim_onehot_check |
