blob: a3491ab7871a37d3b5a78d502f6d666686cc4dba [file] [log] [blame]
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:dv:pwrmgr_sva:0.1"
description: "PWRMGR assertion modules and bind file."
filesets:
files_dv:
depend:
- lowrisc:tlul:headers
- lowrisc:fpv:csr_assert_gen
- lowrisc:ip:pwrmgr
- lowrisc:dv:clkmgr_pwrmgr_sva_if
- lowrisc:dv:pwrmgr_rstmgr_sva_if
files:
- pwrmgr_bind.sv
- pwrmgr_clock_enables_sva_if.sv
- pwrmgr_rstreqs_sva_if.sv
- pwrmgr_sec_cm_checker_assert.sv
file_type: systemVerilogSource
files_formal:
depend:
- lowrisc:ip:pwrmgr
generate:
csr_assert_gen:
generator: csr_assert_gen
parameters:
spec: ../../../../top_earlgrey/ip/pwrmgr/data/autogen/pwrmgr.hjson
targets:
default: &default_target
filesets:
- files_dv
generate:
- csr_assert_gen
formal:
<<: *default_target
filesets:
- files_formal
- files_dv
toplevel: pwrmgr