Memory consistency model checking and test generation library.
Demonstration of strong memory ordering (TSO) in x86 CPUs.
Repository containing my Assignments and Projects done for course ECEN-5273 Network System at CU Boulder
ECE552: Computer Architecture — Fall 2020.
Cache coherence verification: exhaustive MESI protocol model checking, a 4-core snoopy RTL cluster, litmus tests judged against an exhaustive sequential-consistency oracle, and mutation-qualified checkers.
EPFL CS-550 project report
MMCC stands for Memory Model and Cache Coherence *|* In this repository, I push what I learn and code about the memory models and cache coherence protocols to be able to start to research on memory models and cache coherence protocols for GPGPUs and Heterogeneous Systems
Review of the paper A Formal Analysis of the NVIDIA PTX Memory Consistency Model
To associate your repository with the memory-consistency topic, visit your repo's landing page and select "manage topics."