Verifying deadlock-freedom of communication fabrics

A necessary and sufficient condition for deadlock-free adaptive routing in wormhole networks

J. Duato · IEEE Transactions on Parallel and Distributed Systems · 1995 · 346 citations

Computing, Computer Engineering, Computer Science +15

Liveness Checking as Safety Checking

Armin Biere, Cyrille Artho, Viktor Schuppan · Electronic Notes in Theoretical Computer Science · 2002 · 169 citations · Full text

Computing, Computer Engineering, Computer Science +12

Avoiding Message-Dependent Deadlock in Network-Based Systems on Chip

Andreas Hansson, Kees Goossens, A. Rădulescu · VLSI design · 2007 · 78 citations · Full text

Computing, Computer Engineering, Computer Science +17

Proving that non-blocking algorithms don't block

Alexey Gotsman, Byron Cook, Matthew Parkinson et al. · 2009 · 71 citations

Computing, Computer Science, Algorithms +16

Quick formal modeling of communication fabrics to enable verification

Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras · 2010 · 37 citations

Engineering, Computer Engineering, Computer Science +17