SPOCK: Reverse Packet Traversal for Deadlock Recovery. - Zeyu Chen; Ankur Bindal; Vaidehi Garg; Tushar Krishna (IEEE Des. Test, 2023)