Research

TEMpesT: Testing Empirically for Memory Transistency
Research

TEMpesT: Testing Empirically for Memory Transistency

Abstract TEMpesT is a novel empirical testing methodology designed to rigorously verify memory transistency behaviors in modern CPU implementations, specifically targeting the complexities of the RISC-V Weak Memory Ordering (RVWMO) model. The system
By Admin 2 min read