• 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 Tagging Extension: Enhancing memory safety through architecture
    Memory safety has been a major source of security vulnerabilities for decades. Today, software vendors report that vulnerabilities due to violations of memory safety account for most of the security issues...
  • 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...
  • 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...
  • Running litmus tests on hardware using litmus7
    Please note: This blog post was written in tandem with Nikos Nikoleris . In previous installments of this series of blogs, we learned how we can use herd7 to simulate litmus tests and diy7...