本帖介绍了Morello在内存模型工具中的实现。希望读者对该工具有一定的了解，在之前的文章中都有记录。一个如何使用herd7内存模型工具的工作实例，以及如何使用diy7工具自动生成 litmus测试。
作者：Ambroise Vincent
阅读直达链接：https://community.arm.com/developer/ip-products/processors/b/processors-ip-blog/posts/memory-model-tool-morello-and-some-memory-tagging
欢迎大家点赞留言，更多Arm技术文章动态请关注极术社区Arm技术专栏。
