A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

A Tool for Automatic Detection of Deadlock 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.

Dates and versions

hal-01338483 , version 1 (28-06-2016)

Identifiers

Cite

Sami Taktak, Emmanuelle Encrenaz, Jean-Lou Desbarbieux. A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip. HLDVT IEEE International High Level Design Validation and Test Workshop, Nov 2006, Monterey, California, United States. pp.203-210, ⟨10.1109/HLDVT.2006.319992⟩. ⟨hal-01338483⟩
161 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More