From c3dd1928c0ab7a89e0ca6c4a46787877eadfed06 Mon Sep 17 00:00:00 2001 From: Martin Velay Date: Thu, 13 Feb 2025 14:33:47 +0000 Subject: [PATCH] [hmac,dv] Add assertions excl back from PR #26163 - the PR #26163 was adding 4 assertions to the exclusion list which have been removed by the PR #25696. This commit adds them back. Signed-off-by: Martin Velay --- hw/ip/hmac/dv/cov/hmac_cov_excl.el | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/hw/ip/hmac/dv/cov/hmac_cov_excl.el b/hw/ip/hmac/dv/cov/hmac_cov_excl.el index 59799e867562f..d012269d9be5a 100644 --- a/hw/ip/hmac/dv/cov/hmac_cov_excl.el +++ b/hw/ip/hmac/dv/cov/hmac_cov_excl.el @@ -15,3 +15,17 @@ ANNOTATION: "shaf_rready_i == 1'b0 cannot occur in the StLenHi and StLenLo state Branch 8 "3400827115" "st_q" (17) "st_q StLenHi ,-,-,-,-,-,-,-,-,-,-,0,-" ANNOTATION: "shaf_rready_i == 1'b0 cannot occur in the StLenHi and StLenLo states thus the missing else is unavoidable." Branch 8 "3400827115" "st_q" (19) "st_q StLenLo ,-,-,-,-,-,-,-,-,-,-,-,0" +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"