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 Nov 14, 2024
1 parent ff09352 commit de96e7c
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions hw/ip/pwm/dv/cov/manual_excl.vRefine
Original file line number Diff line number Diff line change
Expand Up @@ -96,5 +96,16 @@
<rule ccType="inst" entityName="pwm/u_reg/u_blink_param_5_cdc/6/1/2" entityType="min-term" line="125" name="exclude" text="(src_busy_q &amp;&amp; src_ack) || (src_update &amp;&amp; (! busy))"/>
<rule ccType="inst" entityName="pwm/u_reg/u_blink_param_5_cdc/6/1/5" entityType="min-term" line="125" name="exclude" text="(src_busy_q &amp;&amp; src_ack) || (src_update &amp;&amp; (! busy))"/>
<rule ccType="inst" entityName="pwm/u_reg/u_blink_param_5_cdc/6/1/7" entityType="min-term" line="125" name="exclude" text="(src_busy_q &amp;&amp; src_ack) || (src_update &amp;&amp; (! busy))"/>

<!--
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>

0 comments on commit de96e7c

Please sign in to comment.