Gokulan Ravi

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Hardware Designs

Maintaining Consistency

Asymptotic Analysis

Top Venues

Publications

Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi, T. N. Vijaykumar
QED: Scalable Verification of Hardware Memory Consistency. CoRR (2024)