References:
SLICC: a domain-specific language (Specification Language including Cache Coherence) for specifying coherence protocols. Files end in .sm for state machine files.
Each state machine file describes states, transitions from a begin to an end state on some event, and actions to take during the transition.
Coherance protocol (in SLICC) --> SLICC compiler (in Python/gem5) --> C++ files with gem5 (SimObjects, etc.)
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?