AMBA AXI 3.0/4.0 Verification IP

AMBA AXI 3.0/4.0 VIP

AMBA AXI 3.0/4.0 Verification IP provides an smart way to verify the AMBA AXI 3.0/4.0 component of a SOC or a ASIC. The SmartDV's AMBA AXI 3.0/4.0 Verification IP is fully compliant with standard AMBA AXI 3.0/4.0 Specification and provides the following features.

AMBA AXI 3.0/4.0 VIP is supported natively in SystemVerilog, VMM, RVM, AVM, OVM, UVM, Verilog, SystemC, VERA, Specman E and non-standard verification env

Features

Compliant with the latest ARM AMBA AXI 3.0/4.0 specification.
Supports AXI Master, AXI Slave, AXI Monitor and AXI Checker.
Supports all ARM AMBA AXI 3.0/4.0 data and address widths.
Supports all protocol burst types, burst lengths and response types.
Supports constrained randomization of protocol attributes.
Separate address/control and data phases. Separate read and write data channels.
Support for burst-based transactions with only start address issued.
Unaligned data transfers using byte strobes.
Ability to issue multiple outstanding transactions.
Out of order transaction completion support.
Write data and read data interleaving support.
Atomic access support

Exclusive
Locked response

Configurable write and read interleave depth
AXI4 support

Longer bursts up to 256 beats
Quality of Service
Multiple region interface

AXI4 Lite support

Data bus width of 32-bit or 64-bit
Burst lenght of 1

AXI4-Stream support
Multiple data streams

Byte stream
Continuous aligned stream
Continuous unaligned stream
Sparse stream

Byte types

Data byte
Position byte
Null byte

Support for transfer interleaving and ordering processes.
Slave supports fine grain control of response per address or per transaction.
Configurable wait states on different channels.
Supports FIFO memory.
Protected accesses

Normal/Privileged
Secure/Non-secure
Data/Instruction

Rich set of configuration parameters to control AXI functionality.
On-the-fly protocol and data checking.
Notifies the testbench of significant events such as transactions, warnings, timing and protocol violations.
Built in coverage analysis.
Callbacks in master, slave and monitor for various events.
Status counters for various events on bus.
AXI Verification IP comes with complete testsuite to test every feature of ARM AMBA AXI 3.0/4.0 specification.

Benefits

Faster testbench development and more complete verification of AMBA AXI 3.0/4.0 designs.
Easy to use command interface simplifies testbench control and configuration of master and slave.
Simplifies results analysis.
Runs in every major simulation environment.

AMBA AXI 3.0/4.0 Verification Env

SmartDV's AMBA AXI 3.0/4.0 Verification env contains following.

Complete source code of AMBA AXI 3.0/4.0 Arbiter, AXI Master, AXI Slave, AXI Monitor and AXI Checker.
Complete regression suite containing all the AMBA AXI 3.0/4.0 testcases.
Examples's showing how to connect various components, and usage of BFM and Monitor.
Detailed documentation of all class, task and function's used in verification env.
Documentation also contains User's Guide and Release notes.

Note::Only mails from offical mail ID will be processed