Cross-Layer Deadlock Detection in NoCs

This page is dedicated to ADVOCAT, a tool that can find deadlocks that emerge from cache coherence protocols and Network-on-Chips.

For more information on this topic:
F. Verbeek et al. Deadlock Verification of Cache Coherence Protocols and Communication Fabrics. Proceedings of DATE'16.

The source code belonging to this paper can be found here.