McVerSi: A Test Generation Framework for Fast Memory Consistency Verification in Simulation

Marco Elver, Vijayanand Nagarajan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results
- Last Name(descending)

Vijay Nagarajan
- vnagarajinf.ed.acuk
- School of Informatics - Personal Chair of Parallel Computer Architecture
- Institute for Computing Systems Architecture
- Computer Systems
Person: Academic: Research Active