Include assertion header where asserts are used

chipsalliance · Sep 21, 2024 · 513f7e3 · 513f7e3
1 parent bfe7ab6
commit 513f7e3
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 0 deletions.
diff --git a/src/axi/rtl/axi_dma_ctrl.sv b/src/axi/rtl/axi_dma_ctrl.sv
@@ -74,6 +74,7 @@ import soc_ifc_pkg::*;
     // Imports                                 //
     // --------------------------------------- //
     import axi_dma_reg_pkg::*;
+    `include "caliptra_prim_assert.sv"
 
 
     // --------------------------------------- //

diff --git a/src/axi/rtl/axi_mgr_rd.sv b/src/axi/rtl/axi_mgr_rd.sv
@@ -45,6 +45,7 @@ module axi_mgr_rd import axi_pkg::*; #(
     // --------------------------------------- //
     // Imports                                 //
     // --------------------------------------- //
+    `include "caliptra_prim_assert.sv"
 
 
     // --------------------------------------- //

diff --git a/src/axi/rtl/axi_mgr_wr.sv b/src/axi/rtl/axi_mgr_wr.sv
@@ -45,6 +45,7 @@ module axi_mgr_wr import axi_pkg::*; #(
     // --------------------------------------- //
     // Imports                                 //
     // --------------------------------------- //
+    `include "caliptra_prim_assert.sv"
 
 
     // --------------------------------------- //

diff --git a/src/axi/rtl/axi_sub_arb.sv b/src/axi/rtl/axi_sub_arb.sv
@@ -78,6 +78,8 @@ module axi_sub_arb import axi_pkg::*; #(
     input  logic [DW-1:0] rdata // Requires: Component dwidth == AXI dwidth
 );
 
+    `include "caliptra_prim_assert.sv"
+
     logic r_pri; // Priority to reads
     logic r_win;
 

diff --git a/src/axi/rtl/axi_sub_rd.sv b/src/axi/rtl/axi_sub_rd.sv
@@ -66,6 +66,11 @@ module axi_sub_rd import axi_pkg::*; #(
     input  logic [DW-1:0] rdata // Requires: Component dwidth == AXI dwidth
 );
 
+    // --------------------------------------- //
+    // Imports                                 //
+    // --------------------------------------- //
+    `include "caliptra_prim_assert.sv"
+
     // --------------------------------------- //
     // Localparams/Typedefs                    //
     // --------------------------------------- //

diff --git a/src/axi/rtl/axi_sub_wr.sv b/src/axi/rtl/axi_sub_wr.sv
@@ -63,6 +63,11 @@ module axi_sub_wr import axi_pkg::*; #(
 
 );
 
+    // --------------------------------------- //
+    // Imports                                 //
+    // --------------------------------------- //
+    `include "caliptra_prim_assert.sv"
+
     // --------------------------------------- //
     // Localparams/Typedefs                    //
     // --------------------------------------- //