| 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_count_fpv:0.1" |
| description: "prim_count FPV target" |
| filesets: |
| files_formal: |
| depend: |
| - lowrisc:prim:all |
| - lowrisc:prim:count |
| files: |
| - tb/prim_count_tb.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_count_tb |
| |
| formal: |
| <<: *default_target |
| |
| lint: |
| <<: *default_target |
