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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01338483
Contributor : Lip6 Publications <>
Submitted on : Tuesday, June 28, 2016 - 4:21:00 PM
Last modification on : Thursday, March 21, 2019 - 2:16:24 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

65