blob: 0ea18cb2f87a2fbca0a75d5c749f89f7bdd516d4 [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:fpv:prim_secded_hamming_76_68_fpv:0.1"
description: "SECDED FPV target"
filesets:
files_formal:
depend:
- lowrisc:prim:all
- lowrisc:prim:secded
files:
- vip/prim_secded_hamming_76_68_assert_fpv.sv
- tb/prim_secded_hamming_76_68_tb.sv
- tb/prim_secded_hamming_76_68_bind_fpv.sv
file_type: systemVerilogSource
targets:
default: &default_target
# note, this setting is just used
# to generate a file list for jg
default_tool: icarus
filesets:
- files_formal
toplevel:
- prim_secded_hamming_76_68_tb
formal:
<<: *default_target
lint:
<<: *default_target