mirror of
https://github.com/lowRISC/ibex.git
synced 2025-04-24 13:57:19 -04:00
0778008f33
This commit replaces all X assignments in the RTL with defined values. In addition, SystemVerilog Assertions are added to catch invalid signal values in simulation. A new file containing the corresponding assertion macros is added as well. Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>
19 lines
477 B
Text
19 lines
477 B
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_tracer:0.1"
|
|
description: "Tracer for use with Ibex using the RVFI interface"
|
|
filesets:
|
|
files_rtl:
|
|
depend:
|
|
- lowrisc:prim:assert
|
|
files:
|
|
- rtl/ibex_tracer_pkg.sv
|
|
- rtl/ibex_tracer.sv
|
|
file_type: systemVerilogSource
|
|
|
|
targets:
|
|
default:
|
|
filesets:
|
|
- files_rtl
|