properties p_ebreak_exception and p_cebreak_exception are not duplicates

cv32e40p/tb/uvmt/uvmt_cv32e40p_debug_assert.sv

@@ -117,15 +117,14 @@ module uvmt_cv32e40p_debug_assert
             `uvm_error(info_tag,$sformatf("Debug mode with wrong cause after ebreak, case = %d",cov_assert_if.dcsr_q[8:6]));
 
     ////////////////////////////////////////////////////////////////////////////
-    // FIXME: start
-    //        It appears that the properties "p_cebreak_exception" and
-    //        "p_ebreak_exception" are identical in all but name.  However, at
-    //        the time of this writting (2024-01-03) it has been deemed too
-    //        risky to clean this up as the CV32E40P v2.0.0 is driving toward
-    //        closing coverage.
+    // It appears that the properties "p_cebreak_exception" and
+    // "p_ebreak_exception" are identical in all but name.  However, those two
+    // properties are not duplicate as they are using two different instruction
+    // decoding signals:
+    //    - property p_ebreak_exception uses i_ebreak.
+    //    - property p_cebreak_exception uses i_cebreak which differs thanks to
+    //      cov_assert_if.id_stage_is_compressed value.
     //
-    //        Before conducting any future maintenance of this code, refactor with <name of other property>.
-    //        See GitHub issue #1084.
 
 
     // c.ebreak without dcsr.ebreakm results in exception at mtvec
@@ -160,9 +159,6 @@ module uvmt_cv32e40p_debug_assert
             `uvm_error(info_tag,$sformatf("Exception not entered correctly after ebreak with dcsr.ebreak=0"));
     // c.ebreak during debug mode results in relaunch of debug mode
 
-    // FIXME: end
-    ////////////////////////////////////////////////////////////////////////////
-
     property p_cebreak_during_debug_mode;
         $rose(cov_assert_if.is_cebreak) ##0 cov_assert_if.debug_mode_q  |-> decode_valid [->2] ##0 cov_assert_if.debug_mode_q  &&
                                                        (cov_assert_if.id_stage_pc == halt_addr_at_entry); // TODO should check no change in dpc and dcsr