blob: 8ba4829c07d5a336a12385dcc878c8bd086b6590 [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:systems:pinmux_chip_fpv:0.1"
description: "pinmux FPV target with chip_earlgrey parameters"
filesets:
files_formal:
depend:
- lowrisc:prim:all
- lowrisc:ip:tlul
- lowrisc:ip:pinmux
- lowrisc:fpv:csr_assert_gen
- lowrisc:fpv:pinmux_common_fpv
- lowrisc:systems:top_earlgrey_pkg
files:
- tb/pinmux_tb.sv
file_type: systemVerilogSource
generate:
csr_assert_gen:
generator: csr_assert_gen
parameters:
spec: ../data/autogen/pinmux.hjson
targets:
default: &default_target
default_tool: icarus
filesets:
- files_formal
generate:
- csr_assert_gen
toplevel: pinmux_tb
formal:
<<: *default_target
lint:
<<: *default_target