Architecting hierarchical coherence protocols for push-button parametric verification.

Opeoluwa Matthews Daniel J. Sorin

Published in: MICRO (2017)

Keyphrases

cryptographic protocols
model checking
communication protocols
coarse to fine
multiscale
face verification
formal analysis
hierarchical classification
formal verification
protocol specification
database
high security
asynchronous circuits
hierarchical structure
multiresolution
social networks
data sets