HLS for Networks-on-Chip

Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer.

A Coq framework to support structural design and proof of hardware cache-coherence protocols

Order matching engine

Field level cache optimizations for Rust (no_std)

The repository implements MOESI protocol and contains multiple cores, interconnect and memory to understance how cache coherency works and impacts performance.

Simulator that simulates multiprocessor caches and involved cache coherence protocols

Repository for a predictable directory-based cache coherence for multicore safety-critical systems

A cache coherence simulator for MESI, MOESI and Dragon Protocols.

This is a simulation of the MESI caching protocol written in C#

simulation of a multi-core (with an arbitrary number of cores) cache, including set associativity, with simple MSI cache coherency.

Inter-cache communication protocol (MOESI) for cache coherency in a multi-processor multi-core system.

VerC3: Verification Toolkit for C3

Trace-based simulation for cache coherence in a multicore system

Demonstration of how cache coherence reduce performance of a parallel program and how to overcome them.

Project about cache coherence using the MESI protocol. It is for the Computer Organization and Architecture II subject on CEFET-MG.

Memory Hierarchy - Branch Prediction and Predictors - Cache Coherence Protocols | Advanced Topics in Computer Architecture at ECE NTUA

This is our final project report for the course Computer Architecture.