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?
Now I understand what it means.
But I think multiple transactions with SAME ID will always arrive at the target in the same order of issue.
If not, slave may not be able to respond in order.
So, order of arrival may be same no matter what the memory type of the target is.
Is there any reason to distinguish the case for the Device memory and the others?