AXI4 document says that when a master issues multiple transactions to same / overlapping address with same ID, the order of arrival at the slave must be the same as the order of issue.
I think it means if transactions are not for the same address, they can be out of order even if they have same ID.
Is it correct?
If so, when transactions have the same ID how can I distinguish whether transactions are reorderable or not?