在之前的一篇文章中，我们使用 litmus7 生成源代码并在硬件上运行 litmus 测试。然而，在某些情况下，用户可能需要控制的不仅仅是在独立应用程序内执行的指令。
作者：Jade Alglave
阅读直达链接：https://community.arm.com/developer/ip-products/processors/b/processors-ip-blog/posts/expanding-memory-model-tools-system-level-architecture
欢迎大家点赞留言，更多Arm技术文章动态请关注极术社区Arm技术专栏。
