Directory based cache coherence verification logic in CMPs cache system.
Mamata DaluiKeshav GuptaBiplab K. SikdarPublished in: MES (2013)
Keyphrases
- asynchronous circuits
- verification method
- prefetching
- model checking
- model checker
- bounded model checking
- classical logic
- logic programming
- automated reasoning
- cache management
- modal logic
- signature verification
- formal verification
- face verification
- concurrent systems
- logic programs
- face recognition
- metadata
- cache replacement
- database
- defeasible logic
- data access
- databases