QED: Scalable Verification of Hardware Memory Consistency.
Gokulan RaviXiaokang QiuMithuna ThottethodiT. N. VijaykumarPublished in: CoRR (2024)
Keyphrases
- computing power
- real time
- internal memory
- low memory
- commodity hardware
- hardware designs
- low cost
- computational power
- limited memory
- hardware and software
- memory management
- parallel hardware
- memory requirements
- memory hierarchy
- computer systems
- virtual memory
- asymptotic analysis
- computing systems
- low latency
- hardware implementation
- face verification
- memory bandwidth
- maintaining consistency
- main memory
- memory usage
- hardware architecture
- processing elements
- multithreading
- embedded systems
- memory space
- model checking
- parallel computing
- digital signal processors
- memory subsystem
- verification method
- memory size
- memory access
- signature verification
- field programmable gate array
- parallel processing
- neural network