Very nice and comprehensive work. The presentation was very clear and well explained.
I have one question: You mentioned that the AXI transactions reach the memory controller but are not processed as the bus is stalled by a misbehaving IP. I was just wondering if there is an alternative option of tuning the memory controller to address such stalls?