Published on January 6, 2017 by IEEE Computer Society
Want create site? Find Free WordPress Themes and plugins.

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.

Did you find apk for android? You can find new Free Android Games and apps.

Leave a Reply

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

Notify of

serena swarovski
serena swarovski
9 months 15 days ago <- Please follow me on instagram!