Contact Us
Overview

SmartDV’s AMBA AXI5 Verification IP is a comprehensive solution for verifying high-performance, high-frequency interconnect designs based on the Arm AMBA 5 AXI architecture. Fully compliant with the AMBA AXI Protocol Specification Issue L and backward compatible with AXI4, AXI4-Lite, and AXI3, it supports complete verification of AXI5 Master, Slave, Monitor, and Checker components across all data and address widths, covering all transfer types, burst types, burst lengths up to 256 beats, burst sizes, and response types, along with the full suite of AXI5-specific features including atomic transactions, data check, poison, QoS Accept, trace signals, user loopback, wake-up signaling, untranslated transactions, and Non-Secure Access Identifiers.

SmartDV’s AMBA AXI5 VIP supports UVM, SystemVerilog, and Verilog, and integrates seamlessly into diverse verification environments. It is simulator-independent and compatible with all leading EDA simulators, providing flexibility across simulation platforms.

With fine-grain Master and Slave control, extensive error injection, interface parity protection, Memory Tagging Extensions, Memory Partitioning and Monitoring, on-the-fly protocol checking, built-in functional coverage, and a complete test suite, SmartDV’s AMBA AXI5 VIP enables verification teams to thoroughly validate high-bandwidth interconnect designs for mobile, automotive, networking, AI, and high-performance computing applications.

Request Data Sheet
AMBA AXI VIP
Benefits
  • Full AXI5 Agent Support – Provides Master, Slave, Monitor, and Checker components with support for all AXI5 data and address widths, configurable signal widths, separate read and write channels, separate address, data and response phases, and a rich set of configuration parameters for fine-grain protocol control.
  • Comprehensive Transfer and Burst Coverage – Supports all protocol transfer types, burst types, burst lengths up to 256 beats, and burst sizes, with narrow transfer support, unaligned address access, write strobe support for sparse data transfer, read data interleaving with programmable depth and size per transaction, and the ability to break longer bursts into multiple shorter bursts.
  • AXI5-Specific Feature Support – Covers atomic transactions including AtomicStore, AtomicLoad, AtomicCompare, and AtomicSwap, data check and poison signaling for data corruption identification and propagation, QoS Accept signaling, trace signals, user loopback, wake-up signaling for low-power designs, untranslated transactions for SMMU-based address translation, and Non-Secure Access Identifiers.
  • Security and Protection Support – Supports protected accesses with normal and privileged, secure and non-secure, and data and instruction signaling, AWCACHE and ARCACHE attributes, multiple region interfaces, interface parity protection for functional safety applications, and Memory Tagging Extensions for memory safety violation detection.
  • Advanced Transaction and Flow Control – Supports multiple outstanding transactions, out-of-order transaction completion, burst-based transactions with start address only, programmable wait state and delay insertion on all channels, configurable WID signal enable, Quality of Service signaling, user signaling, unmapped region address access support, low-power interface support, and bus inactivity detection and timeout.
  • Robust Error Injection and Protocol Checking – Provides on-the-fly protocol and data checking, error injection during data transfer, programmable timeout insertion, FIFO memory support, Memory Partitioning and Monitoring, and status counters for bus events.
  • Complete Verification Infrastructure – Provides built-in functional coverage analysis, constraints randomization, and callbacks in Master, Slave, and Monitor for user-defined event handling and protocol and timing violation notification.
Compliance and Compatibility
  • Fully compliant with Arm AMBA AXI Protocol Specification Issue L (AXI5); backward compatible with AXI4, AXI4-Lite, and AXI3
  • Supports AXI5 and AXI5-Lite interface classes
  • Compatible with UVM, OVM, VMM, SystemVerilog, and Verilog verification environments
  • Compatible with all major EDA simulators including Synopsys VCS, Cadence Xcelium, Siemens Questa, Aldec Riviera-PRO, and Verilator

Request Datasheet