blob: 8c7fc4a43d461e1972bbc530911d825ff3344f19 [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:rstmgr_sva:0.1"
description: "RSTMGR assertion modules and bind file."
filesets:
files_dv:
depend:
- lowrisc:dv:rstmgr_sva_ifs
files:
- rstmgr_bind.sv
file_type: systemVerilogSource
targets:
default: &default_target
filesets:
- files_dv
formal:
<<: *default_target
filesets:
- files_dv
toplevel: rstmgr