[dv/kmac] Add assertion cov exclusion
Two assertions from prim_packer_fifo module are unreachable because in
prim_edn_req module, the rready_i is tied to 1.
Signed-off-by: Cindy Chen <chencindy@opentitan.org>
diff --git a/hw/ip/keymgr/dv/cov/keymgr_cov_excl.el b/hw/ip/keymgr/dv/cov/keymgr_cov_excl.el
index c1cfea6..1849f99 100644
--- a/hw/ip/keymgr/dv/cov/keymgr_cov_excl.el
+++ b/hw/ip/keymgr/dv/cov/keymgr_cov_excl.el
@@ -15,3 +15,9 @@
ANNOTATION: "[UNR]"
Fsm state_q "3597806508"
Transition StIdle->StTxLast "930->320"
+CHECKSUM: "4091831965"
+INSTANCE: tb.dut.u_reseed_ctrl.u_edn_req.u_prim_packer_fifo
+ANNOTATION: "[UNR] rready_i is tied to 1 from prim_edn_req module."
+Assert DataOStableWhenPending_A "assertion"
+ANNOTATION: "[UNR] rready_i is tied to 1 from prim_edn_req module."
+Assert ValidOPairedWithReadyI_A "assertion"
