Hi,
I am learning amba4 spec. In the URL I posted below, the spec document for the amba4 protocol is version E. However, the latest release is version K, which belongs to AMBA5 on the web page. Which document should I use as a reference?
https://www.arm.com/architecture/system-architectures/amba/amba-specifications
I'd guess from a bus protocol perspective it would be impossible to detect any of the "without dependency on other transactions from that Manager" scenarios, as any pausing could be for other internal reasons not related to other transactions.
The detail added in A3.4 in the version K of the specification is (as I understand it) describing a very sensible design practise, to minimise delays on the bus with an active transaction which could impact on overall system performance.
So these additional "relationship requirements" are sensible design aims to follow that were not explicitly covered in the earlier protocol releases.