blob: a43da70fcf797801fea882248c15b0218944ac0d [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:clkmgr_sva:0.1"
description: "CLKMGR assertion modules and bind file."
filesets:
files_dv:
depend:
- lowrisc:tlul:headers
- lowrisc:fpv:csr_assert_gen
- lowrisc:dv:clkmgr_sva_ifs
files:
- clkmgr_bind.sv
- clkmgr_sec_cm_checker_assert.sv
file_type: systemVerilogSource
files_formal:
depend:
- lowrisc:systems:clkmgr
generate:
csr_assert_gen:
generator: csr_assert_gen
parameters:
spec: ../../../../top_earlgrey/ip/clkmgr/data/autogen/clkmgr.hjson
targets:
default: &default_target
filesets:
- files_dv
generate:
- csr_assert_gen
formal:
<<: *default_target
filesets:
- files_formal
- files_dv
toplevel: clkmgr