Design-Reuse

ARM Extends AMBA Specification With AXI Protocol For High-Performance System-on-chip Design

CAMBRIDGE, UK — June 16, 2003 – ARM [(LSE: ARM); (Nasdaq: ARMHY)], the industry's leading provider of 16/32-bit embedded RISC microprocessor solutions, today announced at Embedded Processor Forum, ...
Design-Reuse

Synopsys AMBA Verification IP (VIP) Supports Latest AXI-K Specification from Arm

Arm® recently announced the availability of the next version of the Arm® AMBA® 5 AXI Protocol Specification, AXI Issue K (AXI-K). This blog will explain some of the feature updates of the AMBA AXI-K ...
Electronic Design

Formal Techniques for Protocol Verification: A Case Study On Verifying the ARM ACE Protocol

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.
Finanznachrichten

ARM Releases AMBA 3 AXI Assertions

- SystemVerilog and Open Verification Library (OVL) Assertions Provide "Golden" Reference to Accelerate Broad Industry Adoption CAMBRIDGE, England, March 6 /PRNewswire/ -- ARM (LSE: ARM; Nasdaq: ARMHY ...
EDN

ARM’s AXI takes AMBA-bus symmetric

SAN JOSE, Calif. — Processor intellectual property vendor ARM Holdings plc has defined a high-performance protocol option within its AMBA on-chip bus. AMBA, which originally stood for Advanced ...