blob: 4c5923788ec8421e5387c36552f78d0afbd14fb3 [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
<%
module_name = instance_vlnv("lowrisc:ip:" + module_instance_name + "_fpv:0.1")
depends_name = instance_vlnv("lowrisc:ip:" + module_instance_name)
%>\
name: ${module_name}
description: "FPV for RISC-V PLIC"
filesets:
files_formal:
depend:
- lowrisc:ip:tlul
- lowrisc:prim:all
- ${depends_name}
- lowrisc:fpv:csr_assert_gen
files:
- tb/${module_instance_name}_bind_fpv.sv
- tb/${module_instance_name}_tb.sv
- vip/${module_instance_name}_assert_fpv.sv
file_type: systemVerilogSource
generate:
csr_assert_gen:
generator: csr_assert_gen
parameters:
spec: ../data/${module_instance_name}.hjson
depend: ${depends_name}
targets:
default: &default_target
# note, this setting is just used
# to generate a file list for jg
default_tool: icarus
filesets:
- files_formal
generate:
- csr_assert_gen
toplevel: ${module_instance_name}_tb
formal:
<<: *default_target
lint:
<<: *default_target