| 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:ip:pwrmgr:0.1" |
| description: "Power Manager" |
| |
| filesets: |
| files_rtl: |
| depend: |
| - lowrisc:ip:tlul |
| - lowrisc:ip:pwrmgr_pkg |
| files: |
| - rtl/pwrmgr.sv |
| - rtl/pwrmgr_cdc.sv |
| - rtl/pwrmgr_slow_fsm.sv |
| - rtl/pwrmgr_fsm.sv |
| - rtl/pwrmgr_wake_info.sv |
| file_type: systemVerilogSource |
| |
| files_verilator_waiver: |
| depend: |
| # common waivers |
| - lowrisc:lint:common |
| - lowrisc:lint:comportable |
| files: |
| - lint/pwrmgr.vlt |
| file_type: vlt |
| |
| files_ascentlint_waiver: |
| depend: |
| # common waivers |
| - lowrisc:lint:common |
| - lowrisc:lint:comportable |
| files: |
| - lint/pwrmgr.waiver |
| file_type: waiver |
| |
| files_veriblelint_waiver: |
| depend: |
| # common waivers |
| - lowrisc:lint:common |
| - lowrisc:lint:comportable |
| |
| files_formal: |
| files: |
| - dv/tb/pwrmgr_bind.sv |
| file_type: systemVerilogSource |
| |
| parameters: |
| SYNTHESIS: |
| datatype: bool |
| paramtype: vlogdefine |
| |
| |
| targets: |
| default: &default_target |
| filesets: |
| - tool_verilator ? (files_verilator_waiver) |
| - tool_ascentlint ? (files_ascentlint_waiver) |
| - tool_veriblelint ? (files_veriblelint_waiver) |
| - target_formal ? (files_formal) |
| - files_rtl |
| toplevel: pwrmgr |
| |
| formal: |
| filesets: |
| - files_rtl |
| - files_formal |
| toplevel: pwrmgr |
| |
| lint: |
| <<: *default_target |
| default_tool: verilator |
| parameters: |
| - SYNTHESIS=true |
| tools: |
| ascentlint: |
| ascentlint_options: |
| - "-wait_license" |
| - "-stop_on_error" |
| verilator: |
| mode: lint-only |
| verilator_options: |
| - "-Wall" |
