fix tb_axi_sim_mem for 4kib boundary checking

pulp-platform · Sep 2, 2022 · 1de6a4b · 1de6a4b
1 parent 1ec9aaa
commit 1de6a4b
Showing 1 changed file with 28 additions and 10 deletions.
diff --git a/test/tb_axi_sim_mem.sv b/test/tb_axi_sim_mem.sv
@@ -84,12 +84,21 @@ module tb_axi_sim_mem #(
     drv.reset_master();
     wait (rst_n);
     // AW
-    rand_success = aw_beat.randomize(); assert(rand_success);
-    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;
+    forever begin
+      rand_success = aw_beat.randomize(); assert(rand_success);
+      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
@@ -105,10 +114,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