fix tb_axi_sim_mem for 4kib boundary checking

pulp-platform · Jul 17, 2024 · 6374bfa · 6374bfa
1 parent bf8ecab
commit 6374bfa
Showing 1 changed file with 31 additions and 13 deletions.
diff --git a/test/tb_axi_sim_mem.sv b/test/tb_axi_sim_mem.sv
@@ -99,18 +99,27 @@ module tb_axi_sim_mem #(
     drv.reset_master();
     wait (rst_n);
     // AW
+    forever begin
 `ifdef XSIM
-    // std::randomize(aw_beat) may behave differently to aw_beat.randomize() wrt. limited ranges
-    // Keeping alternate implementation for XSIM only
-    rand_success = std::randomize(aw_beat); assert (rand_success);
+      // std::randomize(aw_beat) may behave differently to aw_beat.randomize() wrt. limited ranges
+      // Keeping alternate implementation for XSIM only
+      rand_success = std::randomize(aw_beat); assert (rand_success);
 `else
-    rand_success = aw_beat.randomize(); assert (rand_success);
+      rand_success = aw_beat.randomize(); assert (rand_success);
 `endif
-    aw_beat.ax_addr >>= $clog2(StrbWidth); // align address with data width
-    aw_beat.ax_addr <<= $clog2(StrbWidth);
-    aw_beat.ax_len = $urandom();
-    aw_beat.ax_size = $clog2(StrbWidth);
-    aw_beat.ax_burst = axi_pkg::BURST_INCR;
+      aw_beat.ax_addr >>= $clog2(StrbWidth); // align address with data width
+      aw_beat.ax_addr <<= $clog2(StrbWidth);
+      aw_beat.ax_len = $urandom();
+      aw_beat.ax_size = $clog2(StrbWidth);
+      aw_beat.ax_burst = axi_pkg::BURST_INCR;
+      // Make sure that the burst does not cross a 4KiB boundary.
+      if (axi_pkg::beat_addr(aw_beat.ax_addr, aw_beat.ax_size, aw_beat.ax_len, aw_beat.ax_burst, 0) >> 12 == (
+          axi_pkg::beat_addr(aw_beat.ax_addr, aw_beat.ax_size, aw_beat.ax_len, aw_beat.ax_burst, aw_beat.ax_len)
+          + axi_pkg::beat_upper_byte(aw_beat.ax_addr, aw_beat.ax_size, aw_beat.ax_len, aw_beat.ax_burst, StrbWidth, aw_beat.ax_len)
+        ) >> 12) begin
+        break;
+      end
+    end
     drv.send_aw(aw_beat);
     // W beats
     for (int unsigned i = 0; i <= aw_beat.ax_len; i++) begin
@@ -132,10 +141,19 @@ module tb_axi_sim_mem #(
     drv.recv_b(b_beat);
     assert(b_beat.b_resp == axi_pkg::RESP_OKAY);
     // AR
-    ar_beat.ax_addr = aw_beat.ax_addr;
-    ar_beat.ax_len = aw_beat.ax_len;
-    ar_beat.ax_size = aw_beat.ax_size;
-    ar_beat.ax_burst = aw_beat.ax_burst;
+    forever begin
+      ar_beat.ax_addr = aw_beat.ax_addr;
+      ar_beat.ax_len = aw_beat.ax_len;
+      ar_beat.ax_size = aw_beat.ax_size;
+      ar_beat.ax_burst = aw_beat.ax_burst;
+      // Make sure that the burst does not cross a 4KiB boundary.
+      if (axi_pkg::beat_addr(ar_beat.ax_addr, ar_beat.ax_size, ar_beat.ax_len, ar_beat.ax_burst, 0) >> 12 == (
+          axi_pkg::beat_addr(ar_beat.ax_addr, ar_beat.ax_size, ar_beat.ax_len, ar_beat.ax_burst, ar_beat.ax_len)
+          + axi_pkg::beat_upper_byte(ar_beat.ax_addr, ar_beat.ax_size, ar_beat.ax_len, ar_beat.ax_burst, StrbWidth, ar_beat.ax_len)
+        ) >> 12) begin
+        break;
+      end
+    end
     drv.send_ar(ar_beat);
     // R beats
     for (int unsigned i = 0; i <= ar_beat.ax_len; i++) begin