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

ARM Releases AMBA 3 AXI Assertions

CAMBRIDGE, UK – Mar. 6th, 2006 - ARM [(LSE: ARM); (Nasdaq: ARMHY)] today announced the production release of AMBA® 3 AXIâ„¢ assertions to enable accelerated design and verification of AMBA 3 AXI ...
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.
EDN

Where are Texas Instruments, Nokia in ARM’s AXI deal?

SAN JOSE, Calif. — Processor intellectual property licensor ARM Holdings plc, disclosed 27 companies as collaborators in its AMBA Extended Interface (AXI) technology, which is meant to soup-up ARM's ...
EDN

Self-timed interconnect solution supports AXI bus protocol

SAN FRANCISCO — EDA and intellectual property (IP) startup Silistix Ltd. has added support for the on-chip AMBA AXI bus protocol to the company's synthesized self-timed interconnect technology, ...
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 ...