From 1a94699de65e00ac24a31baebf0d723416fed7cc Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Wed, 12 Jul 2023 11:09:54 +0100
Subject: [PATCH] Delay non-burst channels

---
 src_SSITH_P3/src_BSV/P3_Core.bsv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src_SSITH_P3/src_BSV/P3_Core.bsv b/src_SSITH_P3/src_BSV/P3_Core.bsv
index f7cb3a0..f71e94c 100644
--- a/src_SSITH_P3/src_BSV/P3_Core.bsv
+++ b/src_SSITH_P3/src_BSV/P3_Core.bsv
@@ -121,8 +121,8 @@ module mkDelayShim #(Bit#(16) delay) (AXI4_Shim#(id_, addr_, data_, awuser_, wus
    let awff <- mkFIFOF;
    let wff <- mkFIFOF;
    FF#(AXI4_BFlit#(id_, buser_), 32) bff <- mkUGFFDelay(delay);
-   let arff <- mkFIFOF;
-   FF#(AXI4_RFlit#(id_, data_, ruser_), 32) rff <- mkUGFFDelay(delay);
+   FF#(AXI4_ARFlit#(id_, addr_, aruser_), 32) arff <- mkUGFFDelay(delay);
+   let rff <- mkFIFOF;
    interface AXI4_Master master;
       interface aw = toSource(awff);
       interface w = toSource(wff);