axi_xbar: Add AutoSVA annotations to mst ports

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
pulp-platform · Nov 21, 2024 · 6dd5a4a · 6dd5a4a
1 parent 28347bf
commit 6dd5a4a
Showing 1 changed file with 30 additions and 0 deletions.
diff --git a/src/axi_xbar.sv b/src/axi_xbar.sv
@@ -76,6 +76,36 @@ import cf_math_pkg::idx_width;
   input  slv_req_t  [Cfg.NoSlvPorts-1:0]                                slv_ports_req_i,
   /// AXI4+ATOP responses of the slave ports.  
   output slv_resp_t [Cfg.NoSlvPorts-1:0]                                slv_ports_resp_o,
+  /*AUTOSVA
+  mst_port_r_req_0: mst_port_r_req_0 --OUT> mst_port_r_resp_0
+  mst_port_r_req_0_val = mst_ports_req_o[0].ar_valid
+  mst_port_r_req_0_rdy = mst_ports_resp_i[0].ar_ready
+  mst_port_r_req_0_transid = mst_ports_req_o[0].ar.id
+  mst_port_r_resp_0_val = mst_ports_resp_i[0].r_valid
+  mst_port_r_resp_0_rdy = mst_ports_req_o[0].r_ready
+  mst_port_r_resp_0_transid = mst_ports_resp_o[0].ar.id
+  mst_port_r_req_1: mst_port_r_req_1 --OUT> mst_port_r_resp_1
+  mst_port_r_req_1_val = mst_ports_req_o[1].ar_valid
+  mst_port_r_req_1_rdy = mst_ports_resp_i[1].ar_ready
+  mst_port_r_req_1_transid = mst_ports_req_o[1].ar.id
+  mst_port_r_resp_1_val = mst_ports_resp_i[1].r_valid
+  mst_port_r_resp_1_rdy = mst_ports_req_o[1].r_ready
+  mst_port_r_resp_1_transid = mst_ports_resp_o[1].ar.id
+  mst_port_w_req_0: mst_port_w_req_0 --OUT> mst_port_w_resp_0
+  mst_port_w_req_0_val = mst_ports_req_o[0].aw_valid
+  mst_port_w_req_0_rdy = mst_ports_resp_i[0].aw_ready
+  mst_port_w_req_0_transid = mst_ports_req_o[0].aw.id
+  mst_port_w_resp_0_val = mst_ports_resp_i[0].b_valid
+  mst_port_w_resp_0_rdy = mst_ports_req_o[0].b_ready
+  mst_port_w_resp_0_transid = mst_ports_resp_o[0].b.id
+  mst_port_w_req_1: mst_port_w_req_1 --OUT> mst_port_w_resp_1
+  mst_port_w_req_1_val = mst_ports_req_o[1].aw_valid
+  mst_port_w_req_1_rdy = mst_ports_resp_i[1].aw_ready
+  mst_port_w_req_1_transid = mst_ports_req_o[1].aw.id
+  mst_port_w_resp_1_val = mst_ports_resp_i[1].b_valid
+  mst_port_w_resp_1_rdy = mst_ports_req_o[1].b_ready
+  mst_port_w_resp_1_transid = mst_ports_resp_o[1].b.id
+  */
   /// AXI4+ATOP requests of the master ports.  
   output mst_req_t  [Cfg.NoMstPorts-1:0]                                mst_ports_req_o,
   /// AXI4+ATOP responses to the master ports.