A tool for automatic detection of deadlocks in wormhole networks on chip - Archive ouverte HAL Access content directly
Journal Articles ACM Transactions on Design Automation of Electronic Systems Year : 2008

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.
No file

Dates and versions

hal-01195903 , version 1 (08-09-2015)

Identifiers

Cite

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, 2008, 13 (1), pp.1-8. ⟨10.1145/1297666.1297672⟩. ⟨hal-01195903⟩
235 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More