From f0ff1a44471d13be19191272a078ef80a3a77f0c Mon Sep 17 00:00:00 2001 From: Sydeny Date: Mon, 17 Apr 2023 14:19:48 -0700 Subject: [PATCH] increasing lsu coverage by excluding the pmachecher/adrdecs/clintdec or uncoreram signal SizeValid becauseany size is valid so signal is always 1 --- sim/coverage-exclusions-rv64gc.do | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/sim/coverage-exclusions-rv64gc.do b/sim/coverage-exclusions-rv64gc.do index 754d57db..cb3e6d7f 100644 --- a/sim/coverage-exclusions-rv64gc.do +++ b/sim/coverage-exclusions-rv64gc.do @@ -90,5 +90,9 @@ coverage exclude -scope /dut/core/ifu/immu/immu/pmachecker/adrdecs/uncoreramdec #Excluding the bootrom, uncoreran, and clint as sources for the lsu coverage exclude -scope /dut/core/lsu/dmmu/dmmu/pmachecker/adrdecs/bootromdec -#set line [GetLineNum ../src/mmu/adrdec.sv "& SizeValid"] -#coverage exclude -scope /dut/core/lsu/dmmu/dmmu/pmachecker/adrdecs/clintdec -linerange $line-$line -item e 1 -fecexprrow 5 + +set line [GetLineNum ../src/mmu/adrdec.sv "& SizeValid"] +coverage exclude -scope /dut/core/lsu/dmmu/dmmu/pmachecker/adrdecs/clintdec -linerange $line-$line -item e 1 -fecexprrow 5 + +set line [GetLineNum ../src/mmu/adrdec.sv "& SizeValid"] +coverage exclude -scope /dut/core/lsu/dmmu/dmmu/pmachecker/adrdecs/uncoreramdec -linerange $line-$line -item e 1 -fecexprrow 5