ARM announced the production release of AMBA 3 AXI assertions to enable accelerated design and verification of AMBA 3 AXI fabric-based SoCs. Any company can obtain the assertions from ARM in source format, without paying royalties or license fees. The assertions provide a definitive description of the AMBA 3 AXI protocol thus accelerating AXI adoption and expediting the validation of AXI fabric IP-based designs. By helping ensure protocol compliance they increase confidence in plug-and-play integration of AMBA 3 AXI IP. They also help to build an ecosystem of both third-party and internal AMBA 3 AXI verification solutions. Both SystemVerilog Assertions (SVA) and Open Verification Library (OVL) versions are now available.