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.
|
|