mirror of
https://github.com/lowRISC/ibex.git
synced 2025-04-24 13:57:19 -04:00
1377e42a17
Add fusesoc description for core with tracing enabled, implicitly linting the ibex_tracer as well. Run with $ fusesoc --cores-root=. run --target=lint lowrisc:ibex:ibex_core_tracing
69 lines
1.5 KiB
Text
69 lines
1.5 KiB
Text
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:ibex:ibex_core_tracing:0.1"
|
|
description: "Ibex CPU core with tracing enabled"
|
|
filesets:
|
|
files_rtl:
|
|
depend:
|
|
- lowrisc:ibex:ibex_core
|
|
- lowrisc:ibex:ibex_tracer
|
|
files:
|
|
- rtl/ibex_core_tracing.sv
|
|
file_type: systemVerilogSource
|
|
|
|
files_lint:
|
|
files:
|
|
- dv/uvm/tb/prim_clock_gating.sv: {file_type: systemVerilogSource}
|
|
|
|
files_lint_verilator:
|
|
files:
|
|
- lint/verilator_waiver.vlt: {file_type: vlt}
|
|
|
|
parameters:
|
|
# The tracer uses the RISC-V Formal Interface (RVFI) to collect trace signals.
|
|
RVFI:
|
|
datatype: bool
|
|
paramtype: vlogdefine
|
|
default: true
|
|
|
|
SYNTHESIS:
|
|
datatype: bool
|
|
paramtype: vlogdefine
|
|
|
|
RV32E:
|
|
datatype: bool
|
|
paramtype: vlogparam
|
|
|
|
RV32M:
|
|
datatype: bool
|
|
paramtype: vlogparam
|
|
|
|
|
|
|
|
targets:
|
|
default:
|
|
filesets:
|
|
- files_rtl
|
|
parameters:
|
|
- RVFI=true
|
|
|
|
lint:
|
|
filesets:
|
|
# Note on Verilator waivers:
|
|
# You *must* include the waiver file first, otherwise only global waivers
|
|
# are applied, but not file-specific waivers.
|
|
- tool_verilator ? (files_lint_verilator)
|
|
- files_rtl
|
|
- files_lint
|
|
parameters:
|
|
- RVFI=true
|
|
- SYNTHESIS=true
|
|
default_tool: verilator
|
|
toplevel: ibex_core_tracing
|
|
tools:
|
|
verilator:
|
|
mode: lint-only
|
|
verilator_options:
|
|
- "-Wall"
|