Hi I'm Dongin
I have a question on chapter D4.8.7 in AMBA AXI and ACE Protocol Specification version H.c
I see that a cached manager with dirty cache line can't issue WriteUnique and WriteLineUnique transaction.
But I wonder why those restrictions are necessary.
I guess without this restrictions, deadlock situations might occur.
And I also want to know a situation that a cached manager issues WriteUnique transaction.
I think that, If a cahed master want to write something on main memory, issuing WriteBack or WriteClena would be more reasonable way.
And if the manager want to be unique state, it can issue MakeInvalid transaction.