bluespec.com Forum Index bluespec.com
Bluespec Forums
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Getting conflictions between rules

 
Post new topic   Reply to topic    bluespec.com Forum Index -> Designing with BSV's Rules, Interfaces, ...
View previous topic :: View next topic  
Author Message
gurmohan



Joined: 13 Jan 2014
Posts: 4

PostPosted: Wed Feb 06, 2019 6:56 am    Post subject: Getting conflictions between rules Reply with quote

Getting warning regarding rule conflicting. Kindly help in resolving the issue. The warning message is displayed below:

Warning: "Testbench5.bsv", line 135, column 8: (G0010)
Rule "ifc_rl_wr_xaction_master_to_slave" was treated as more urgent than
"ifc_rl_wr_xaction_master_to_slave_1". Conflicts:
"ifc_rl_wr_xaction_master_to_slave" cannot fire before "ifc_rl_wr_xaction_master_to_slave_1":
calls to
ifc_xactors_from_masters_0_f_wr_addr.deq vs. ifc_xactors_from_masters_0_f_wr_addr.first
"ifc_rl_wr_xaction_master_to_slave_1" cannot fire before "ifc_rl_wr_xaction_master_to_slave":
calls to
ifc_xactors_from_masters_0_f_wr_addr.deq vs. ifc_xactors_from_masters_0_f_wr_addr.first

The part of our code which is called in test bench during simulation is :

for (Integer mi = 0; mi < valueOf (num_masters); mi = mi + 1)
for (Integer sj = 0; sj < valueOf (num_slaves); sj = sj + 1)
// for (Integer idj = 0; idj < valueOf (ids); idj = idj + 1)

rule rl_wr_xaction_master_to_slave; // (wr_move_from_mi_to_sj (mi, sj,idj));
AXI4_Wr_Addr #(wd_addr, wd_user ,wd_id) a <- pop_o (xactors_from_masters [mi].o_wr_addr);
AXI4_Wr_Data #(wd_data ,wd_id) d <- pop_o (xactors_from_masters [mi].o_wr_data);

xactors_to_slaves [sj].i_wr_addr.enq (a);
xactors_to_slaves [sj].i_wr_data.enq (d);

v_f_wr_mis [sj].enq (fromInteger (mi));
v_f_wr_sjs [mi].enq (fromInteger (sj));

if (cfg_verbosity > 1) begin
$display (" AXI4_Fabric: wr master [%0d] -> slave [%0d]", mi, sj ,cur_cycle); // ,idj
$display (" Write Address Channel (M -> S)---- ", fshow (a),cur_cycle);
$display (" Write Data Channel (M -> S)---- ", fshow (d),cur_cycle);
end
endrule
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    bluespec.com Forum Index -> Designing with BSV's Rules, Interfaces, ... All times are GMT - 4 Hours
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You can attach files in this forum
You can download files in this forum
bluespec.com topic RSS feed 


Powered by phpBB © 2001, 2005 phpBB Group
Protected by Anti-Spam ACP