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

Nicolai Oswald Vijay Nagarajan Daniel J. Sorin

Published in: ISCA (2018)

Keyphrases

automatically generating
automatically generated
high level
communication protocols
metadata
english words
hierarchical structure
state machines
delay insensitive
data sets
specification language
security protocols
composite services
protocol specification