Published on January 6, 2017 by IEEE Computer Society

Cache coherence plays a major role in manycore systems. The verification of deadlocks is a challenge in particular,
because deadlock freedom is an emerging property. Formal methods often decouple verification of the protocol from verification of the communication interconnect. Modern communication fabrics, however, become more advanced and include a network topology, routing, arbitration, synchronization, and more. In this paper, an integrated approach is proposed that allows cross-layer verification of both the cache coherence protocol and the communication fabric all at once.

Leave a Reply

1 Comment on "Deadlock Verification of Cache Coherence Protocols and Communication Fabrics 0217 Spanish"

Notify of

serena swarovski
serena swarovski
1 year 5 months ago <- Please follow me on instagram!