A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip

Résumé

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 et versions

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

Identifiants

Citer

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⟩
160 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More