Login / Signup
PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications.
Yatin A. Manerkar
Daniel Lustig
Margaret Martonosi
Aarti Gupta
Published in:
MICRO (2018)
Keyphrases
</>
automated theorem provers
memory requirements
fully automated
consistency checking
semi automated
high level
memory usage
path consistency
memory space
computing power
formal specification
theorem prover
main memory
random access
distributed databases
formal proof
maintaining consistency
computer aided