Design of directory based cache coherence protocol verification logic in CMPs around TACA.

Mamata Dalui Biplab K. Sikdar

Published in: HPCS (2013)

Keyphrases

model checking
hierarchical structure
model checker
asynchronous circuits
database systems
software engineering
lightweight
modal logic
design principles
formal methods
formal verification
functional verification