From eb8ab3fae252211d1e600c9a641a04f1e71ab464 Mon Sep 17 00:00:00 2001 From: David Harris Date: Thu, 18 Jan 2024 21:30:59 -0800 Subject: [PATCH] EBU coverage exclusion --- sim/coverage-exclusions-rv64gc.do | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/sim/coverage-exclusions-rv64gc.do b/sim/coverage-exclusions-rv64gc.do index 76e18e30e..b9c20eead 100644 --- a/sim/coverage-exclusions-rv64gc.do +++ b/sim/coverage-exclusions-rv64gc.do @@ -253,3 +253,10 @@ coverage exclude -srcfile priorityonehot.sv # Excluding pmpadrdecs[0] coverage case for PAgePMPAdrIn being hardwired to 1 coverage exclude -scope /dut/core/ifu/immu/immu/pmp/pmpchecker/pmp/pmpadrdecs[0] -linerange [GetLineNum ../src/mmu/pmpadrdec.sv "exclusion-tag: PAgePMPAdrIn"] -item e 1 -fecexprrow 1 coverage exclude -scope /dut/core/lsu/dmmu/dmmu/pmp/pmpchecker/pmp/pmpadrdecs[0] -linerange [GetLineNum ../src/mmu/pmpadrdec.sv "exclusion-tag: PAgePMPAdrIn"] -item e 1 -fecexprrow 1 + +#################### +# EBU +#################### + +# Exclude EBU Beat Counter because it is only idle when bus has multicycle latency, but rv64gc has single cycle latency +coverage exclude -scope /core/ebu/ebu/ebufsmarb/BeatCounter