ProtoGen: Automatically Generating Directory Cache Coherence Protocols from Atomic Specifications.

Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin

Browse the full ISCA paper archive.