github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-22 04:47:25 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[dv] Add coverage waivers

Browse source
This commit is contained in:
Greg Chadwick 2022-11-17 19:24:16 +00:00 • committed by Michael Schaffner
parent 2de84f6128
commit 3b61634e29
2 changed files with 22 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
dv/uvm/core_ibex/scripts/merge_cov.py
View file

@ -72,6 +72,7 @@ def merge_cov_xlm(md: RegressionMetadata, cov_dbs: Set[pathlib.Path]) -> int:
md.cov_report_log = md.dir_cov / 'report.log'
md.cov_report_stdout = md.dir_cov / 'report.log.stdout'
md.cov_report_cmds = [(imc_cmd + ["-load", str(md.dir_cov_merged),
"-init", str(md.ibex_dv_root/"waivers"/"coverage_waivers_xlm.tcl"),
"-exec", str(xcelium_scripts/"cov_report.tcl"),
"-logfile", str(md.dir_cov/'report.log')])]

21
dv/uvm/core_ibex/waivers/coverage_waivers_xlm.tcl Normal file
View file

@ -0,0 +1,21 @@
# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
# Exclude standard primitives that are verified elsewhere
exclude -type "prim_lfsr"
exclude -type "prim_prince"
# Exclude code coverage from aux code used for gathering functional coverage
exclude -type "core_ibex_fcov_if" -metrics code:statement:fsm:assertion
exclude -type "core_ibex_pmp_fcov_if" -metrics code:statement:fsm:assertion
# RVFI signals not present in real design so not relevant to coverage closure
exclude -type "ibex_top" -toggle "rvfi*"
# hart_id_i and boot_addr_i are intended to be hard-wired inputs that do not
# toggle
exclude -type "ibex_top" -toggle "hart_id_i"
exclude -type "ibex_top" -toggle "boot_addr_i"
# ram_cfg_i is a passthrough set of signals to provide memory instance specific
# data and have no functional impact on the design
exclude -type "ibex_top" -toggle "ram_cfg_i.*"