[dv] Exclude some secded generation modules from coverage

This is slightly extending commit 803eed8, which excluded two secded decoders. For similar reasons, we might want to exclude the corresponding encoders. Again, these are verified in FPV and getting complete conditional coverage is hard (or maybe impossible) to hit. No need to spend time on doing so: the FPV should catch any bug in these prims. Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
hcallahan-lowrisc · Nov 12, 2024 · accbc1e · accbc1e
1 parent 384cf5b
commit accbc1e
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 0 deletions.
diff --git a/hw/dv/tools/vcs/cover.cfg b/hw/dv/tools/vcs/cover.cfg
@@ -20,6 +20,8 @@
 -moduletree prim_prince
 -moduletree prim_secded_inv_64_57_dec
 -moduletree prim_secded_inv_39_32_dec
+-moduletree prim_secded_inv_64_57_enc
+-moduletree prim_secded_inv_39_32_enc
 
 // The DV environment binds in some modules to add CSR and TileLink
 // assertions. Disable all coverage for these modules here. We'll

diff --git a/hw/dv/tools/vcs/cover_reg_top.cfg b/hw/dv/tools/vcs/cover_reg_top.cfg
@@ -14,6 +14,8 @@
 -module prim_onehot_check              // FPV verified
 -moduletree prim_secded_inv_64_57_dec  // FPV verified
 -moduletree prim_secded_inv_39_32_dec  // FPV verified
+-moduletree prim_secded_inv_64_57_enc  // FPV verified
+-moduletree prim_secded_inv_39_32_enc  // FPV verified
 
 // The DV environment binds in some modules to add CSR and Tilelink assertions. Make sure that we
 // collect assertion coverage for these modules (since that's the whole point!) but don't collect

diff --git a/hw/dv/tools/xcelium/cover.ccf b/hw/dv/tools/xcelium/cover.ccf
@@ -22,6 +22,8 @@ deselect_coverage -betfs -module prim_prince...
 deselect_coverage -betfs -module prim_lfsr...
 deselect_coverage -betfs -module prim_secded_inv_64_57_dec...
 deselect_coverage -betfs -module prim_secded_inv_39_32_dec...
+deselect_coverage -betfs -module prim_secded_inv_64_57_enc...
+deselect_coverage -betfs -module prim_secded_inv_39_32_enc...
 
 // Black-box DV CDC module.
 deselect_coverage -betfs -module prim_cdc_rand_delay

diff --git a/hw/dv/tools/xcelium/cover_reg_top.ccf b/hw/dv/tools/xcelium/cover_reg_top.ccf
@@ -11,6 +11,8 @@ select_coverage -befs -module *_reg_top...
 deselect_coverage -betfs -module prim_onehot_check...
 deselect_coverage -betfs -module prim_secded_inv_64_57_dec...
 deselect_coverage -betfs -module prim_secded_inv_39_32_dec...
+deselect_coverage -betfs -module prim_secded_inv_64_57_enc...
+deselect_coverage -betfs -module prim_secded_inv_39_32_enc...
 
 // Black-box DV CDC module.
 deselect_coverage -betfs -module prim_cdc_rand_delay