如何验证 AXI5 原子操作

       摘要：在 UVM (Universal Verification Methodology) 验证环境中，验证 AXI5 协议的原子操作 (Atomic Operations) 是一项重要的任务，特别是在验证支持高并发和数据一致性的 SoC (System on Chip) 设计时。AXI5 引入了原子操作以支持无锁并发机制，确保多主设备或多核系统中的数据一致性。以下是一个详细的 UVM 验证代码示例，展示如何验证 AXI5 原子操作（如 Compare-and-Swap），包括验证策略、环境搭建和具体实现。

1. AXI5 原子操作验证策略

1.1 原子操作简介

• 定义：AXI5 中的原子操作是一种特殊的事务类型，允许在单次总线事务中执行读-修改-写操作，确保操作过程中数据不被其他事务中断。常见的原子操作包括：
  • Compare-and-Swap (CAS)：比较内存值与预期值，若相等则更新为新值。
  • Fetch-and-Add：读取内存值并加上一个增量，返回原值。
  • Swap：交换内存值和新值。
• 信号与机制：AXI5 使用ATOP(At