𝔖 Bobbio Scriptorium

✦ LIBER ✦

Design and formal verification of a hierarchical cache coherence protocol for NoC based multiprocessors

✍ Scribed by Hemangee K. Kapoor, Praveen Kanakala, Malti Verma…

Book ID: 120780462
Publisher: Springer US
Year: 2013
Tongue: English
Weight: 884 KB
Volume: 65
Category: Article
ISSN: 0920-8542
DOI: 10.1007/s11227-012-0865-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analysis and comparison of cache coheren

Analysis and comparison of cache coherence protocols for a packet-switched multiprocessor

✍ Yang, Q.; Bhuyan, L.N.; Liu, B.-C. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 781 KB

[IEEE Proceedings Twelfth International

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Formal verification of a snoop-based cache coherence protocol using symbolic model checking

✍ Srinivasan, S.; Chhabra, P.S.; Jaini, P.K.; Aziz, A.; John, L. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 54 KB