A Comment on “A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks”

Authors:
Freek Verbeek;Julien Schmaltz
Affiliations:
Radboud University Nijmegen, Nijmegen;Open University of the Netherlands, Heerlen
Venue:
IEEE Transactions on Parallel and Distributed Systems
Year:
2011

Citing 0
Cited 2

Automatic verification for deadlock in Networks-on-Chips with adaptive routing and wormhole switching

NOCS '11 Proceedings of the Fifth ACM/IEEE International Symposium on Networks-on-Chip
Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of this comment is to show that Duato's condition for deadlock freedom is only sufficient and not necessary. We propose a fix to keep the condition necessary. The issue is subtle but essential: in a wormhole network worms necessarily do not intersect.