Expanding the Memory Model Tools to System-level architecture

Please note: This blog post was written in tandem with Nikos Nikoleris . In a previous post , we used litmus7 to generate source code and run litmus tests on hardware. However, in certain...
Expanding the Memory Model Tools to System-level architecture

Please note: This blog post was written in tandem with Nikos Nikoleris . In a previous post , we used litmus7 to generate source code and run litmus tests on hardware. However, in certain...
Memory Model Tool: Morello (and some Memory Tagging)

This post presents the implementation of Morello in the Memory Model Tool. The reader is expected to have some understanding of the tool, which is documented in previous posts: A working example of how...
Memory Model Tool: Morello (and some Memory Tagging)

This post presents the implementation of Morello in the Memory Model Tool. The reader is expected to have some understanding of the tool, which is documented in previous posts: A working example of how...
How to generate litmus tests automatically with the diy7 tool

This blog is the second installment in a series of blogs looking at how to use the Memory Model Tool. It provides an opportunity to experiment with the model and develop an intuitive understanding of...