[prim] Allow disabling SVAs ensuring REQ is held until ACK at run time
Previously, a parameter was used to disable these checks statically.
While we need to be able to disable these checks during abnormal
operating conditions (e.g. LC escalation), violating such assertions
in normal operation can be very critical and can lock up the system
(e.g. CDC). We must be able to catch such issues.
Thus, this commit replaces the parameter by a new input signal to gate
the corresponding assertion at run time.
This resolves lowRISC/OpenTitan#7308.
Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>
diff --git a/hw/ip/sram_ctrl/rtl/sram_ctrl.sv b/hw/ip/sram_ctrl/rtl/sram_ctrl.sv
index 7296063..683a1f4 100644
--- a/hw/ip/sram_ctrl/rtl/sram_ctrl.sv
+++ b/hw/ip/sram_ctrl/rtl/sram_ctrl.sv
@@ -240,6 +240,7 @@
.rst_src_ni ( rst_ni ),
.clk_dst_i ( clk_otp_i ),
.rst_dst_ni ( rst_otp_ni ),
+ .req_chk_i ( 1'b1 ),
.src_req_i ( key_req_pending_q ),
.src_ack_o ( key_ack ),
.dst_req_o ( sram_otp_key_o.req ),
