Contact Us
Overview

SmartDV’s AMBA LTI Verification IP is a comprehensive solution for verifying the Local Translation Interface protocol, a point-to-point protocol that defines communication between I/O devices and Translation Buffer Units aligned with the Arm System MMUv3 architecture. Fully compliant with the AMBA LTI Protocol Specification Version E and backward compatible with earlier issues, it supports complete verification of LTI Master, Slave, Monitor, and Checker components across separate Request, Response, and Completion channels, covering all supported translation flows including Stall, ATST, NoStall, and PRI, with pipelining support and configurable signal widths.

SmartDV’s AMBA LTI 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 support for all LTI translation flows, pipelined Master and Slave interface operation, Realm Management Extension and Memory Encryption Context support, Device Permission Table verification, user signaling, error injection, on-the-fly protocol checking, built-in functional coverage, and a complete test suite, SmartDV’s AMBA LTI VIP enables verification teams to thoroughly validate local address translation subsystem designs for mobile, automotive, AI, and high-performance SoC applications.

Request Data Sheet
AMBA LPI VIP
Benefits
  • Full LTI Agent Support – Provides Master, Slave, Monitor, and Checker components with configurable signal widths, user signaling support, pipelining between Master and Slave interfaces, and a rich set of configuration parameters for fine-grain LTI protocol control.
  • Comprehensive Translation Flow Coverage – Supports all LTI translation flows including Stall, ATST, NoStall, and PRI flows, with separate Request, Response, and Completion channels and support for multiple virtual channels to enable deadlock-free operation and maximum bandwidth.
  • Device Permission Table and Coherent Interface Support – Covers Device Permission Table verification and coherent interface support as introduced in LTI Issue C, enabling verification of advanced memory access permission and coherency features in SMMUv3-based designs.
  • Security and Memory Encryption Support – Supports Realm Management Extension for Root and Realm Physical Address Space verification and Memory Encryption Context support, enabling thorough validation of secure and confidential compute translation flows.
  • Robust Error Injection and Protocol Checking – Provides on-the-fly protocol and data checking, error injection during transfers, programmable wait state and delay insertion, programmable timeout insertion, and FIFO memory support for comprehensive error scenario verification.
  • Complete Verification Infrastructure – Provides built-in functional coverage analysis, constraints randomization, status counters for bus events, 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 LTI Protocol Specification Version E; backward compatible with earlier issues
  • Supports all LTI translation flows: Stall, ATST, NoStall, and PRI
  • 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