Title :
A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip
Author :
Taktak, Sami ; Encrenaz, Emmanuelle ; Desbarbieux, Jean-Lou
Author_Institution :
LIP6 Lab., Univ. Paris VI
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
Keywords :
circuit analysis computing; concurrency control; multiprocessor interconnection networks; network routing; network-on-chip; automatic deadlock detection tool; large scale networks; routing function; wormhole networks on chip; Automatic testing; Buffer storage; Conferences; Delay; Hardware; Network-on-a-chip; Prototypes; Routing; Sufficient conditions; System recovery;
Conference_Titel :
High-Level Design Validation and Test Workshop, 2006. Eleventh Annual IEEE International
Conference_Location :
Monterey, CA
Print_ISBN :
1-4244-0679-X
Electronic_ISBN :
1552-6674
DOI :
10.1109/HLDVT.2006.319992
