Modular specification and verification of a cache-coherent interface.
Kenneth L. McMillanPublished in: FMCAD (2016)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- user interface
- user friendly
- data access
- query processing
- neural network
- human computer interface
- colored petri nets
- novice users
- data sets
- direct manipulation
- high level
- prefetching
- interface design
- access patterns
- hit rate
- back end
- reactive systems
- modular structure
- main memory
- cache management
- database