Skip to Main content Skip to Navigation
Journal articles

A tool for automatic detection of deadlocks in wormhole networks on chip

Abstract : We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing extra-dependencies between messages. We also present an original algorithm to automatically check the deadlock-freeness of a network with a given routing function. A prototype tool has been developed and automatic deadlock checking of large scale networks with various routing functions have been successfully achieved. We provide comparative results with standard approach, highlighting the benefits of our method.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01195903
Contributor : Lip6 Publications <>
Submitted on : Tuesday, September 8, 2015 - 4:18:24 PM
Last modification on : Friday, May 24, 2019 - 5:22:23 PM

Links full text

Identifiers

Citation

Sami Taktak, Jean-Lou Desbarbieux, Emmanuelle Encrenaz. A tool for automatic detection of deadlocks in wormhole networks on chip. ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2008, 13 (1), pp.1-8. ⟨10.1145/1297666.1297672⟩. ⟨hal-01195903⟩

Share

Metrics

Record views

150