Formal verification of a deadlock detection algorithm

Freek Verbeek, Julien Schmaltz

Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with w…