From de96e7c98a8a1152d8726442a2fcfb87e2d33058 Mon Sep 17 00:00:00 2001
From: Rupert Swarbrick <rswarbrick@lowrisc.org>
Date: Thu, 14 Nov 2024 11:38:12 +0000
Subject: [PATCH] [pwm,dv] Exclude an unreachable item of block coverage

This cannot happen because of a constant wiring value.

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
---
 hw/ip/pwm/dv/cov/manual_excl.vRefine | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/hw/ip/pwm/dv/cov/manual_excl.vRefine b/hw/ip/pwm/dv/cov/manual_excl.vRefine
index 73444b0efe68f..af169e19e792f 100644
--- a/hw/ip/pwm/dv/cov/manual_excl.vRefine
+++ b/hw/ip/pwm/dv/cov/manual_excl.vRefine
@@ -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>