[hmac,dv] Exclude TLUL adapter 'read' assertions

- Exclude the assertions related to the read part as this particular FIFO instance is WO, to avoid to have uncovered assertions. Signed-off-by: Martin Velay <[email protected]>
lowRISC · Feb 7, 2025 · 3f02a04 · 3f02a04
1 parent f1cbfd8
commit 3f02a04
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/hw/ip/hmac/dv/cov/hmac_cov_excl.el b/hw/ip/hmac/dv/cov/hmac_cov_excl.el
@@ -23,3 +23,17 @@ Transition StPad00->StFifoReceive "3->1"
 Fsm st_q "1171249183"
 ANNOTATION: "[INVALID] Intend to remove transition"
 Transition StLenLo->StFifoReceive "5->1"
+CHECKSUM: "1785966602"
+INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo
+ANNOTATION: "[INVALID] Disable this assertion as the FIFO is WO"
+Assert DataKnown_A "assertion"
+CHECKSUM: "1785966602"
+INSTANCE: tb.dut.u_tlul_adapter.u_sramreqfifo
+ANNOTATION: "[INVALID] Disable this assertion as the FIFO is WO"
+Assert DataKnown_A "assertion"
+CHECKSUM: "3919502532"
+INSTANCE: tb.dut.u_tlul_adapter
+ANNOTATION: "[INVALID] Disable this assertion as the FIFO is WO"
+Assert rvalidHighReqFifoEmpty "assertion"
+ANNOTATION: "[INVALID] Disable this assertion as the FIFO is WO"
+Assert rvalidHighWhenRspFifoFull "assertion"