From 6bcd039ef1427058908fe69c71189ac68f21a224 Mon Sep 17 00:00:00 2001 From: David Harris Date: Sat, 6 Jan 2024 07:44:58 -0800 Subject: [PATCH] DTIM exclusion in LSU; added atomic tests to coverage regression --- sim/coverage-exclusions-rv64gc.do | 10 ++++++++-- sim/regression-wally | 2 +- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/sim/coverage-exclusions-rv64gc.do b/sim/coverage-exclusions-rv64gc.do index a30eb3863..71b1a4047 100644 --- a/sim/coverage-exclusions-rv64gc.do +++ b/sim/coverage-exclusions-rv64gc.do @@ -198,8 +198,8 @@ set line [GetLineNum ../src/mmu/mmu.sv "TLBPageFault & ExecuteAccessF"] coverage exclude -scope /dut/core/ifu/immu/immu -linerange $line-$line -item e 1 -fecexprrow 3 set line [GetLineNum ../src/mmu/mmu.sv "TLBPageFault & ReadNoAmoAccessM"] coverage exclude -scope /dut/core/ifu/immu/immu -linerange $line-$line -item e 1 -fecexprrow 1,2,4 -set line [GetLineNum ../src/mmu/mmu.sv "TLBPageFault & WriteAccessM"] -coverage exclude -scope /dut/core/ifu/immu/immu -linerange $line-$line -item e 1 -fecexprrow 1,2,4 +#set line [GetLineNum ../src/mmu/mmu.sv "TLBPageFault & WriteAccessM"] +#coverage exclude -scope /dut/core/ifu/immu/immu -linerange $line-$line -item e 1 -fecexprrow 1,2,4 set line [GetLineNum ../src/mmu/mmu.sv "DataMisalignedM & ReadNoAmoAccessM"] coverage exclude -scope /dut/core/ifu/immu/immu -linerange $line-$line -item e 1 -fecexprrow 1,2,4 set line [GetLineNum ../src/mmu/pmpchecker.sv "EnforcePMP & WriteAccessM"] @@ -230,6 +230,12 @@ coverage exclude -scope /dut/core/ifu -linerange $line-$line -item c 1 -feccondr set line [GetLineNum ../src/ifu/ifu.sv "~ITLBMissF & CacheableF & ~SelIROM"] coverage exclude -scope /dut/core/ifu -linerange $line-$line -item c 1 -feccondrow 4 +# no DTIM +set line [GetLineNum ../src/lsu/lsu.sv "assign BusRW"] +coverage exclude -scope /dut/core/lsu -linerange $line-$line -item c 1 -feccondrow 4 +set line [GetLineNum ../src/lsu/lsu.sv "assign CacheRWM"] +coverage exclude -scope /dut/core/lsu -linerange $line-$line -item c 1 -feccondrow 4 + # Excluding reset and clear for impossible case in the wficountreg in privdec set line [GetLineNum ../src/generic/flop/floprc.sv "reset \\| clear"] coverage exclude -scope /dut/core/priv/priv/pmd/wfi/wficountreg -linerange $line-$line -item c 1 -feccondrow 2 diff --git a/sim/regression-wally b/sim/regression-wally index 5d00612da..b2a1ad424 100755 --- a/sim/regression-wally +++ b/sim/regression-wally @@ -133,7 +133,7 @@ tests64gc = ["arch64f", "arch64d", "arch64f_fma", "arch64d_fma", "arch64i", "arc if (coverage): # delete all but 64gc tests when running coverage configs = [] tests64gc = ["coverage64gc", "arch64i", "arch64priv", "arch64c", "arch64m", - "arch64zifencei", "wally64a", "wally64periph", "wally64priv", + "arch64zifencei", "arch64a", "wally64a", "wally64periph", "wally64priv", "arch64zba", "arch64zbb", "arch64zbc", "arch64zbs"] # add when working: "arch64zicboz", "arch64zcb", if (fp): tests64gc.append("arch64f")