Multi-master AXI eVC (v1.2) configuration troubles

Dear all,

I configured an AXI eVC environment to work with 2 masters and 2 slaves (all active):

 vr_axi_make_interconnect AXI_0 IC0 {
    vr_axi_input_port ACTIVE AGENT IF2;
    vr_axi_input_port ACTIVE AGENT IF0;
   
    vr_axi_output_port ACTIVE AGENT IF1;
    vr_axi_output_port ACTIVE AGENT IF3;
};
 

The two active slaves are configured with the same parameters, except for the associated memory segments.
No differences are made for the two active masters, too.
When master on IF2 sends bursts, the interconnect monitors do not work properly: bursts are generated by the active master, but when they arrive to the relevant target, the eVC raises an error saying that the monitored burst at the target has never been sent by any master. Of course this is not the case; it seems that the interconnect monitor on the master side is not working properly. Also, as I saw with various tries, monitor on response path of target side does not work properly with transactions generated from IF2 (only from IF2).

When traffic is generated on IF0, everything is ok; the master is able to communicate with the two targets without issues. However, no differences apparently exist between the two masters (it is also possible to see that from Specman Object Browser).

This problems seems to be someway related to the interface name (IF0, IF2), though it does not make sense to me. The problem is associated to IF2 in all of the following cases:
- Both masters are generating traffic;
- Master on IF0 is idle and master on IF2 sends traffic;
- The role of IF0 and IF2 is exchanged in the platform. 

Thanks in advance for any reply.

Best regards