more vivado xsim support

skokvermon · Oct 24, 2023 · f8ff95e · f8ff95e
1 parent bc83586
commit f8ff95e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/axi_burst_splitter.sv b/src/axi_burst_splitter.sv
@@ -317,7 +317,9 @@ module axi_burst_splitter #(
   // --------------------------------------------------
   `ifndef VERILATOR
   // pragma translate_off
+   `ifndef XILINX_SIMULATOR
   default disable iff (!rst_ni);
+   `endif
   // Inputs
   assume property (@(posedge clk_i) slv_req_i.aw_valid |->
       txn_supported(slv_req_i.aw.atop, slv_req_i.aw.burst, slv_req_i.aw.cache, slv_req_i.aw.len)

diff --git a/src/axi_lite_demux.sv b/src/axi_lite_demux.sv
@@ -435,7 +435,9 @@ module axi_lite_demux #(
 
     // pragma translate_off
     `ifndef VERILATOR
+     `ifndef XILINX_SIMULATOR
     default disable iff (!rst_ni);
+     `endif
     aw_select: assume property( @(posedge clk_i) (slv_req_i.aw_valid |->
                                                  (slv_aw_select_i < NoMstPorts))) else
       $fatal(1, "slv_aw_select_i is %d: AW has selected a slave that is not defined.\