Overview

This page provides an overview of our AMBA developer tools, including the AMBA IP-XACT bus definitions, the AMBA TLM library, and the AMBA protocol checkers. The page also includes links to useful resources, such as AMBA specifications, AMBA training, and the SoC Design Forum. These tools should be helpful to SoC developers with AMBA experience and developers getting started with AMBA. If you cannot find what you are looking for, please contact us using the link at the bottom of this page.

Tools

AMBA IP-XACT Bus Definitions

The AMBA IP-XACT Bus Definitions describe the AMBA protocols using the IP-XACT (IEEE 1685-2009) format. They describe the interfaces that implement the AMBA protocols. They also provide details for the interface signals, for example signal direction, width, default value, and whether a signal is required or optional.

The bus definitions facilitate the description, exchange, and integration of compatible IP designs. They also facilitate the development of tools for the generation and configuration of IP that implement AMBA interfaces.

Redistribution of the bus definitions is permitted. You can see details in the End User License Agreement.

 

Download the IP-XACT

Download

AMBA TLM Library

The AMBA Transaction-Level Modeling (TLM) Library allows the modeling and simulation of approximately timed (AT) and cycle-accurate (CA) AMBA AXI4 and ACE interfaces.

The AMBA TLM Library is developed in C++ and is provided as a pre-compiled binary library. It is intended for use with:

  • Arm Cycle Models
  • Custom AT and CA models that are used for virtual prototype development
  • Third-party models that use supported AMBA interfaces

Learn more about the Transaction-Level Modeling library

Learn more

Protocol Checkers

Protocol Checkers (PCs) observe interface traffic and monitor transactions against a series of protocol rules (assertions). System designers, integrators, and verification engineers can use PCs to confirm that a design complies with the relevant AMBA protocols.

Protocol checkers are written in SystemVerilog Assertion (SVA) and are provided with user guides, which show how to integrate them into a design.

Download the AMBA 4, AXI4 AXI4-Lite and AXI4-Stream SVAs

Download

Download the AMBA 4 ACE and ACE-Lite SVAs

Download

Download the AMBA 3 AXI SVAs

Download

Square with arrow pointing through (Download icon).

Download the AMBA Specifications

Download

The top half of a human.

Visit the SoC Design Forum

Visit

Training videos

Get Started AMBA 3 AHB-Lite

Learn more

Introduction to the AMBA AXI protocol

Learn more

Arm AMBA Specifications and System IP

Learn more

Evolution of the Arm AMBA Specifications

Learn more

Resources