RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification.
Yatin A. ManerkarDaniel LustigMargaret MartonosiPublished in: CoRR (2020)
Keyphrases
- abstraction hierarchy
- model checking
- high level
- memory requirements
- semi automated
- memory space
- computing power
- database
- memory usage
- bounded model checking
- memory size
- path consistency
- automated analysis
- community detection
- fully automated
- neural network
- computational power
- formal methods
- main memory
- limited memory
- signature verification
- reinforcement learning
- consistency checking
- memory access
- genetic algorithm
- real time