• 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...
  • 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...
  • Cycle Models license
    I have received the PSN and followed the Step-by-step guide. Then I got the license.lic file and created ARMLMD_LICENSE_FILE environment. But I cannot pass the HELLO TEST simulation with Cycle Model ...
  • Juno DRAM device model
    Is there any pointer or an ARM-internal contact to ask about the DRAM device used in Juno board? It is 32-bit width, so simply I wonder if it is composed of 4 of 8-bit device or 8 of 4-bit device.
  • A working example of how to use the herd7 Memory Model Tool
    This blog is a working example of how to use the Memory Model Tool. It provides an opportunity to experiment with the model and develop an intuitive understanding of how it works. The information is useful...