Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols.

Joonwon Choi Adam Chlipala Arvind

Published in: CAV (2) (2022)

Keyphrases

design principles
design decisions
design concepts
building blocks
design process
neural network
hierarchical structure
e learning
user interface
decision support
database
software environment
computer aided
formal verification
formal methods
design tools
design patterns
data sets