From ef90c4110906190a5dd05db1dfbfc87bc08fcff1 Mon Sep 17 00:00:00 2001 From: Filip Kokosinski Date: Wed, 18 Dec 2024 09:58:23 +0100 Subject: [PATCH] [#69543] Add `STREAM_RD_ERR` state coverage in `axi4_to_ahb.sv` Signed-off-by: Filip Kokosinski --- verification/block/lib_axi4_to_ahb/ahb_lite_bfm.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/verification/block/lib_axi4_to_ahb/ahb_lite_bfm.py b/verification/block/lib_axi4_to_ahb/ahb_lite_bfm.py index 2d20b6a9daa..5eb599b2de9 100644 --- a/verification/block/lib_axi4_to_ahb/ahb_lite_bfm.py +++ b/verification/block/lib_axi4_to_ahb/ahb_lite_bfm.py @@ -76,12 +76,14 @@ async def drive(self): self.dut.ahb_hresp.value = ahb_hresp except QueueEmpty: self.dut.ahb_hrdata.value = 0 - self.dut.ahb_hresp.value = 0 + # enforce error on sequential transfers to cover the `STREAM_RD_ERR` state if get_int(self.dut.ahb_htrans) == AHB_LITE_TRANSFER_TYPE_ENCODING.SEQ: self.dut.ahb_hready.value = 1 + self.dut.ahb_hresp.value = 1 else: self.dut.ahb_hready.value = 0 + self.dut.ahb_hresp.value = 0 async def req_monitor_q_bfm(self): while True: