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

Sami Taktak, Emmanuelle Encrenaz, Jean Lou Desbarbieux (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics