Verifying Correct Microarchitectural Enforcement of Memory Consistency Models

Keyphrases

• Automated Tool 50%
• Consistency Models 50%
• Memory Consistency Models 100%
• Memory References 50%
• Microarchitecture 100%
• System-on-chip 50%

Computer Science

• Automated Tool 50%
• Memory Consistency 100%
• Memory Reference 50%
• Microarchitecture 50%
• System-on-Chip 50%