Skip to content

Commit

Permalink
[pwm,dv] Exclude an unreachable item of block coverage
Browse files Browse the repository at this point in the history
This cannot happen because of a constant wiring value.

Signed-off-by: Rupert Swarbrick <[email protected]>
  • Loading branch information
rswarbrick committed Dec 2, 2024
1 parent 24158ce commit 0ebaf51
Show file tree
Hide file tree
Showing 2 changed files with 19 additions and 1 deletion.
15 changes: 15 additions & 0 deletions hw/ip/pwm/dv/cov/manual_excl.vRefine
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<refinement-file-root>
<rules>
<!--
Waive block coverage for a conditional which is true if the 'we' signal is true for the
REGWEN in register in prim_subreg_arb. If the signal is true, this denotes a write to the
register from hardware but the instantiation in pwm_reg_top wires it to zero.
-->
<rule ccType="inst"
entityName="pwm/u_reg/u_regwen/wr_en_data_arb/gen_w0c/gen_non_mubi/2"
entityType="block"
line="135"
name="exclude"></rule>
</rules>
</refinement-file-root>
5 changes: 4 additions & 1 deletion hw/ip/pwm/dv/pwm_sim_cfg.hjson
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,10 @@
sim_tops: ["pwm_bind", "pwm_cov_bind", "sec_cm_prim_onehot_check_bind"]

// Coverage exclusion
xcelium_cov_refine_files: ["{proj_root}/hw/ip/pwm/dv/cov/pwm_unr_excl.vRefine"]
xcelium_cov_refine_files: [
"{proj_root}/hw/ip/pwm/dv/cov/pwm_unr_excl.vRefine"
"{proj_root}/hw/ip/pwm/dv/cov/manual_excl.vRefine"
]

// Default iterations for all tests - each test entry can override this.
reseed: 50
Expand Down

0 comments on commit 0ebaf51

Please sign in to comment.