OpenExSys_CoherentCache is a directory-based MESI protocol coherent cache IP.
Currently, OpenExSys_CoherentCache uses vcs for simulation.
# set environment varibales
source env/sourceme
# go to the tb folder
cd tb/ruby_testbench
# Compile the sources, with a mesh configuration
make bld
# Run the simulation
make runFor overall private cache specification, please refer to Private Cache Architecture.
For atomic operation specification, please refer to Atomic Operation.
For store buffer specification, please refer to Store Buffer
For last-level cache (LLC) and snoop control unit (SCU) specification, please refer to LLC and SCU Architecture.
The Ruby tester, a component of the gem5 Ruby coherence protocol, provides an automated testing framework that generates randomized memory accesses to test the correctness and performance of the coherence protocol. By simulating a variety of memory access patterns and conditions, the Ruby tester can help uncover subtle bugs and performance bottlenecks in the coherence protocol, allowing designers and researchers to improve the design and performance of their coherence protocols.
As it is illustrated in the following figure, the Ruby tester is a cache coherence verification tool that aims to ensure the correctness of the cache coherence protocol implementation. It achieves testing randomness by introducing several techniques, such as randomization of check address initialization, random selection of checks to perform action and checks at each cycle, and the use of finite state machines to control the check behavior.
We port the C++ based Ruby random tester to SystemVerilog, in order to enable the use of the Ruby tester on the RTL implementation.