commit fbf2edc1dadaabd93df8c84e9748e0f524dd2326
author Weicai Yang <weicai@google.com> Mon Sep 27 15:31:08 2021 -0700
committer weicaiyang <49293026+weicaiyang@users.noreply.github.com> Fri Nov 05 15:56:40 2021 -0700
tree dd05156cacc8f491720e94a27230390b81d43074
parent 1d0eeafed9a55a48a3b5bdbbea90f9764ca6d685

[dv] Test security countermeasures

Only support testing prim_count and enable this test in keymgr

Also reduce timeout for spinwait of op_status in keymgr

Signed-off-by: Weicai Yang <weicai@google.com>

hw/ip/flash_ctrl/data/flash_ctrl.sv.tpl

diff --git a/hw/ip/flash_ctrl/data/flash_ctrl.sv.tpl b/hw/ip/flash_ctrl/data/flash_ctrl.sv.tpl
index 9484a94..147abaa 100644
--- a/hw/ip/flash_ctrl/data/flash_ctrl.sv.tpl
+++ b/hw/ip/flash_ctrl/data/flash_ctrl.sv.tpl
@@ -1165,5 +1165,8 @@
   `ASSERT(OutofBoundsReq_A, unused_op_valid & op_addr_oob |-> ~flash_phy_req.req)
 
   // add more assertions
-
+  `ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(PageCntAlertCheck_A, u_flash_hw_if.u_page_cnt,
+                                         alert_tx_o[0])
+  `ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(WordCntAlertCheck_A, u_flash_hw_if.u_word_cnt,
+                                         alert_tx_o[0])
 endmodule