Formal verification of a novel snooping cache coherence protocol for CMP

Xuemei Zhao; Karl Sammut; Fangpo He

Formal verification of a novel snooping cache coherence protocol for CMP

Xuemei Zhao
, Karl Sammut
, Fangpo He

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 2007
Event	Chip Multiprocessor Memory Systems and Interconnects (Held in Conjunction with International Symposium on High-Performance Computer architecture) - Duration: 11 Feb 2007 → …

Conference

Conference	Chip Multiprocessor Memory Systems and Interconnects (Held in Conjunction with International Symposium on High-Performance Computer architecture)
Period	11/02/07 → …

Cite this

@conference{2776f1f861d1478089717b72a0b2c727,

title = "Formal verification of a novel snooping cache coherence protocol for CMP",

author = "Xuemei Zhao and Karl Sammut and Fangpo He",

year = "2007",

language = "English",

note = "Chip Multiprocessor Memory Systems and Interconnects (Held in Conjunction with International Symposium on High-Performance Computer architecture) ; Conference date: 11-02-2007",

}