这些规则定义了在执行AtomicLoad、AtomicSwap和AtomicCompare事务时,管理器(Master)和从设备(Subordinate)之间握手信号(VALID和READY)的时序约束。其核心目标是在保证原子操作正确性的前提下,最大限度地维持AXI协议的流水线化和通道独立性优势。
信号依赖关系核心原则
“可以” (Can):表示一种允许但不强制的优化或实现灵活性。通常用单箭头表示。
“必须” (Must/Must not):表示一种强制性的保证或禁令,以确保协议的正确性或防止死锁。通常用双箭头表示。