More processors on SoCs means more sophisticated cache control. This article describes formal techniques for verifying cache coherency for the ARM AMBA AXI Coherency Extensions (ACE) protocol. Fig 1.

AMBA 4 ACE adds system-level coherency support to the AMBA 4 specifications. By enabling cache coherency between the high- performance ARM Cortex-A15 MPCore processor and software-compatible high- ...

Since its launch last year, the AMBA® 4 AXI™ Coherency Extensions (ACE™) specification has gained widespread adoption by many of the industry’s leading silicon Partners, with 28 licenses for ...