From d15be5e4fb4ede242496173138bfc6b428353ce1 Mon Sep 17 00:00:00 2001 From: Greg Chadwick Date: Tue, 16 Apr 2024 14:58:52 +0100 Subject: [PATCH] [sram_ctrl,fpv] Strengthen assertion checking tlul_gnt behaviour Signed-off-by: Greg Chadwick --- hw/ip/sram_ctrl/rtl/sram_ctrl.sv | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/hw/ip/sram_ctrl/rtl/sram_ctrl.sv b/hw/ip/sram_ctrl/rtl/sram_ctrl.sv index c7fadaa421543..9a48735fbad6c 100644 --- a/hw/ip/sram_ctrl/rtl/sram_ctrl.sv +++ b/hw/ip/sram_ctrl/rtl/sram_ctrl.sv @@ -568,8 +568,9 @@ module sram_ctrl u_tlul_adapter_sram.u_rspfifo.gen_normal_fifo.u_fifo_cnt.gen_secure_ptrs.u_rptr, alert_tx_o[0]) - // `tlul_gnt` doesn't factor in `sram_gnt` for timing reasons. This assertion checks that - // a `tlul_req` is always granted when `sram_gnt` has been asserted and we're not doing an init. - `ASSERT(TlulGntIsCorrect_A, tlul_req & sram_gnt & ~init_req |-> tlul_gnt) + // `tlul_gnt` doesn't factor in `sram_gnt` for timing reasons. This assertions checks that + // `tlul_gnt` is the same as `sram_gnt` when there's an active `tlul_req` that isn't being ignored + // because the SRAM is initializing. + `ASSERT(TlulGntIsCorrect_A, tlul_req |-> (sram_gnt & ~init_req) == tlul_gnt) endmodule : sram_ctrl