hw/ip/prim/fpv/prim_secded_inv_hamming_72_64_fpv.core

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_inv_hamming_72_64_fpv:0.1"
description: "SECDED FPV target"
filesets:
  files_formal:
    depend:
      - lowrisc:prim:all
      - lowrisc:prim:secded
    files:
      - vip/prim_secded_inv_hamming_72_64_assert_fpv.sv
      - tb/prim_secded_inv_hamming_72_64_tb.sv
      - tb/prim_secded_inv_hamming_72_64_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_inv_hamming_72_64_tb

  formal:
    <<: *default_target

  lint:
    <<: *default_target