Publications

Meow: Memory Evaluation through Optimized Workloads

S. Sharma, V. HV, M. U. Kumari

IEEE INDICON 2023 · 2023

An automated litmus-test synthesis tool that generates distinguishing tests between two versions of a memory model, used for formal verification of ARM's memory architecture.

[paper]