[hmac, dv] Update coverage exclusion file

[andrea-caforio]

This commit removes the coverage exclusions that were introduced as part of the padding cancellation bug #23936 that was fixed in the previous commit. New exclusions are added that cover some impossible conditions and branches as identified in #24692.

[martin-velay]

I think everything mentioned here #24692 has been taken over. Thanks Andrea ! What does the code coverage report say ?

[andrea-caforio]

I think everything mentioned here #24692 has been taken over. Thanks Andrea ! What does the code coverage report say ?

These are the percentages with the new exclusions and the padding cancellation fix, there is definitely an improvement but I don't have the exact numbers for the Master branch. I'll run a regression for the Master branch over night to have a full comparison.

[martin-velay]

According to the V3 signoff doc, we should reach 100% for:

Line, toggle, fsm (state & transition), branch and assertion code coverage has reached 100%.

Can you check if this is the case in your report?

[andrea-caforio]

According to the V3 signoff doc, we should reach 100% for:

Line, toggle, fsm (state & transition), branch and assertion code coverage has reached 100%.

Can you check if this is the case in your report?

There are only 3 lines which appear uncovered but the branches that cause them are in the exclusion file because they are unreachable.

• opentitan/hw/ip/prim/rtl/prim_sha2_pad.sv

  Line 133 in db75ea1

  shaf_rdata_o = '0;

• opentitan/hw/ip/prim/rtl/prim_sha2_pad.sv

  Line 317 in db75ea1

  st_d = StLenHi;

• opentitan/hw/ip/prim/rtl/prim_sha2_pad.sv

  Line 330 in db75ea1

  st_d = StLenLo;

[andrea-caforio]

This is the only branch not covered:

opentitan/hw/ip/prim/rtl/prim_sha2.sv

Line 362 in 162a845

fifo_st_d = FifoIdle;