DocumentCode
1648368
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
fYear
2006
Firstpage
203
Lastpage
210
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Level Design Validation and Test Workshop, 2006. Eleventh Annual IEEE International
Conference_Location
Monterey, CA
ISSN
1552-6674
Print_ISBN
1-4244-0679-X
Electronic_ISBN
1552-6674
Type
conf
DOI
10.1109/HLDVT.2006.319992
Filename
4110091
Link To Document